Online Bücher bei 1Advd.ch bestellen

Suchergebniss	Artikel 1-8 von 8
Suche einengen: Alle Bücher - Deutsche Bücher - Englische Bücher - Französische Bücher - Spanische Bücher
Sortierung ändern: Popularität Titel Veröffentlichung Preis
	Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers	Schulbücher	69.00	wunschliste
Buch	Sprache: Englisch / Einband: Kartoniert			bestellen
	Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach	Schulbücher	235.00	wunschliste
Buch	Sprache: Englisch / Autor: Robert P. Kurshan / Einband: Gebunden			bestellen
	Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings	EDV / Informatik	70.00	wunschliste
Buch	Sprache: Englisch / Einband: Kartoniert			bestellen
	Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings	EDV / Informatik	70.00	wunschliste
Buch	Sprache: Englisch / Einband: Kartoniert			bestellen
	Programming for Computations - MATLAB/Octave: A Gentle Introduction to Numerical Simulations with MATLAB/Octave	EDV / Informatik	69.00	wunschliste
Buch	Sprache: Englisch / Autor: Hans Petter Langtangen / Einband: Kartoniert			bestellen
	Programming for Computations - MATLAB/Octave: A Gentle Introduction to Numerical Simulations with MATLAB/Octave	EDV / Informatik	69.00	wunschliste
Buch	Sprache: Englisch / Autor: Hans Petter Langtangen / Einband: Gebunden			bestellen
	Formal Verification of Control System Software	Schulbücher	93.00	wunschliste
Buch	Sprache: Englisch / Autor: Pierre-Loïc Garoche / Einband: Gebunden			bestellen
	Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers	EDV / Informatik	70.00	wunschliste
Buch	Sprache: Englisch / Einband: Kartoniert			bestellen
		/ 1