College Publications logo   College Publications title  
Homepage Contact page
   
 
Computing
Algorithmics
Philosophy
AiML
Studies in logic
Tributes
Cahiers de Logique et d'Épistémologie
Cuadernos de lógica, epistemología y lenguaje
Communication, Mind and Language
Research in Computational Semantics
Other
Information for authors
About us
 



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





© 2005–2008 College Publications / VFH webmaster