- 5 Résultats
prix le plus bas: € 48,37, prix le plus élevé: € 77,84, prix moyen: € 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
Commander
sur AbeBooks.de
€ 52,46
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Edmund Clarke:

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

2012, ISBN: 3642297080

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

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
fermer(X)
2
Perspectives of Systems Informatics
Commander
sur Springer.com
€ 53,49
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Perspectives of Systems Informatics - nouveau livre

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

Nr. 978-3-642-29708-3. Frais d'envoiWorldwide free shipping, , DE. (EUR 0.00)
fermer(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)
Commander
sur Achtung-Buecher.de
€ 77,84
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
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 - nouveau livre

2012

ISBN: 3642297080

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

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
fermer(X)
4
Perspectives of Systems Informatics - Clarke, Edmund M.|Virbitskaite, Irina|Voronkov, Andrei
Commander
sur AbeBooks.de
€ 48,37
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Clarke, Edmund M.|Virbitskaite, Irina|Voronkov, Andrei:
Perspectives of Systems Informatics - Livres de poche

2012, ISBN: 3642297080

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

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
fermer(X)
5
Perspectives of Systems Informatics - Edmund Clarke
Commander
sur BookDepository.com
€ 69,99
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Edmund Clarke:
Perspectives of Systems Informatics - Livres de poche

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

Frais d'envoiVersandkostenfrei. (EUR 0.00)
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Perspectives of Systems Informatics by Edmund Clarke Paperback | Indigo Chapters
Auteur:
Titre:
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 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.

Informations détaillées sur le livre - Perspectives of Systems Informatics by Edmund Clarke Paperback | Indigo Chapters


EAN (ISBN-13): 9783642297083
ISBN (ISBN-10): 3642297080
Version reliée
Livre de poche
Date de parution: 20120617
Editeur: Edmund Clarke
410 Pages
Poids: 0,636 kg
Langue: Englisch

Livre dans la base de données depuis 2008-01-29T04:01:24+01:00 (Zurich)
Page de détail modifiée en dernier sur 2023-08-14T07:26:45+02:00 (Zurich)
ISBN/EAN: 9783642297083

ISBN - Autres types d'écriture:
3-642-29708-0, 978-3-642-29708-3
Autres types d'écriture et termes associés:
Auteur du livre: voronkov, clarke, vor, edmund clark
Titre du livre: novosibirsk, perspectives, psi, memorial, mémorial, international perspective

Données de l'éditeur

Auteur: Edmund Clarke; Irina Virbitskaite; Andrei Voronkov
Titre: 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
Editeur: Springer; Springer Berlin
411 Pages
Date de parution: 2012-05-30
Berlin; Heidelberg; DE
Imprimé / Fabriqué en
Langue: Anglais
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
< pour archiver...