AiML Algorithmics Cadernos de Lógica e Computação Cadernos de Lógica e Filosofia Cahiers de Logique et d'Epistemologie Communication, Mind and Language Computing Cuadernos de logica, epistemologia y lenguaje Dialogues and the Games of Logic Filosofia contemporânea e história da filosofia IfColog series in Computational Logic Neural Computing and Artificial Intelligence Philosophy Research in Computational Semantics Studies in Logic Studies in Talmudic Logic Systems Thinking and Systems Engineering Texts in Mathematics Tributes Other Information for authors About us   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 Second edition 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 Streignitz 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 Second edition 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 Volume 12: The Mathematics of the Models of Reference Francesco Berto, Gabriele Rossi and Jacopo Tagliabue 978-1-84890-011-0 View Details Volume 13: Picturing Programs An Introduction to Computer Programming Stephen Bloch 978-1-84890-015-8 View Details Volume 14: Java: Just In Time John Latham 978-1-84890-025-7 View Details Volume 15: Design and Analysis of Purely Functional Programs Second Edition Christian Rinderknecht 978-1-84890-059-2 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

© 2005–2013 College Publications / VFH webmaster