|
|
|
Computing
Series edited by Ian Mackie
Texts in Computing is a series of books encompassing undergraduate, post-graduate, and research-level texts. The books cover the full spectrum of computing, with a particular emphasis on theoretical aspects of the subject as taught at university level. Textbooks are written from class-tested material developed by authors, and provide students with an affordable first resource towards learning the subject. Research-level books address challenging topics and problems in an accessible style.
 | Volume 1:
Programming Languages and Operational Semantics
Maribel Fernández
ISBN 0-9543006-3-7
View Details  |
|
 | Volume 2:
An Introduction to Lambda Calculi for Computer Scientists
Chris Hankin
ISBN 0-9543006-5-3
View Details |
|
 | Volume 3:
Logical Reasoning: a First Course
Rob Nederpelt, Fairouz Kamareddine
ISBN 0-9543006-7-X
View Details |
|
 | Volume 4:
The Haskell Road to Logic, Maths and Programming
Kees Doets, Jan van Eijck
ISBN 0-9543006-9-6
View Details |
|
 | Volume 5:
Bridges from Classical to Nonmonotonic Logic
David Makinson
ISBN 1904987001
View Details |
|
 | Volume 6:
Automata and Dictionaries
F. Guenthner, D. Maurel
ISBN 1-904987-32-X
View Details |
|
 | Volume 7:
Learn Prolog Now!
Patrick Blackburn, Johan Bos, Kristina Streitnitz
ISBN 1-904987-17-6
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 9:
Logic for Artificial Intelligence and Information Technology
Dov M. Gabbay
ISBN 978-1-904987-39-0
View Details |
|
 | Volume 10:
Foundations of Logic and Theory of Computation
Amilcar Sernadas and Cristina Sernadas
ISBN 978-1-904987-88-8
View Details |
|
 | Volume 11:
Invariants
A Generative Approach to Programming
Daniel Zingaro
978-1-9040987-83-3
View Details |
|
|
|
