Ed Brinksma   Suche speichern: Du erhälst eine eMail sobald ein neuer Artikel mit diesen Kriterien eingetragen wird
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: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
(Buch) Sprache: English
Veröffentlichung: Juli 2002
(Auf Bestellung)
Einband: Kartoniert
SFr. 135.00
bestellen
Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7
(Buch) Sprache: English
Veröffentlichung: August 2001
(Auf Bestellung)
Einband: Kartoniert
SFr. 69.00
bestellen
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Select
(Buch) Sprache: English
Veröffentlichung: November 1995
(Auf Bestellung)
Einband: Kartoniert
SFr. 69.00
bestellen
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997,
(Buch) Sprache: English
Veröffentlichung: März 1997
(Auf Bestellung)
Einband: Kartoniert
SFr. 69.00
bestellen
Seite 1 von 1 

Zurück zur letzten Ansicht


AGB | Datenschutzerklärung | Mein Konto | Impressum | Partnerprogramm
Newsletter | 1Advd.ch RSS News-Feed Newsfeed | 1Advd.ch Facebook-Page Facebook | 1Advd.ch Twitter-Page Twitter
Forbidden Planet AG © 1999-2026
Alle Angaben ohne Gewähr
 
SUCHEN

 
 Kategorien
Im Sortiment stöbern
Genres
Hörbücher
Aktionen
 Infos
Mein Konto
Warenkorb
Meine Wunschliste
 Kundenservice
Recherchedienst
Fragen / AGB / Kontakt
Partnerprogramm
Impressum
© by Forbidden Planet AG 1999-2026