Sortierung ändern: Popularität Titel Veröffentlichung Preis
 |
 |
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
  Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Mutation Testing for the New Century
|
EDV / Informatik |
207.00 |
|
| Buch |
 Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Developments in Language Theory: 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers
|
EDV / Informatik |
110.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Quality of Information and Communications Technology: 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedin
|
EDV / Informatik |
105.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Workload Characterization of Emerging Computer Applications
|
EDV / Informatik |
207.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Fast Track UML 2.0
|
EDV / Informatik |
32.50 |
|
| Buch |
Sprache:
Englisch / Autor: Kendall Scott / Einband: Kartoniert |
|
|
|
|
 |
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
C++ and Object-Oriented Numeric Computing for Scientists and Engineers
|
EDV / Informatik |
116.00 |
|
| Buch |
Sprache:
Englisch / Autor: Daoqi Yang / Einband: Gebunden |
|
|
|
|
 |
Fundamentals of X Programming: Graphical User Interfaces and Beyond
|
EDV / Informatik |
110.00 |
|
| Buch |
Sprache:
Englisch / Autor: Theo Pavlidis / Einband: Gebunden |
|
|
|
|
 |
Case-Based Reasoning Research and Development: 4th International Conference on Case-Based Reasoning, ICCBR 2001 Vancouver, BC, Canada, July 30 - Augus
|
EDV / Informatik |
169.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings
|
EDV / Informatik |
135.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
|
EDV / Informatik |
135.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
|
EDV / Informatik |
135.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
|
EDV / Informatik |
130.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21¿24, 2016, Revised Se
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools - 5th International Conference, Dresden, Germany, September 30 Octobe
|
EDV / Informatik |
130.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Confe
|
EDV / Informatik |
124.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
FM 2005: Formal Methods - International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
|
EDV / Informatik |
135.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Open Multithreaded Transactions: A Transaction Model for Concurrent Object-Oriented Programming
|
EDV / Informatik |
144.00 |
|
| Buch |
Sprache:
Englisch / Autor: Jörg Kienzle / Einband: Gebunden |
|
|
|
|
 |
Regular Expression Recipes: A Problem-Solution Approach
|
EDV / Informatik |
46.90 |
|
| Buch |
Sprache:
Englisch / Autor: Nathan A Good / Einband: Kartoniert |
|
|
|
|
 |
Software Visualization: From Theory to Practice
|
EDV / Informatik |
207.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
| / 21  |
Newsfeed | 
Facebook | 
Twitter
