Beauty Is Our Business : A Birthday Salute to Edsger W. Dijkstra
W.H.J. Feijen
Download - Immediately Available
Format: eBook (PDF)
Probabilistic Analysis of Algorithms : On Computing Methodologies for Computer Algorithms Performance Evaluation
Micha Hofri
Download - Immediately Available
Format: eBook (PDF)
Algebraic Approaches to Program Semantics
Ernest G. Manes
Download - Immediately Available
Format: eBook (PDF)
Adaptive Signal Processing : Theory and Applications
Thomas S. Alexander
Download - Immediately Available
Format: eBook (PDF)
Error-Free Polynomial Matrix Computations
E.V. Krishnamurthy
Download - Immediately Available
Format: eBook (PDF)
Methods and Applications of Error-Free Computation
R. T. Gregory
Download - Immediately Available
Format: eBook (PDF)
Selected Writings on Computing: A personal Perspective
Edsger W. Dijkstra
Download - Immediately Available
Format: eBook (PDF)
A Programming Approach to Computability
A.J. Kfoury
Download - Immediately Available
Format: eBook (PDF)
Automata-Theoretic Aspects of Formal Power Series
Arto Salomaa
Download - Immediately Available
Format: eBook (PDF)
The Design of Well-Structured and Correct Programs
Suad Alagic
Download - Immediately Available
Format: eBook (PDF)
Programming Methodology : A Collection of Articles by Members of IFIP WG2.3
David Gries
Download - Immediately Available
Format: eBook (PDF)
A Practical Theory of Programming
Eric C.R. Hehner
Item not Available
Format: Book (Paperback / softback)
£76.50
£63.09
Item not Available
Book (Paperback / softback)
£139.99
£120.55
Item not Available
Book (Paperback / softback)
Active Rules in Database Systems
Norman W. Paton
Item not Available
Format: Book (Paperback / softback)
£89.99
£73.75
Item not Available
Book (Paperback / softback)
£89.99
£73.75
Item not Available
Book (Paperback / softback)
Expert Systems and Probabilistic Network Models
Enrique Castillo
Item not Available
Format: Book (Paperback / softback)
£105.50
£91.79
Item not Available
Book (Paperback / softback)
ML with Concurrency : Design, Analysis, Implementation, and Application
Flemming Nielson
Item not Available
Format: Book (Paperback / softback)
£89.99
£73.75
Item not Available
Book (Paperback / softback)
Larch: Languages and Tools for Formal Specification
John V. Guttag
Item not Available
Format: Book (Paperback / softback)
£89.99
£73.75
Item not Available
Book (Paperback / softback)