Ergebnisse filtern
-
- 7
- 5
-
- 1
- 2
- 1
- 4
- 2
- 2
-
- 1
- 2
- 1
- 3
- 5
-
- 8
- 4
-
- 12
-
- 12
-
- 12
-
Alur Embedded Software
Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20223-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Alur Embedded Software
Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, ProceedingsErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-45212-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Alur Principles of Cyber-Physical Systems
Erscheinungsjahr 2023Verlag: MIT PressISBN: 978-0-262-54892-2Medium: Buch75,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Alur Principles of Cyber-Physical Systems
Erscheinungsjahr 2015Verlag: MIT PressISBN: 978-0-262-32846-3Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)78,99 € (inkl. MwSt.)
sofort verfügbar
-
Alur Principles of Cyber-Physical Systems
Erscheinungsjahr 2015Verlag: MIT Press LtdISBN: 978-0-262-02911-7Medium: Buch90,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Alur / Pappas Hybrid Systems: Computation and Control
7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, ProceedingsErscheinungsjahr 2004Verlag: SpringerISBN: 978-3-540-24743-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
-
Pappas / Alur Hybrid Systems: Computation and Control
7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21259-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Henzinger / Alur Computer Aided Verification
8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61474-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Peled / Alur Computer Aided Verification
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22342-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Alur / Peled Computer Aided Verification
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, ProceedingsErscheinungsjahr 2004Verlag: SpringerISBN: 978-3-540-27813-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
-
Alur / Sontag / Henzinger Hybrid Systems III
Verification and Control1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61155-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hristu-Varsakelis / Levine / Alur Handbook of Networked and Embedded Control Systems
1. Auflage 2007Verlag: Birkhäuser BostonISBN: 978-0-8176-4404-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark287,83 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
