Ergebnisse filtern
-
- 14
-
- 13
- 1
-
- 12
- 2
-
- 14
-
- 14
-
- 14
Mathematik | Informatik
-
Abdennahder / Kordon Reliable Software Technologies - Ada-Europe 2007
12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-73229-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kordon / Lemoine Formal Methods for Embedded Distributed Systems
How to master the complexity1. Auflage. Softcover version of original hardcover Auflage 2004Verlag: SpringerISBN: 978-1-4419-5459-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kordon / Kermarrec Reliable Software Technologies - Ada-Europe 2009
14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-01923-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kordon / Sztipanovits Reliable Systems on Unreliable Networked Platforms
12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71155-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kordon / Lemoine Formal Methods for Embedded Distributed Systems
How to master the complexity2004Verlag: Springer Nature B.V.ISBN: 978-1-4020-7996-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Kordon / Moldt Application and Theory of Petri Nets and Concurrency
37th International Conference, PETRI NETS 2016, Toru¿, Poland, June 19-24, 2016. Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-39085-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kordon / Vardanega Reliable Software Technologies - Ada-Europe 2008
13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68621-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kordon / Sokolsky Composition of Embedded Systems. Scientific and Industrial Issues
13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-77418-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beyer / Hartmanns / Kordon TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competitions2024Verlag: SpringerISBN: 978-3-031-67694-9Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zhang / Ren / Kordon Challenges and Opportunity with Big Data
19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-61993-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Koutny / Kordon / Pomello Transactions on Petri Nets and Other Models of Concurrency XV
1. Auflage 2021Verlag: SpringerISBN: 978-3-662-63078-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Koutny / Kordon / Moldt Transactions on Petri Nets and Other Models of Concurrency XVI
1. Auflage 2022Verlag: SpringerISBN: 978-3-662-65302-9Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beyer / Huisman / Kordon 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 III1. Auflage 2019Verlag: SpringerISBN: 978-3-030-17501-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kordon / Petrucci / Desel Transactions on Petri Nets and Other Models of Concurrency XVIII
Erscheinungsjahr 2026Verlag: SpringerISBN: 978-3-662-73304-2Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort