Paperback
Resolution Proof Systems
In stock
Paperback
The UVM Primer
In stock
Hardback
Programming the Dynamic Analysis of Structures
In stock
Paperback
Quest for the Quantum Computer
In stock
Paperback
An Introduction to Substructural Logics
In stock
Hardback
The Clausal Theory of Types
In stock
Hardback
Nets, Terms and Formulas
In stock
Hardback
Statistical Mechanics of Learning
In stock
Hardback
Coding Theory
In stock
Hardback
Two-Level Functional Languages
In stock
Hardback
Logical Frameworks
In stock
Paperback
Information Systems Development
In stock
Hardback
Fundamental Problems of Algorithmic Algebra
In stock
Hardback
Learning Theory
In stock
Hardback
Semiotics in Information Systems Engineering
In stock
Hardback
The Optimal Implementation of Functional Programming Languages
In stock
Paperback
Mathematics of Evolution and Phylogeny
In stock
Paperback
RT Essentials
In stock
Hardback
Selected Topics in Approximation and Computation
In stock
Hardback
Information Modeling: The EXPRESS Way
In stock
Hardback
Modal Logic
In stock
Hardback
Statistical Computing
In stock
Hardback
Twenty Five Years of Constructive Type Theory
In stock
Hardback
Escalation in Decision-Making
In stock
Hardback
Transaction Management
In stock
Hardback
Quantum Computer Science
In stock
Paperback
The Essential Turing
In stock
Paperback
Fundamental Concepts in Electrical and Computer Engineering with Practical Design Problems (Second Edition)
In stock
Hardback
Introduction to Computer Methods for Microwave Circuit Analysis and Design
In stock
Hardback
Electro-optical Systems Performance Modeling
In stock
Hardback
Spotlight Synthetic Aperture Radar
In stock
Hardback
Applying Total Quality Management to Systems Engineering
In stock
Hardback
The Discrepancy Method
In stock
Hardback
Communication and Computing for Distributed Multimedia Systems
In stock
Paperback
Two-Level Functional Languages
In stock
Paperback
Qualified Types
In stock
