Public-Key Cryptography
Arto Salomaa
Hardback
Not Available
Computable Analysis
Klaus Weihrauch
DNA Computing
Gheorghe Paun and 2 more
A Practical Theory of Reactive Systems
R KurkiSuonio
Paperback
Abstract Computing Machines
Werner Kluge
Software Engineering 1
D Bjørner and 1 more
Parameterized Complexity Theory
J Flum and 1 more
Software Engineering 2
Software Engineering 3. Domains, Requirements, and Software Design
Finite-Model Theory and Its Applications
Moshe Y Vardi and 3 more
Modelling Distributed Systems
Wan Fokkink
Dissemination of Information in Optical Networks
Subir Bandyopadhyay
Temporal Logic and State Systems
Fred Kröger and 1 more
Graphs and Algorithms in Communication Networks
Arie Koster and 1 more
The Parametric Lambda Calculus
S Ronchi Della Rocca and 1 more
Interactive Theorem Proving and Program Development
Yves Bertot and 1 more
The Resolution Calculus
Alexander Leitsch
Structural Complexity I
Jose L Balcazar and 2 more
Finite Model Theory and Its Applications
Erich Grädel and 7 more
Grammatical Picture Generation
Frank Drewes
An Introduction to Online Computation
Dennis Komm
Decision Procedures
Daniel Kroening and 1 more
Models of Computation
Roberto Bruni and 1 more
Simulation Algorithms for Computational Systems Biology
Luca Marchetti and 2 more
In Stock
£41.39 £45.99
We use cookies to give you the best online experience. Please let us know if you agree to all of these cookies. To learn more view privacy and cookies policy.
