Sortierung ändern: Popularität Titel Veröffentlichung Preis
|
|
A General Framework for Reasoning on Inconsistency
|
EDV / Informatik |
55.50 |
|
Buch |
Sprache:
Englisch / Autor: V. S. Subrahmanian / Einband: Kartoniert |
|
|
|
|
|
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Security Protocols: 12th International Workshop, Cambridge, UK, April 26-28, 2004. Revised Selected Papers
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Enterprise Systems Integration: A Process-Oriented Approach
|
EDV / Informatik |
110.00 |
|
Buch |
Sprache:
Englisch / Autor: Diogo R. Ferreira / Einband: Gebunden |
|
|
|
|
|
Parallel-Vector Equation Solvers for Finite Element Engineering Applications
|
EDV / Informatik |
203.00 |
|
Buch |
Sprache:
Englisch / Autor: Duc Thai Nguyen / Einband: Gebunden |
|
|
|
|
|
Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
|
EDV / Informatik |
110.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
High-Level Synthesis: from Algorithm to Digital Circuit
|
Naturwissensch., Medizin, Technik |
149.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Applied Cryptography and Network Security: 4th International Conference, ACNS 2006, Singapore, June 6-9, 2006, Proceedings
|
EDV / Informatik |
142.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Privacy and Identity Management for Life: 7th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6 International Summer School, Trento, Italy, September 5-9, 2011, Revis
|
EDV / Informatik |
126.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Unfoldings: A Partial-Order Approach to Model Checking
|
EDV / Informatik |
153.00 |
|
Buch |
Sprache:
Englisch / Autor: Javier Esparza / Einband: Kartoniert |
|
|
|
|
|
Biosurveillance and Biosecurity: International Workshop, BioSecure 2008, Raleigh, NC, USA, December 2, 2008. Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Privacy and Identity Management for Life: 6th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Helsingborg, Sweden, August 2-6
|
EDV / Informatik |
126.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Logical Data Modeling: What it is and How to do it
|
EDV / Informatik |
158.00 |
|
Buch |
Sprache:
Englisch / Autor: Alan Chmura / Einband: Gebunden |
|
|
|
|
|
Nginx: From Beginner to Pro
|
EDV / Informatik |
89.00 |
|
Buch |
Sprache:
Englisch / Autor: Rahul Soni / Einband: Kartoniert |
|
|
|
|
|
Open Source Systems: Grounding Research - 7th IFIP 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011, Proceedings
|
EDV / Informatik |
142.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Open Multithreaded Transactions: A Transaction Model for Concurrent Object-Oriented Programming
|
EDV / Informatik |
143.00 |
|
Buch |
Sprache:
Englisch / Autor: Jörg Kienzle / Einband: Gebunden |
|
|
|
|
|
Digital VLSI Systems Design: A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog
|
Naturwissensch., Medizin, Technik |
222.00 |
|
Buch |
Sprache:
Englisch / Autor: Seetharaman Ramachandran / Einband: Gebunden |
|
|
|
|
|
Knowledge Management and Organizational Learning
|
Wirtschaft / Recht |
248.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Abstraction, Refinement and Proof for Probabilistic Systems
|
EDV / Informatik |
203.00 |
|
Buch |
Sprache:
Englisch / Autor: Annabelle McIver / Einband: Kartoniert |
|
|
|
|
|
Developments in Language Theory: 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
|
EDV / Informatik |
124.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
New Horizons of Computational Science: Proceedings of the International Symposium on Supercomputing held in Tokyo, Japan, September 1—3, 1997
|
Naturwissensch., Medizin, Technik |
193.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
| / 112 |