Sortierung ändern: Popularität Titel Veröffentlichung Preis
|
|
Abstraction, Refinement and Proof for Probabilistic Systems
|
EDV / Informatik |
203.00 |
|
Buch |
Sprache:
Englisch / Autor: Annabelle McIver / Einband: Kartoniert |
|
|
|
|
|
Super-Recursive Algorithms
|
Schulbücher |
179.00 |
|
Buch |
Sprache:
Englisch / Autor: Mark Burgin / Einband: Kartoniert |
|
|
|
|
|
Reverse Engineering of Object Oriented Code
|
EDV / Informatik |
142.00 |
|
Buch |
Sprache:
Englisch / Autor: Paolo Tonella / Einband: Gebunden |
|
|
|
|
|
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets
|
EDV / Informatik |
193.00 |
|
Buch |
Sprache:
Englisch / Autor: Domenico Cantone / Einband: Gebunden |
|
|
|
|
|
Adapting Proofs-as-Programs: The Curry--Howard Protocol
|
EDV / Informatik |
203.00 |
|
Buch |
Sprache:
Englisch / Autor: Martin Wirsing / Einband: Gebunden |
|
|
|
|
|
A Discipline of Multiprogramming: Programming Theory for Distributed Applications
|
EDV / Informatik |
74.00 |
|
Buch |
Sprache:
Englisch / Autor: Jayadev Misra / Einband: Gebunden |
|
|
|
|
|
Numerical Geometry of Non-Rigid Shapes
|
EDV / Informatik |
113.00 |
|
Buch |
Sprache:
Englisch / Autor: Ron Kimmel / Einband: Gebunden |
|
|
|
|
|
Software Configuration Management Using Vesta
|
EDV / Informatik |
134.00 |
|
Buch |
Sprache:
Englisch / Autor: Roy Levin / Einband: Gebunden |
|
|
|
|
|
Computer Systems: Theory, Technology, and Applications
|
EDV / Informatik |
110.00 |
|
Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
|
Panoramic Vision: Sensors, Theory, and Applications
|
EDV / Informatik |
201.00 |
|
Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
|
Evolutionary Synthesis of Pattern Recognition Systems
|
EDV / Informatik |
202.00 |
|
Buch |
Sprache:
Englisch / Autor: Bir Bhanu / Einband: Gebunden |
|
|
|
|
|
Programming Methodology
|
EDV / Informatik |
147.00 |
|
Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
|
Software Configuration Management Using Vesta
|
EDV / Informatik |
169.00 |
|
Buch |
Sprache:
Englisch / Autor: Roy Levin / Einband: Kartoniert |
|
|
|
|
|
Super-Recursive Algorithms
|
EDV / Informatik |
179.00 |
|
Buch |
Sprache:
Englisch / Autor: Mark Burgin / Einband: Gebunden |
|
|
|
|
|
A Discipline of Multiprogramming: Programming Theory for Distributed Applications
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Autor: Jayadev Misra / Einband: Kartoniert |
|
|
|
|
|
Panoramic Vision: Sensors, Theory, and Applications
|
EDV / Informatik |
146.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Abstraction, Refinement and Proof for Probabilistic Systems
|
EDV / Informatik |
201.00 |
|
Buch |
Sprache:
Englisch / Autor: Annabelle McIver / Einband: Gebunden |
|
|
|
|
|
Adapting Proofs-as-Programs: The Curry--Howard Protocol
|
EDV / Informatik |
188.00 |
|
Buch |
Sprache:
Englisch / Autor: Martin Wirsing / Einband: Kartoniert |
|
|
|
|
|
Geometric Fundamentals of Robotics
|
Naturwissensch., Medizin, Technik |
124.00 |
|
Buch |
Sprache:
Englisch / Autor: J.M. Selig / Einband: Gebunden |
|
|
|
|
|
High Performance Discovery In Time Series: Techniques and Case Studies
|
EDV / Informatik |
179.00 |
|
Buch |
Sprache:
Englisch / Autor: New York University / Einband: Kartoniert |
|
|
|
|
|
Numerical Geometry of Non-Rigid Shapes
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Autor: Ron Kimmel / Einband: Kartoniert |
|
|
|
|
|
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
|
EDV / Informatik |
110.00 |
|
Buch |
Sprache:
Englisch / Autor: Manfred Broy / Einband: Kartoniert |
|
|
|
| / 2 |