Herausgegeben von: Zhiming Liu
Hier finden Sie zu den besten Preisen alle Bücher, eBooks und Hörbücher von Zhiming Liu.
Bestellungen bis 15:00 Uhr für Produkte auf Lager erhalten Sie - ohne Versandgebühr - am nächsten Werktag.
1
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Formal Methods and Hybrid Real-Time Systems
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
-16.7 %
CHF 57.50
2
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Theoretical Aspects of Computing - ICTAC 2022
19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings
CHF 68.50
3
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Automated Technology for Verification and Analysis
7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
-16.7 %
CHF 57.50
4
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Theoretical Aspects of Computing - ICTAC 2007
4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
-16.7 %
CHF 57.50
5
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
-16.7 %
CHF 57.50
6
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Engineering Trustworthy Software Systems
Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
-16.7 %
CHF 57.50