 | Volume 24:
Domain-Specific Languages of Mathematics
Patrik Jansson, Cezar Ionescu and Jean-Philippe Bernardy, eds
978-1-84890-388-3
View Details  |
|
 | Volume 23:
Computation Counts
An Introduction to Analytic Concepts in Computer Science
Paul E. Dunne
978-1-84890-310-4
View Details |
|
 | Volume 22:
Languages, Machines, and Classical Computation
Second Edition
Luis M. Augusto
978-1-84890-300-5
View Details |
|
|
| Volume 21:
A Mathematical Primer on Computability
Amilcar Sernadas, Cristina Sernadas and Joao Rasga
978-1-84890-296-1
View Details |
|
 | Volume 20:
An Introduction to Ontology Engineering
C. Maria Keet
978-1-84890-295-4
View Details |
|
 | Volume 19:
Computational Logic: Volume 1
Classical Deductive Computing with Classical Logic. Third Edition
Luis M. Augusto
978-1-84890-280-0
View Details |
|
 | Volume 18:
What Is a Computer and What Can it Do?
An Algorithms-Oriented Introduction to the Theory of Computation
Thomas C. O'Connell
978-1-84890-098-1
View Details |
|
 | Volume 17:
Acts of the Programme
Isaac Newton Institute for the Mathematical Sciences, January to July 2012
Arnold Beckmann and Benedikt Loewe, eds
978-1-84890-080-6
View Details |
|
|
| Volume 16:
Implementing Programming Languages
An Introduction to Compilers and Interpreters
Aarne Ranta, with an appendix coauthored by Markus Forsberg
978-1-84890-064-6
View Details |
|
 | Volume 15:
Design and Analysis of Purely Functional Programs
Second Edition
Christian Rinderknecht
978-1-84890-059-2
View Details |
|
 | Volume 14:
Java: Just In Time
Updated and Revised 2018 version now available
John Latham
978-1-84890-025-7
View Details |
|
 | Volume 13:
Picturing Programs
An Introduction to Computer Programming
Stephen Bloch
978-1-84890-015-8
View Details |
|
 | Volume 12:
The Mathematics of the Models of Reference
Francesco Berto, Gabriele Rossi and Jacopo Tagliabue
978-1-84890-011-0
View Details |
|
 | Volume 11:
Invariants
A Generative Approach to Programming
Daniel Zingaro
978-1-9040987-83-3
View Details |
|
 | Volume 10:
Foundations of Logic and Theory of Computation
Second edition
Amilcar Sernadas and Cristina Sernadas
ISBN 978-1-904987-88-8
View Details |
|
 | Volume 9:
Logic for Artificial Intelligence and Information Technology
Dov M. Gabbay
ISBN 978-1-904987-39-0
View Details |
|
 | Volume 8:
A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007
Johan van Benthem, Shier Ju, Frank Veltman (editors)
ISBN 978-1-904987-48-2
View Details |
|
 | Volume 5:
Bridges from Classical to Nonmonotonic Logic
David Makinson
ISBN 1904987001
View Details |
|
 | Volume 4:
The Haskell Road to Logic, Maths and Programming
Second edition
Kees Doets, Jan van Eijck
ISBN 0-9543006-9-6
View Details |
|
 | Volume 3:
Logical Reasoning: a First Course
Rob Nederpelt, Fairouz Kamareddine
ISBN 0-9543006-7-X
View Details |
|
 | Volume 2:
An Introduction to Lambda Calculi for Computer Scientists
Chris Hankin
ISBN 0-9543006-5-3
View Details |
|
 | Volume 1:
Programming Languages and Operational Semantics
Maribel Fernández
ISBN 0-9543006-3-7
View Details |
|
