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: PERSPECTIVES OF SYSTEM INFORMATICS
9TH INTERNATIONAL ERSHOV INFORMATICS CONFERENCE, PSI 2014, ST. PETERSBURG, RUSSIA, JUNE 24-27, 2014. REVISED SELECTED PAPERS
By: Andrei Voronkov (Editor), Irina Virbitskaite (Editor)
Format: Paperback

List price: £54.99


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

ISBN 10: 3662468220
ISBN 13: 9783662468227
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Pub. date: 18 April, 2015
Edition: 2015 ed.
Series: Lecture Notes in Computer Science 8974
Pages: 415
Synopsis: This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014. The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions. The volume also contains 5 keynote talks which cover a range of hot topics in computer science and informatics. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.
Illustrations: 106 Illustrations, black and white; XIII, 415 p. 106 illus.
Publication: Germany
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Returns: Returnable
Some other items by this author:
AUTOMATED DEDUCTION - CADE-18 (PB)
COMPUTER SCIENCE - THEORY AND APPLICATIONS (PB)
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)
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 SYSTEMS INFORMATICS (PB)
PERSPECTIVES OF SYSTEMS INFORMATICS (PB)
PERSPECTIVES OF SYSTEMS INFORMATICS (PB)
PROGRAMMING LOGICS (PB)
REWRITING TECHNIQUES AND APPLICATIONS (PB)

TOP SELLERS IN THIS CATEGORY
Programming in Lua, Fourth Edition (Paperback / softback)
Lua.Org
Our Price : £31.46
more details
PROLOG Programming for Artificial Intelligence (Paperback)
Pearson Education (US)
Our Price : £68.86
more details
C++ Primer (Paperback)
Pearson Education (US)
Our Price : £40.42
more details
C Programming (Paperback)
WW Norton & Co
Our Price : £55.09
more details
Objects First with Java: A Practical Introduction Using BlueJ (Mixed media product)
Pearson Education Limited
Our Price : £73.58
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 computer programming
 programming languages


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