Sortierung ändern: Popularität Titel Veröffentlichung Preis
 |
 |
Distributed Real-Time Architecture for Mixed-Criticality Systems
|
Naturwissensch., Medizin, Technik |
296.00 |
|
| Buch |
  Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
 |
Synchronous Equivalence: Formal Methods for Embedded Systems
|
Naturwissensch., Medizin, Technik |
135.00 |
|
| Buch |
Sprache:
Englisch / Autor: Felice Balarin / Einband: Gebunden |
|
|
|
|
 |
Property-preserving Petri Net Process Algebra In Software Engineering
|
EDV / Informatik |
166.00 |
|
| Buch |
Sprache:
Englisch / Autor: Michael Wai Ming Mak / Einband: Gebunden |
|
|
|
|
 |
Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Br
|
EDV / Informatik |
69.00 |
|
| Buch |
 Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Confe
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
A Practical Guide to SysML: The Systems Modeling Language
|
EDV / Informatik |
68.00 |
|
| Buch |
Sprache:
Englisch / Autor: Moore Alan / Einband: Kartoniert |
|
|
|
|
 |
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings
|
EDV / Informatik |
134.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of So
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Accounting for Climate Change: Uncertainty in Greenhouse Gas Inventories - Verification, Compliance, and Trading
|
Naturwissensch., Medizin, Technik |
135.00 |
|
| Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
 |
International Development: Socio-Economic Theories, Legacies, and Strategies
|
Wirtschaft / Recht |
66.00 |
|
| Buch |
Sprache:
Englisch / Autor: Lanoszka Anna / Einband: Kartoniert |
|
|
|
|
 |
Autonomous Vehicles: Technologies, Regulations, and Societal Impacts
|
Naturwissensch., Medizin, Technik |
160.00 |
|
| Buch |
Sprache:
Englisch / Autor: George Dimitrakopoulos / Einband: Kartoniert |
|
|
|
|
 |
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings
|
EDV / Informatik |
134.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Embedded and Real Time System Development: A Software Engineering Perspective - Concepts, Methods and Principles
|
Naturwissensch., Medizin, Technik |
135.00 |
|
| Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
 |
Advances in Evolutionary Computing for System Design
|
EDV / Informatik |
189.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Artificial Intelligence: Its Scope and Limits
|
EDV / Informatik |
238.00 |
|
| Buch |
Sprache:
Englisch / Autor: J. H. Fetzer / Einband: Gebunden |
|
|
|
|
 |
Verification of Reactive Systems: Formal Methods and Algorithms
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Autor: Klaus Schneider / Einband: Gebunden |
|
|
|
|
 |
News Agencies: Anachronism or Lifeblood of the Media System?
|
Wirtschaft / Recht |
116.00 |
|
| Buch |
Sprache:
Englisch / Autor: Jukes Stephen / Einband: Gebunden |
|
|
|
|
 |
Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Functional Verification of Programmable Embedded Architectures: A Top-Down Approach
|
Naturwissensch., Medizin, Technik |
139.00 |
|
| Buch |
Sprache:
Englisch / Autor: Nikil D. Dutt / Einband: Gebunden |
|
|
|
|
 |
Modeling Software Behavior: A Craftsman's Approach
|
Wirtschaft / Recht |
206.00 |
|
| Buch |
Sprache:
Englisch / Autor: Jorgensen Paul C. / Einband: Gebunden |
|
|
|
|
 |
Advances in Computer Science and Ubiquitous Computing: CSA-CUTE 2018
|
Naturwissensch., Medizin, Technik |
239.00 |
|
| Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
| / 23  |
Newsfeed | 
Facebook | 
Twitter
