- 5 Results
Lowest price: € 48.37, highest price: € 77.84, average price: € 60.43
1
Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers - Edmund Clarke
Order
at AbeBooks.de
€ 52.46
Shipment: € 0.001
Order
Provider details
Sponsored link
Edmund Clarke:

Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers - Paperback

2012, ISBN: 3642297080

[EAN: 9783642297083], Neubuch, [PU: Springer Berlin Heidelberg], ALGORITHMUS; BILDBEARBEITUNG; BILDVERARBEITUNG; GRAFIK (EDV) / EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; MATHEMATIK… More...

NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
close (x)
2
Perspectives of Systems Informatics
Order
at Springer.com
€ 53.49
Shipment: € 0.001
Order
Provider details
Sponsored link
Perspectives of Systems Informatics - new book

2011, ISBN: 9783642297083

This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorod… More...

Nr. 978-3-642-29708-3. Shipping costs:Worldwide free shipping, , DE. (EUR 0.00)
close (x)
3
Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers - Clarke, Edmund (Herausgeber); Voronkov, Andrei (Herausgeber); Virbitskaite, Irina (Herausgeber)
Order
at Achtung-Buecher.de
€ 77.84
Shipment: € 0.001
Order
Provider details
Sponsored link
Clarke, Edmund (Herausgeber); Voronkov, Andrei (Herausgeber); Virbitskaite, Irina (Herausgeber):
Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers - new book

2012

ISBN: 3642297080

2012 Kartoniert / Broschiert Algorithmus, Bildbearbeitung, Bildverarbeitung, Grafik (EDV) / Bildverarbeitung, EDV / Theorie / Software-Entw. / Software Engineering, Mathematik, Programm… More...

Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
close (x)
4
Perspectives of Systems Informatics - Clarke, Edmund M.|Virbitskaite, Irina|Voronkov, Andrei
Order
at AbeBooks.de
€ 48.37
Shipment: € 0.001
Order
Provider details
Sponsored link
Clarke, Edmund M.|Virbitskaite, Irina|Voronkov, Andrei:
Perspectives of Systems Informatics - Paperback

2012, ISBN: 3642297080

[EAN: 9783642297083], Neubuch, [PU: Springer Berlin Heidelberg], ALGORITHMUS BILDBEARBEITUNG BILDVERARBEITUNG GRAFIK (EDV) EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING MATHEMATIK PROGR… More...

NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
close (x)
5
Perspectives of Systems Informatics - Edmund Clarke
Order
at BookDepository.com
€ 69.99
Shipment: € 0.001
Order
Provider details
Sponsored link
Edmund Clarke:
Perspectives of Systems Informatics - Paperback

2011, ISBN: 9783642297083

Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conferenc… More...

Shipping costs:Versandkostenfrei. (EUR 0.00)
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Perspectives of Systems Informatics by Edmund Clarke Paperback | Indigo Chapters
Author:
Title:
ISBN:

3642297080


This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were carefully reviewed and selected from 60 submissions. The volume also contains 5 invited papers covering a range of hot topics in computer science and informatics. The papers are organized in topical sections on foundations of program and system development and analysis, partial evaluation, mixed computation, abstract interpretation, compiler construction, computer models and algorithms for bioinformatics, programming methodology and software engineering, information technologies, knowledge-based systems, and knowledge engineering.

Details of the book - Perspectives of Systems Informatics by Edmund Clarke Paperback | Indigo Chapters


EAN (ISBN-13): 9783642297083
ISBN (ISBN-10): 3642297080
Hardcover
Paperback
Publishing year: 20120617
Publisher: Edmund Clarke
410 Pages
Weight: 0,636 kg
Language: Englisch

Book in our database since 2008-01-29T03:01:24+00:00 (London)
Detail page last modified on 2023-08-14T06:26:45+01:00 (London)
ISBN/EAN: 3642297080

ISBN - alternate spelling:
3-642-29708-0, 978-3-642-29708-3
Alternate spelling and related search-keywords:
Book author: voronkov, clarke, vor, edmund clark
Book title: novosibirsk, perspectives, psi, memorial, mémorial, international perspective

Information from Publisher

Author: Edmund Clarke; Irina Virbitskaite; Andrei Voronkov
Title: Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI; Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers
Publisher: Springer; Springer Berlin
411 Pages
Publishing year: 2012-05-30
Berlin; Heidelberg; DE
Printed / Made in
Language: English
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XIV, 411 p. 130 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; aspect-oriented programming; domain specific verification; social networking activities; supercompilation; synchronous process networks; algorithm analysis and problem complexity; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Software Engineering; Programming Techniques; Algorithms; Computer Imaging, Vision, Pattern Recognition and Graphics; Compiler und Übersetzer; Software Engineering; Computerprogrammierung und Softwareentwicklung; Algorithmen und Datenstrukturen; Bildverarbeitung; EA

The 18 revised full papers and 10 revised short papers presented were carefully reviewed and selected from 60 submissions. The volume also contains 5 invited papers covering a range of hot topics in computer science and informatics. The papers are organized in topical sections on foundations of program and system development and analysis, partial evaluation, mixed computation, abstract interpretation, compiler construction, computer models and algorithms for bioinformatics, programming methodology and software engineering, information technologies, knowledge-based systems, and knowledge engineering.
Fast-track conference proceedings State-of-the-art research Up-to-date results
< to archive...