Online Bücher bei 1Advd.ch bestellen

Annabelle McIver

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:
	Formal Methods ¿ The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7¿11, 2019, Proceedings (Buch) Sprache: English Veröffentlichung: September 2019 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
	Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedi (Buch) Sprache: English Veröffentlichung: Dezember 2015 (Auf Bestellung) Einband: Kartoniert	SFr. 124.00 bestellen
	Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings (Buch) Sprache: English Veröffentlichung: August 2018 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
Autor von:
	Abstraction, Refinement and Proof for Probabilistic Systems (Buch) Sprache: English Veröffentlichung: November 2004 (Auf Bestellung) Einband: Gebunden	SFr. 201.00 bestellen
	Abstraction, Refinement and Proof for Probabilistic Systems (Buch) Sprache: English Veröffentlichung: November 2010 (Auf Bestellung) Einband: Kartoniert	SFr. 203.00 bestellen
	The Science of Quantitative Information Flow (Buch) Sprache: English Veröffentlichung: Oktober 2020 (Auf Bestellung) Einband: Gebunden	SFr. 83.00 bestellen
Seite 1 von 1