Sortierung ändern: Popularität Titel Veröffentlichung Preis
 |
 |
Reliability on the Move: Safety and reliability in transportation
|
Wirtschaft / Recht |
236.00 |
|
| Buch |
  Sprache:
Englisch / Autor: Guy G.B. / 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 |
|
|
|
|
 |
A Practical Guide to SysML: The Systems Modeling Language
|
EDV / Informatik |
68.00 |
|
| Buch |
Sprache:
Englisch / Autor: Moore Alan / Einband: Kartoniert |
|
|
|
|
 |
Synchronous Equivalence: Formal Methods for Embedded Systems
|
Naturwissensch., Medizin, Technik |
135.00 |
|
| Buch |
Sprache:
Englisch / Autor: Felice Balarin / Einband: Gebunden |
|
|
|
|
 |
Distributed Real-Time Architecture for Mixed-Criticality Systems
|
Naturwissensch., Medizin, Technik |
296.00 |
|
| Buch |
Sprache:
Englisch / 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 |
|
|
|
|
 |
System Development and Ada: CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Offshore Wind Farms: Technologies, Design and Operation
|
Naturwissensch., Medizin, Technik |
240.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 |
|
|
|
|
 |
Emerging Trends in Applications and Infrastructures for Computational Biology, Bioinformatics, and Systems Biology: Systems and Applications
|
EDV / Informatik |
121.00 |
|
| Buch |
Sprache:
Englisch / Autor: Quoc Nam Tran / Einband: Kartoniert |
|
|
|
|
 |
Pharmaceutical Analysis for Small Molecules
|
Naturwissensch., Medizin, Technik |
170.00 |
|
| Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
 |
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 |
|
|
|
|
 |
Embedded Systems Specification and Design Languages: Selected Contributions from FDL’07
|
Naturwissensch., Medizin, Technik |
135.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 |
|
|
|
|
 |
Program Development by Specification and Transformation: The Prospectra Methodology, Language Family, and System
|
EDV / Informatik |
134.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
HACCP System Auditing for Food Safety: Principles and Techniques
|
Naturwissensch., Medizin, Technik |
230.00 |
|
| Buch |
Sprache:
Englisch / Autor: Luis Couto Lorenzo / 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 |
|
|
|
|
 |
Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedi
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / 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 |
134.00 |
|
| Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
| / 24  |
Newsfeed | 
Facebook | 
Twitter
