Von dem Buch Formal Modeling and Verification of Cyber-Physical Systems haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Rolf Drechsler, Ulrich Kühne: Formal Modeling and Verification of Cyber-Physical Systems (ISBN: 9783658099947) 2015, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
100%: Herausgeber: Rolf Drechsler, Herausgeber: Ulrich Kühne: Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 (ISBN: 9783658099930) 2015, 2015. Ausgabe, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
Formal Modeling and Verification of Cyber-Physical Systems
12 Angebote vergleichen
| Preise | Apr. 16 | Mai 16 | Apr. 19 | Okt. 19 |
|---|---|---|---|---|
| Schnitt | € 44,02 | € 44,02 | € 52,47 | € 60,28 |
| Nachfrage |
1
Symbolbild
Formal Modeling and Verification of Cyber-Physical Systems (2015)
DE PB NWISBN: 9783658099930 bzw. 3658099933, in Deutsch, Vieweg & Teubner Verlag Jun 2015, Taschenbuch, neu.
Von Händler/Antiquariat, sparbuchladen [52968077], Göttingen, Germany.
Neuware - This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted by the participating PhD students. 313 pp. Englisch.
Neuware - This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted by the participating PhD students. 313 pp. Englisch.
2
Symbolbild
Formal Modeling and Verification of Cyber-Physical Systems (2015)
DE PB NWISBN: 9783658099930 bzw. 3658099933, in Deutsch, Vieweg & Teubner Verlag Jun 2015, Taschenbuch, neu.
Von Händler/Antiquariat, Rheinberg-Buch [53870650], Bergisch Gladbach, Germany.
Neuware - This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted by the participating PhD students. 313 pp. Englisch.
Neuware - This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted by the participating PhD students. 313 pp. Englisch.
3
Symbolbild
Formal Modeling and Verification of Cyber-Physical Systems (2015)
DE PB NWISBN: 9783658099930 bzw. 3658099933, in Deutsch, Vieweg & Teubner Verlag Jun 2015, Taschenbuch, neu.
Von Händler/Antiquariat, Agrios-Buch [57449362], Bergisch Gladbach, Germany.
Neuware - This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted by the participating PhD students. 313 pp. Englisch.
Neuware - This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted by the participating PhD students. 313 pp. Englisch.
4
Formal Modeling and Verification of Cyber-Physical Systems (2015)
~EN NW EB DLISBN: 9783658099947 bzw. 3658099941, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Lagernd, zzgl. Versandkosten.
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted by the participating PhD students. eBook.
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted by the participating PhD students. eBook.
5
Formal Modeling and Verification of Cyber-Physical Systems (2015)
DE PB NWISBN: 9783658099930 bzw. 3658099933, in Deutsch, Vieweg+Teubner Verlag, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkosten nach: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, Buchhandlung Kühn GmbH, [4368407].
Neuware - This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted by the participating PhD students. Taschenbuch, Neuware, FixedPrice, 558g.
Von Händler/Antiquariat, Buchhandlung Kühn GmbH, [4368407].
Neuware - This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted by the participating PhD students. Taschenbuch, Neuware, FixedPrice, 558g.
6
Formal Modeling and Verification of Cyber-Physical Systems - 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
DE NW EB DLISBN: 9783658099947 bzw. 3658099941, in Deutsch, Springer Vieweg, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, E-Book zum Download.
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted by the participating PhD students. Rolf Drechsler is the head of the Group of Computer Architecture at the University of Bremen, Germany. Since 2011 he is also the director of the Cyber-Physical Systems group at the German Research Center for Artificial Intelligence (DFKI). His research interests include the development and design of data structures and algorithms with a focus on circuit and system design. Ulrich Kühne is working as research associate and scientific coordinator of the Graduate School System Design at the University of Bremen. His research interests are in hardware design and verification of hybrid systems.
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted by the participating PhD students. Rolf Drechsler is the head of the Group of Computer Architecture at the University of Bremen, Germany. Since 2011 he is also the director of the Cyber-Physical Systems group at the German Research Center for Artificial Intelligence (DFKI). His research interests include the development and design of data structures and algorithms with a focus on circuit and system design. Ulrich Kühne is working as research associate and scientific coordinator of the Graduate School System Design at the University of Bremen. His research interests are in hardware design and verification of hybrid systems.
7
Formal Modeling and Verification of Cyber-Physical Systems - 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 (2015)
~EN NW EB DLISBN: 9783658099947 bzw. 3658099941, vermutlich in Englisch, Springer Fachmedien Wiesbaden Gmbh, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Versandkostenfrei.
Formal Modeling and Verification of Cyber-Physical Systems: This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. Englisch, Ebook.
Formal Modeling and Verification of Cyber-Physical Systems: This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. Englisch, Ebook.
8
Formal Modeling and Verification of Cyber-Physical Systems (2015)
~EN PB NW EB DLISBN: 9783658099947 bzw. 3658099941, vermutlich in Englisch, Vieweg+Teubner Verlag, Taschenbuch, neu, E-Book, elektronischer Download.
Formal Modeling and Verification of Cyber-Physical Systems ab 88.99 € als pdf eBook: 1st International Summer School on Methods and Tools for the Design of Digital Systems Bremen Germany September 2015. Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet,.
10
Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 (2015)
EN PB USISBN: 9783658099930 bzw. 3658099933, in Englisch, 313 Seiten, 2015. Ausgabe, Springer Vieweg, Taschenbuch, gebraucht.
Neu ab: EUR 41,89 (47 Angebote)
Gebraucht ab: EUR 35,99 (4 Angebote)
Zu den weiteren 51 Angeboten bei Amazon.de (Int.)
Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, ausverkauf.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, ausverkauf.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…