pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register


Item Details
Title: COMPUTER SCIENCE - THEORY AND APPLICATIONS
SECOND INTERNATIONAL SYMPOSIUM ON COMPUTER SCIENCE IN RUSSIA, CSR 2007, EKATERINBURG, RUSSIA, SEPTEMBER 3-7, 2007 ; PROCEEDINGS
By: Volker Diekert (Editor), Mikhail Volkov (Editor), Andrei Voronkov (Editor)
Format: Paperback

List price: £81.00


We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10: 3540745092
ISBN 13: 9783540745099
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Pub. date: 15 August, 2007
Series: Lecture Notes in Computer Science / Theoretical Computer Science and General v. 4649
Pages: 433
Description: Constitutes the refereed proceedings of the Second International Symposium on Computer Science in Russia, CSR 2007, held in Ekaterinburg, Russia, September 3-7, 2007. This book presents 35 revised papers that were reviewed and selected from 95 submissions.
Synopsis: This book features the refereed proceedings of the 2nd International Symposium on Computer Science in Russia held in September 2007. The 35 papers cover theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal languages, automata and their applications to computer science; computational models and concepts; proof theory; and applications of logic to computer science. Many applications are presented.
Illustrations: biography
Publication: Germany
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Returns: Returnable
Some other items by this author:
ALGORITHMIC AND GEOMETRIC TOPICS AROUND FREE GROUPS AND AUTOMORPHISMS (PB)
AUTOMATED DEDUCTION - CADE-18 (PB)
BOOK OF TRACES, THE (HB)
COMBINATORIAL ALGEBRA: SYNTAX AND SEMANTICS (HB)
COMBINATORIAL ALGEBRA: SYNTAX AND SEMANTICS (PB)
COMBINATORICS ON TRACES (PB)
DEVELOPMENTS IN LANGUAGE THEORY (PB)
DISCRETE ALGEBRAIC METHODS
DISCRETE ALGEBRAIC METHODS
DISCRETE ALGEBRAIC METHODS (PB)
DISKRETE ALGEBRAISCHE METHODEN
ELEMENTE DER DISKRETEN MATHEMATIK
HANDBOOK OF AUTOMATED REASONING (HB)
HANDBOOK OF AUTOMATED REASONING (HB)
HANDBOOK OF AUTOMATED REASONING (HB)
HANDBOOK OF AUTOMATED REASONING (HB)
HANDBOOK OF AUTOMATED REASONING (HB)
HANDBOOK OF AUTOMATED REASONING (HB)
INFORMATIK ALS DIALOG ZWISCHEN THEORIE UND ANWENDUNG (PB)
LOGIC FOR PROGRAMMING AND AUTOMATED REASONING (PB)
LOGIC FOR PROGRAMMING ARTIFICIAL INTELLIGENCE AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE , AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
LOGIC PROGRAMMING (PB)
LOGIC PROGRAMMING AND AUTOMATED REASONING (PB)
LOGIC PROGRAMMING AND AUTOMATED REASONING (PB)
LOGIC PROGRAMMING AND AUTOMATED REASONING (PB)
PERSPECTIVES OF SYSTEM INFORMATICS (PB)
PERSPECTIVES OF SYSTEM INFORMATICS (PB)
PERSPECTIVES OF SYSTEMS INFORMATICS (PB)
PERSPECTIVES OF SYSTEMS INFORMATICS (PB)
PERSPECTIVES OF SYSTEMS INFORMATICS (PB)
PROGRAMMING LOGICS (PB)
REWRITING TECHNIQUES AND APPLICATIONS (PB)
STACS 2004 (PB)
STACS 2005 (PB)

TOP SELLERS IN THIS CATEGORY
OCR AS and A Level Computer Science (Paperback)
PG Online Limited
Our Price : £32.30
more details
BTEC First in I&CT Revision Workbook (Paperback)
By:
Pearson Education Limited
Our Price : £5.54
more details
Quantum Computation and Quantum Information (Hardback)
Cambridge University Press
Our Price : £53.99
more details
Algorithms to Live By (Paperback)
HarperCollins Publishers
Our Price : £8.02
more details
AQA AS and A Level Computer Science (Paperback)
PG Online Limited
Our Price : £32.30
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 general theory of computing


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 






Early Learning
Little Worried Caterpillar (PB) Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
add to basket

Early Learning
add to basket

Picture Book
All the Things We Carry PB What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
add to basket