Fabrice Kordon - Böcker
629 kr
Skickas inom 5-8 vardagar
699 kr
Skickas inom 5-8 vardagar
1 105 kr
Skickas inom 10-15 vardagar
1 105 kr
Skickas inom 10-15 vardagar
2 003 kr
Skickas inom 11-20 vardagar
1 861 kr
Skickas inom 7-10 vardagar
1 890 kr
Skickas inom 11-20 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
553 kr
Skickas inom 10-15 vardagar
TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competitions
608 kr
Skickas inom 10-15 vardagar
Application and Theory of Petri Nets and Concurrency
37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
556 kr
Skickas inom 10-15 vardagar
Challenges and Opportunity with Big Data
19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers
556 kr
Skickas inom 10-15 vardagar
Reliable Software Technologies - Ada-Europe 2008
13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
556 kr
Skickas inom 10-15 vardagar
Reliable Systems on Unreliable Networked Platforms
12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
556 kr
Skickas inom 10-15 vardagar
Reliable Software Technologies - Ada-Europe 2007
12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings
556 kr
Skickas inom 10-15 vardagar
Composition of Embedded Systems. Scientific and Industrial Issues
13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
556 kr
Skickas inom 10-15 vardagar
Reliable Software Technologies - Ada-Europe 2009
14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings
556 kr
Skickas inom 10-15 vardagar
556 kr
Skickas inom 10-15 vardagar
990 kr
Skickas inom 10-15 vardagar
1 235 kr
Kommande