Ihre Bestellung

Graf, Susanne and Wenhui Zhang (Edts.):
Automated Technology for Verification and Analysis. 4th international symposium ; proceedings.ATVA 2006, Beijing, China, October 23 - 26, 2006. (=Lecture notes in computer science ; Vol. 4218).
Berlin, Springer, 2006.
ISBN/EAN: 9783540472377

gefunden im Sachgebiet: Informatik, Hardware, Software

EUR19,10
inkl. MwSt. zzgl. Versand: EUR 3,50
Lieferzeit: 1 - 4 Werktage

In den Warenkorb

Dieses Angebot wurde bereits 33 mal aufgerufen

Sparen Sie Versandkosten beim Kauf ähnlicher Angebote dieses Anbieters

Berthold, Michael a. o. (Edts.): Advances in intelligent Data Analysis VII. Proceedings in 7th International Symposium on Intelligent Data Analysis, IDA 2007, Ljubljana, Slovenia, September 6 - 8. (=Lecture notes in Computer Science ; Vol. 4723). EUR 19,90 Details zum Buch...

Häßler, Ulrike: 3D imaging. EUR 21,90 Details zum Buch...

Däßler, Rolf und Hartmut Palm: Virtuelle Informationsräume mit VRML. Informationen recherchieren und präsentieren in 3D. EUR 4,80 Details zum Buch...

Briggle, Adamet. al. (Eds.): Current Issues in Computing and Philosophy (Frontiers in Artificial Intelligence and Applications, Vol. 175). EUR 48,70 Details zum Buch...

Antiquariat der Stunde

Lippertsche Buchhandlung & Hallesches Antiquariat GmbH; c/o Buchhandlung des Waisenhauses
Franckeplatz 5
DE-06110 Halle (Saale)

Mehr Information & Angebote

Interessante Themen

Journals … Scharlachsamt … Körperschall … Bebidas … Aktionsforschung … Strafarbeit … Brückenschlag … Blitzeis … Computerschach … Knospen

Mehr Themen anschauen

· Vorderasien [1397] vom 05.11.2018

· Griechenland [1396] vom 05.11.2018

· Lebensberater [1395] vom 05.11.2018

· Kakteen und Zimmerpflanzen [1394] vom 04.11.2018

· Allgemeine Geographie [1392] vom 25.10.2018

Alle Kataloge anschauen

Statistiken

7.648.196 Angebote

106.085.216 Besucher gesamt (seit 15.08.2005)

0 Besucher heute

0 Besucher gestern