Sortierung ändern: Popularität Titel Veröffentlichung Preis
 |
 |
Specification in B: An Introduction Using the B Toolkit
|
EDV / Informatik |
55.90 |
|
| Buch |
  Sprache:
Englisch / Autor: Kevin Lano / Einband: Kartoniert |
|
|
|
|
 |
Active Rules in Database Systems
|
EDV / Informatik |
189.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
My Revision Notes Edexcel Religious Studies for GCSE (9-1): Beliefs in Action (Specification B) - Area 1 Religion and Ethics Through Christianity, Are
|
Schulbücher |
22.50 |
|
| Buch |
 Sprache:
Englisch / Autor: Victor W. Watton / Einband: Kartoniert |
|
|
|
|
 |
Recent Advances and Future Directions in Causality, Prediction, and Specification Analysis: Essays in Honor of Halbert L. White Jr
|
Wirtschaft / Recht |
189.00 |
|
| Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
 |
Recent Advances and Future Directions in Causality, Prediction, and Specification Analysis: Essays in Honor of Halbert L. White Jr
|
Wirtschaft / Recht |
189.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Edexcel Religious Studies for GCSE (9-1): Beliefs in Action (Specification B)
|
Schulbücher |
54.50 |
|
| Buch |
Sprache:
Englisch / Autor: Victor W. Watton / Einband: Kartoniert |
|
|
|
|
 |
Specification In B: An Introduction Using The B Toolkit
|
EDV / Informatik |
120.00 |
|
| Buch |
Sprache:
Englisch / Autor: Haughton Howard / Einband: Gebunden |
|
|
|
|
 |
ZB 2000: Formal Specification and Development in Z and B - First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Pro
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Advances in Design and Specification Languages for SoCs: Selected Contributions from FDL'04
|
Naturwissensch., Medizin, Technik |
189.00 |
|
| Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
 |
From Requirements to Java in a Snap: Model-Driven Requirements Engineering in Practice
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Autor: Michal Smialek / Einband: Kartoniert |
|
|
|
|
 |
ZB 2005: Formal Specification and Development in Z and B - 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceeding
|
EDV / Informatik |
135.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Nuclear Power Plant Safety and Mechanical Integrity: Design and Operability of Mechanical Systems, Equipment and Supporting Structures
|
Naturwissensch., Medizin, Technik |
176.00 |
|
| Buch |
Sprache:
Englisch / Autor: Antaki George / Einband: Gebunden |
|
|
|
|
 |
The Vasculome: From Many, One
|
Naturwissensch., Medizin, Technik |
198.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Architectural Design: Conception and Specification of Interactive Systems
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Autor: Marten van Sinderen / Einband: Gebunden |
|
|
|
|
 |
Architectural Design: Conception and Specification of Interactive Systems
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Autor: Marten van Sinderen / Einband: Kartoniert |
|
|
|
|
 |
From Requirements to Java in a Snap: Model-Driven Requirements Engineering in Practice
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Autor: Michal Smialek / Einband: Gebunden |
|
|
|
|
 |
Thin-Walled Structures: Advances in Research, Design and Manufacturing Technology
|
Naturwissensch., Medizin, Technik |
489.00 |
|
| Buch |
Sprache:
Englisch / Autor: Loughlan J. / Einband: Gebunden |
|
|
|
|
 |
ZB 2002: Formal Specification and Development in Z and B - 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Procee
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
B 2007: Formal Specification and Development in B - 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
ZB 2003: Formal Specification and Development in Z and B - Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceeding
|
EDV / Informatik |
134.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Secure and Trustworthy Service Composition: The Aniketos Approach
|
EDV / Informatik |
67.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Security Policy in System-on-Chip Designs: Specification, Implementation and Verification
|
Naturwissensch., Medizin, Technik |
70.00 |
|
| Buch |
Sprache:
Englisch / Autor: Sandip Ray / Einband: Gebunden |
|
|
|
|
| / 2  |
Newsfeed | 
Facebook | 
Twitter
