Ergebnisse filtern
-
- 17
- 16
-
- 6
- 11
- 3
- 5
- 2
- 1
- 2
- 3
-
- 21
- 12
-
- 33
-
- 33
-
- 33
-
Kordon / Lemoine Formal Methods for Embedded Distributed Systems
How to master the complexityErscheinungsjahr 2007Verlag: Springer USISBN: 978-1-4020-7997-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Kordon / Abdennahder Reliable Software Technologies - Ada-Europe 2007
12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-73229-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lemoine / Kordon Formal Methods for Embedded Distributed Systems
How to master the complexity1. Auflage. Softcover version of original hardcover Auflage 2004Verlag: Springer USISBN: 978-1-4419-5459-6Medium: Buch106,99 € (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. Proceedings2008Verlag: SpringerISBN: 978-3-540-68624-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Kordon / Moldt Application and Theory of Petri Nets and Concurrency
37th International Conference, PETRI NETS 2016, Torun, Poland, June 19-24, 2016. Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-39086-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Kordon / Kermarrec Reliable Software Technologies - Ada-Europe 2009
14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-01924-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Vardanega / Kordon Reliable Software Technologies - Ada-Europe 2008
13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68621-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Moldt / Kordon Application and Theory of Petri Nets and Concurrency
37th International Conference, PETRI NETS 2016, Toru¿, Poland, June 19-24, 2016. Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-39085-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 -
Kordon / Sztipanovits Reliable Systems on Unreliable Networked Platforms
12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers2007Verlag: SpringerISBN: 978-3-540-71156-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Kordon / Sokolsky Composition of Embedded Systems. Scientific and Industrial Issues
13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers2008Verlag: SpringerISBN: 978-3-540-77419-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Kordon / Lemoine Formal Methods for Embedded Distributed Systems
How to Master the Complexity2004. Auflage 1991Verlag: Springer UsISBN: 978-1-4020-7996-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abdennahder / Kordon Reliable Software Technologies - Ada-Europe 2007
12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-73230-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Sztipanovits / Kordon Reliable Systems on Unreliable Networked Platforms
12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71155-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kermarrec / Kordon Reliable Software Technologies - Ada-Europe 2009
14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-01923-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beyer / Hartmanns / Kordon TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods CompetitionsErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-67695-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark128,39 € (inkl. MwSt.)
sofort verfügbar -
Koutny / Kordon / Pomello Transactions on Petri Nets and Other Models of Concurrency XV
1. Auflage 2021Verlag: SpringerISBN: 978-3-662-63079-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Koutny / Kordon / Moldt Transactions on Petri Nets and Other Models of Concurrency XVI
1. Auflage 2022Verlag: SpringerISBN: 978-3-662-65303-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Zhang / Ren / Kordon Challenges and Opportunity with Big Data
19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-61994-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Zhang / Kordon / Ren Challenges and Opportunity with Big Data
19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-61993-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Koutny / Moldt / Kordon 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 -
Koutny / Pomello / Kordon 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 -
Beyer / Kordon / Hartmanns TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competitions2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-67694-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kordon / Hugues / Canals Embedded Systems
Analysis and Modeling with SysML, UML and AADL1. Auflage 2013Verlag: John Wiley & SonsISBN: 978-1-118-56977-1Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)139,99 € (inkl. MwSt.)
sofort verfügbar -
Kordon / Hugues / Canals Embedded Systems
Analysis and Modeling with SysML, UML and AADL1. Auflage 2013Verlag: John Wiley & SonsISBN: 978-1-118-56971-9Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)139,99 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort