Online Bücher bei 1Advd.ch bestellen

Rajeev Alur

Sortierung: Titel - Veröffentlichung
Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch
Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette)
Herausgeber von:
	Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Buch) Sprache: English Veröffentlichung: Juni 2004 (Auf Bestellung) Einband: Kartoniert	SFr. 135.00 bestellen
	Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Buch) Sprache: English Veröffentlichung: Juli 1996 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
	Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings (Buch) Sprache: English Veröffentlichung: September 2003 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
	Hybrid Systems III: Verification and Control (Buch) Sprache: English Veröffentlichung: April 1996 (Auf Bestellung) Einband: Kartoniert	SFr. 134.00 bestellen
	Hybrid Systems: Computation and Control - 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings (Buch) Sprache: English Veröffentlichung: März 2004 (Auf Bestellung) Einband: Kartoniert	SFr. 135.00 bestellen
Seite 1 von 1