Public-Key Cryptography
Arto Salomaa
Hardback
Not Available
A Practical Theory of Reactive Systems
R KurkiSuonio
Paperback
Abstract Computing Machines
Werner Kluge and 1 more
Werner Kluge
Parameterized Complexity Theory
J Flum and 1 more
Modelling Distributed Systems
Wan Fokkink
Dissemination of Information in Optical Networks
Subir Bandyopadhyay and 1 more
Subir Bandyopadhyay
Temporal Logic and State Systems
Fred Kröger and 1 more
Graphs and Algorithms in Communication Networks
Arie M C A Koster
Arie Koster 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
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
Join our community for the latest bookish news, reading recommendations, exclusive opening extracts, author events and competitions. It\'s all free. And enter a monthly draw to win a £50 Gift Card. See past winners here
