- 5 Ergebnisse
Kleinster Preis: € 48,37, größter Preis: € 77,84, Mittelwert: € 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
Bestellen
bei AbeBooks.de
€ 52,46
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter 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 - Taschenbuch

2012, ISBN: 3642297080

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

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
Perspectives of Systems Informatics
Bestellen
bei Springer.com
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Perspectives of Systems Informatics - neues Buch

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… Mehr…

Nr. 978-3-642-29708-3. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00)
zuklappen (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)
Bestellen
bei Achtung-Buecher.de
€ 77,84
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter 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 - neues Buch

2012

ISBN: 3642297080

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

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Perspectives of Systems Informatics - Clarke, Edmund M.|Virbitskaite, Irina|Voronkov, Andrei
Bestellen
bei AbeBooks.de
€ 48,37
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Clarke, Edmund M.|Virbitskaite, Irina|Voronkov, Andrei:
Perspectives of Systems Informatics - Taschenbuch

2012, ISBN: 3642297080

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

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
zuklappen (X)
5
Perspectives of Systems Informatics - Edmund Clarke
Bestellen
bei BookDepository.com
€ 69,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Edmund Clarke:
Perspectives of Systems Informatics - Taschenbuch

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… Mehr…

Versandkosten:Versandkostenfrei. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Perspectives of Systems Informatics by Edmund Clarke Paperback | Indigo Chapters
Autor:
Titel:
ISBN-Nummer:

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 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.

Detailangaben zum Buch - Perspectives of Systems Informatics by Edmund Clarke Paperback | Indigo Chapters


EAN (ISBN-13): 9783642297083
ISBN (ISBN-10): 3642297080
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 20120617
Herausgeber: Edmund Clarke
410 Seiten
Gewicht: 0,636 kg
Sprache: Englisch

Buch in der Datenbank seit 2008-01-29T04:01:24+01:00 (Berlin)
Detailseite zuletzt geändert am 2023-08-14T07:26:45+02:00 (Berlin)
ISBN/EAN: 9783642297083

ISBN - alternative Schreibweisen:
3-642-29708-0, 978-3-642-29708-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: voronkov, clarke, vor, edmund clark
Titel des Buches: novosibirsk, perspectives, psi, memorial, mémorial, international perspective

Daten vom Verlag:

Autor/in: Edmund Clarke; Irina Virbitskaite; Andrei Voronkov
Titel: 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
Verlag: Springer; Springer Berlin
411 Seiten
Erscheinungsjahr: 2012-05-30
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
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
< zum Archiv...