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 SYSTEMS INFORMATICS
7TH INTERNATIONAL ANDREI ERSHOV MEMORIAL CONFERENCE, PSI 2009, NOVOSIBIRSK, RUSSIA, JUNE 15-19, 2009, REVISED PAPERS
By: Amir Pnueli (Editor), Irina Virbitskaite (Editor), Andrei Voronkov (Editor)
Format: Paperback

List price: £81.00


We believe that this item is permanently unavailable, and so we cannot source it.

ISBN 10: 3642114857
ISBN 13: 9783642114854
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Pub. date: 8 February, 2010
Series: Lecture Notes in Computer Science 5947
Pages: 426
Description: Contains thoroughly refereed and revised papers from the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2009, held in Akademgorodok, Novosibirsk, Russia, in June 2009. This volume also contains 5 invited papers covering a range of hot topics in system informatics.
Synopsis: This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics Akad- gorodok (Novosibirsk, Russia), June 15-19, 2009. PSI is a forum for academic and industrial researchers, developers and users working on topics relating to computer, software and information sciences. The conference serves to bridge the gaps between di?erent communities whose - searchareasarecoveredbybutnotlimitedtofoundationsofprogramandsystem development and analysis, programming methodology and softwareengineering, and information technologies. PSI 2009 was dedicated to the memory of a prominent scientist, academician Andrei Ershov (1931-1988),and to a signi?cant date in the history of computer science in the country, namely, the 50th anniversary of the Programming - partment founded by Andrei Ershov. Initially, the department was a part of the Institute of Mathematics and later, in 1964, it joined the newly established Computing Center of the Siberian Branch of the USSR Academy of Sciences. Andrei Ershov, who was responsible for forming the department, gathered a team of young graduates from leading Soviet universities. The ?rst signi?cant project of the department was aimed at the development of ALPHA system, an optimizing compiler for an extension of Algol 60 implemented on a Soviet c- puterM-20. Later,theresearchersofthedepartmentcreatedtheAlgibr,Epsilon, Sigma, and Alpha-6 programming systems for the BESM-6 computers. The list of their achievements also includes the ?rst Soviet time-sharing system AIST-0, the multi-language system BETA, research projects in arti?cial intelligence and parallel programming, integrated tools for text processing and publishing, and many others.
Illustrations: XIII, 426 p.
Publication: Germany
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Returns: Returnable
Some other items by this author:
AUTOMATED DEDUCTION - CADE-18 (PB)
COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE (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)
HYBRID SYSTEMS - COMPUTATION AND CONTROL (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)
PROGRAMMING LOGICS (PB)
REWRITING TECHNIQUES AND APPLICATIONS (PB)
TEMPORAL LOGIC IN SPECIFICATION (PB)
TEMPORAL VERIFICATION OF REACTIVE SYSTEMS (HB)
TEMPORAL VERIFICATION OF REACTIVE SYSTEMS (PB)
THE TEMPORAL LOGIC OF REACTIVE AND CONCURRENT SYSTEMS (HB)
THE TEMPORAL LOGIC OF REACTIVE AND CONCURRENT SYSTEMS (PB)

TOP SELLERS IN THIS CATEGORY
Clean Code (Paperback)
Pearson Education (US)
Our Price : £35.47
more details
Designing Data-Intensive Applications (Paperback)
O'Reilly Media, Inc, USA
Our Price : £35.03
more details
Domain-driven Design (Hardback)
Pearson Education (US)
Our Price : £45.78
more details
The Art of Unit Testing (Paperback)
Manning Publications
Our Price : £29.69
more details
Working Effectively with Legacy Code (Paperback)
Prentice Hall
Our Price : £39.59
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 computer programming
 software engineering


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