A Unifying Framework for Structured Analysis and Design Models : An Approach Using Initial Algebra Semantics and Category Theory
T. H. (The University of Hong Kong) Tse
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£29.99
£27.11
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketKnowledge Representation, Reasoning and Declarative Problem Solving
Chitta (Arizona State University) Baral
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£38.99
£34.07
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketComputer Mathematics
D. J. Cooke
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£32.99
£29.47
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketAn Introduction to Computational Combinatorics
E. S. Page
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£36.99
£32.53
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketThe Influence of Computers and Informatics on Mathematics and its Teaching : Proceedings From a Symposium Held in Strasbourg, France in March 1985 and Sponsored by the International Commission on Math
R. F. Churchhouse
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£27.99
£25.57
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketLogic and Computation : Interactive Proof with Cambridge LCF
Lawrence C. (University of Cambridge) Paulson
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£29.99
£27.11
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketComplexity: Knots, Colourings and Countings
Dominic (University of Oxford) Welsh
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£24.99
£23.27
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketProtecting Information : From Classical Error Correction to Quantum Cryptography
Susan (Williams College, Massachusetts) Loepp
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£36.99
£32.24
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketFoundations of Computational Mathematics, Minneapolis 2002
Felipe (City University of Hong Kong) Cucker
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£26.99
£24.81
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketQualified Types : Theory and Practice
Mark P. (University of Nottingham) Jones
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£36.99
£32.53
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketLogic Programming : Operational Semantics and Proof Theory
James H. (Simon Fraser University, British Columbia) Andrews
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£36.99
£32.53
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketA Compositional Approach to Performance Modelling
Jane (University of Edinburgh) Hillston
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£38.99
£34.07
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketNeural Codes and Distributed Representations : Foundations of Neural Computation
Laurence Abbott
Unavailable
Format: Book (Paperback)
£34.95
£23.99
Unavailable
Book (Paperback)
Semantics of Programming Languages : Structures and Techniques
Carl A. Gunter
Unavailable
Format: Book (Paperback)
£37.95
£33.08
Unavailable
Book (Paperback)
Trustworthy Cyber-Physical Systems : A Systematic Framework towards Design and Evaluation of Trust and Trustworthiness
Nazila Gol Mohammadi
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.84
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketInformation is Energy : Definition of a physically based concept of information
Lienhard Pagel
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£39.99
£30.12
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketAlgorithmics of Large and Complex Networks : Design, Analysis, and Simulation
Jurgen Lerner
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£34.05
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketLogic for Learning : Learning Comprehensible Theories from Structured Data
John W. Lloyd
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.54
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketHistory of Computing: Software Issues : International Conference on the History of Computing, ICHC 2000 April 5-7, 2000 Heinz Nixdorf MuseumsForum Paderborn, Germany
Ulf Hashagen
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.84
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketCommunication Complexity and Parallel Computing
Juraj Hromkovic
Unavailable
Format: Book (Paperback)
£40.99
£28.42
Unavailable
Book (Paperback)
Asymptotic Methods for the Fokker-Planck Equation and the Exit Problem in Applications
Johan Grasman
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.54
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketPrinciples of Program Analysis
Flemming Nielson
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.84
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketEssentials of Constraint Programming
Thom Fruhwirth
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.54
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketRigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday
Jean-Raymond Abrial
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.54
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket