Informatica algemeen

Koymans, Ron - Specifying Message Passing and Time-Critical Systems with Temporal Logic
Paperback
Koymans, Ron
Specifying Message Passing and Time-Critical Systems with Temporal Logic
€69,20
- Formal Methods in Programming and Their Applications
Paperback
Formal Methods in Programming and Their Applications
€70,00
- Hardware and Software Architectures for Fault Tolerance
Paperback
Hardware and Software Architectures for Fault Tolerance
€70,00
- Advances in Database Technology - EDBT '94
Paperback
Advances in Database Technology - EDBT '94
€70,00
- Applications of Invariance in Computer Vision
Paperback
Applications of Invariance in Computer Vision
€71,60
- Network and Operating System Support for Digital Audio and Video
Paperback
Network and Operating System Support for Digital Audio and Video
€70,00
David Hutchison, Andre Danthine, Helmut Leopold, Geoff Coulson - Multimedia Transport and Teleservices
Paperback
David Hutchison, Andre Danthine, Helmut Leopold, Geoff Coulson
Multimedia Transport and Teleservices
€70,40
- Advances in Cryptology - EUROCRYPT '94
Paperback
Advances in Cryptology - EUROCRYPT '94
€70,00
- Types for Proofs and Programs
Paperback
Types for Proofs and Programs
€69,20
Subhash Bhalla - Information Systems and Data Management
Paperback
Subhash Bhalla
Information Systems and Data Management
€70,40
Antoon Bosselaers, Bart Preneel - Integrity Primitives for Secure Information Systems
Paperback
Antoon Bosselaers, Bart Preneel
Integrity Primitives for Secure Information Systems
€70,00
- Network and Operating Systems Support for Digital Audio and Video
Paperback
Network and Operating Systems Support for Digital Audio and Video
€70,00
Elisabeth Meier, Marion Mast, Susann Luperfoy - Dialogue Processing in Spoken Language Systems
Paperback
Elisabeth Meier, Marion Mast, Susann Luperfoy
Dialogue Processing in Spoken Language Systems
€70,00
- Intelligent Hypertext
Paperback
Intelligent Hypertext
€69,20
- Security Protocols
Paperback
Security Protocols
€69,20
- Services and Visualization: Towards User-Friendly Design
Paperback
Services and Visualization: Towards User-Friendly Design
€70,00
- Graphics Recognition: Algorithms and Systems
Paperback
Graphics Recognition: Algorithms and Systems
€70,00
- Algorithms and Computation
Paperback
Algorithms and Computation
€70,00
- Database Theory - ICDT'99
Paperback
Database Theory - ICDT'99
€70,00
- Active, Real-Time, and Temporal Database Systems
Paperback
Active, Real-Time, and Temporal Database Systems
€69,20
- XPS-99: Knowledge-Based Systems - Survey and Future Directions
Paperback
XPS-99: Knowledge-Based Systems - Survey and Future Directions
€69,20
Alain Lecomte, Francois Lamarche, Guy Perrier - Logical Aspects of Computational Linguistics
Paperback
Alain Lecomte, Francois Lamarche, Guy Perrier
Logical Aspects of Computational Linguistics
€70,00
- Computer Aided Verification
Paperback
Computer Aided Verification
€71,60
Christian Freksa, Wilfried Brauer, Christopher Habel, Karl F. Wender - Spatial Cognition II
Paperback
Christian Freksa, Wilfried Brauer, Christopher Habel, Karl F. Wender
Spatial Cognition II
€70,00
Mahnke, Wolfgang, Leitner, Stefan-Helmut, Damm, Matthias - OPC Unified Architecture
Hardback
Mahnke, Wolfgang, Leitner, Stefan-Helmut, Damm, Matthias
OPC Unified Architecture
€95,20
- Discrete Geometry, Combinatorics and Graph Theory
Paperback
Discrete Geometry, Combinatorics and Graph Theory
€70,00
- Detection of Intrusions and Malware, and Vulnerability Assessment
Paperback
Detection of Intrusions and Malware, and Vulnerability Assessment
€69,20
- Secure Data Management
Paperback
Secure Data Management
€69,20
Symeon Bozapalidis, George Rahonis - Algebraic Informatics
Paperback
Symeon Bozapalidis, George Rahonis
Algebraic Informatics
€70,00
- Information Security
Paperback
Information Security
€70,00
Boekstra