Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions
Yves Bertot
Download - Immediately Available
Format: eBook (PDF)
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Markus Roggenbach
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£49.99
£40.39
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to Basket
Universal Artificial Intelligence : Sequential Decisions Based on Algorithmic Probability
Marcus Hutter
Out of stock
Format: Book (Hardback)
Design and Analysis of Randomized Algorithms : Introduction to Design Paradigms
J. Hromkovic
Out of stock
Format: Book (Hardback)
Decision Procedures : An Algorithmic Point of View
Daniel Kroening
Out of stock
Format: Book (Hardback)
Grammatical Picture Generation : A Tree-Based Approach
Frank Drewes
Item not Available
Format: Book (Paperback / softback)
£72.00
£59.55
Item not Available
Book (Paperback / softback)
Finite Model Theory and Its Applications
Erich Gradel
Item not Available
Format: Book (Paperback / softback)
£67.99
£56.35
Item not Available
Book (Paperback / softback)
Computable Analysis : An Introduction
Klaus Weihrauch
Download - Immediately Available
Format: eBook (PDF)
Parsing Schemata : A Framework for Specification and Analysis of Parsing Algorithms
Klaas Sikkel
Download - Immediately Available
Format: eBook (PDF)
£64.99
£53.95
Item not Available
Book (Paperback / softback)
An Introduction to Online Computation : Determinism, Randomization, Advice
Dennis Komm
Item not Available
Format: Book (Paperback / softback)
£69.99
£69.89
Item not Available
Book (Paperback / softback)
Simulation Algorithms for Computational Systems Biology
Luca Marchetti
Item not Available
Format: Book (Paperback / softback)
£45.99
£38.35
Item not Available
Book (Paperback / softback)
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Markus Roggenbach
Out of stock
Format: Book (Hardback)
Models of Massive Parallelism : Analysis of Cellular Automata and Neural Networks
Max Garzon
Download - Immediately Available
Format: eBook (PDF)
£54.99
£46.05
Item not Available
Book (Paperback / softback)
Graphs and Algorithms in Communication Networks : Studies in Broadband, Optical, Wireless and Ad Hoc Networks
Arie Koster
Item not Available
Format: Book (Hardback)
£139.99
£120.95
Item not Available
Book (Hardback)
Graphs and Algorithms in Communication Networks : Studies in Broadband, Optical, Wireless and Ad Hoc Networks
Arie Koster
Download - Immediately Available
Format: eBook (PDF)
The Parametric Lambda Calculus : A Metamodel for Computation
Simona Ronchi Della Rocca
Item not Available
Format: Book (Paperback / softback)
£72.00
£58.65
Item not Available
Book (Paperback / softback)
Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions
Yves Bertot
Item not Available
Format: Book (Paperback / softback)
£64.99
£53.95
Item not Available
Book (Paperback / softback)
Abstract Computing Machines : A Lambda Calculus Perspective
Werner Kluge
Item not Available
Format: Book (Paperback / softback)
£72.00
£59.55
Item not Available
Book (Paperback / softback)
