|
|
|
Computing
Series edited by Ian Mackie
Texts in Computing is a series of books encompassing undergraduate, postgraduate, as well as research level texts. They cover the full spectrum of computing, with particular emphasis on theoretical aspects of the subject as taught at university level. Books are written from class-tested material developed by authors, and they provide students with an affordable first resource towards learning the subject.
 | 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 |
|
 | 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 |
|
|
|
