- 5 Risultati
prezzo più basso: € 48,37, prezzo più alto: € 77,84, prezzo medio: € 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
Ordina
da AbeBooks.de
€ 52,46
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Edmund Clarke:

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

2012, ISBN: 3642297080

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

NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
Chiudere (X)
2
Perspectives of Systems Informatics
Ordina
da Springer.com
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Perspectives of Systems Informatics - nuovo libro

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

Nr. 978-3-642-29708-3. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00)
Chiudere (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)
Ordina
da Achtung-Buecher.de
€ 77,84
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
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 - nuovo libro

2012

ISBN: 3642297080

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

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Chiudere (X)
4
Perspectives of Systems Informatics - Clarke, Edmund M.|Virbitskaite, Irina|Voronkov, Andrei
Ordina
da AbeBooks.de
€ 48,37
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Clarke, Edmund M.|Virbitskaite, Irina|Voronkov, Andrei:
Perspectives of Systems Informatics - edizione con copertina flessibile

2012, ISBN: 3642297080

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

NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
Chiudere (X)
5
Perspectives of Systems Informatics - Edmund Clarke
Ordina
da BookDepository.com
€ 69,99
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Edmund Clarke:
Perspectives of Systems Informatics - edizione con copertina flessibile

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

Costi di spedizione:Versandkostenfrei. (EUR 0.00)
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Perspectives of Systems Informatics by Edmund Clarke Paperback | Indigo Chapters
Autore:
Titolo:
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.

Informazioni dettagliate del libro - Perspectives of Systems Informatics by Edmund Clarke Paperback | Indigo Chapters


EAN (ISBN-13): 9783642297083
ISBN (ISBN-10): 3642297080
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 20120617
Editore: Edmund Clarke
410 Pagine
Peso: 0,636 kg
Lingua: Englisch

Libro nella banca dati dal 2008-01-29T04:01:24+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-08-14T07:26:45+02:00 (Zurich)
ISBN/EAN: 9783642297083

ISBN - Stili di scrittura alternativi:
3-642-29708-0, 978-3-642-29708-3
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : voronkov, clarke, vor, edmund clark
Titolo del libro: novosibirsk, perspectives, psi, memorial, mémorial, international perspective

Dati dell'editore

Autore: Edmund Clarke; Irina Virbitskaite; Andrei Voronkov
Titolo: 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
Editore: Springer; Springer Berlin
411 Pagine
Anno di pubblicazione: 2012-05-30
Berlin; Heidelberg; DE
Stampato / Fatto in
Lingua: Inglese
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
< Per archiviare...