Handbook of Practical Logic and Automated Reasoning
by John Harrison
ISBN 13: 9780521899574
Format: Hardcover (702 pages) Publisher: Cambridge University Press Published: 12 Mar 2009
Save for later
Languages and Compilers for Parallel Computing: 21st International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected ... Papers (Lecture Notes in Computer Science)
by Jose Nelson Amaral
ISBN 13: 9783540897392
Format: Paperback (368 pages) Publisher: Springer Published: 12 Dec 2008
Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 2009, Proceedings: International ... (Lecture Notes in Computer Science)
by Sergei Artemov, Anil Nerode
ISBN 13: 9783540926863
Format: Paperback (469 pages) Publisher: Springer Published: 18 Dec 2008
The Mind's New Science: A History of the Cognitive Revolution
by Howard E. Gardner
ISBN 13: 9780465046355
Format: Paperback (448 pages) Publisher: Basic Books Published: 01 Jun 1987
Intelligent Environments: Methods, Algorithms and Applications (Advanced Information and Knowledge Processing)
by Yoshinori Kuno, Dorothy Monekosso, Paolo Remagnino
ISBN 13: 9781848003453
Format: Hardcover (211 pages) Publisher: Springer Published: 30 Oct 2008
Unified Theories of Cognition: 7 (The William James Lectures)
by Allen Newell
ISBN 13: 9780674921016
Format: Paperback (570 pages) Publisher: Harvard University Press Published: 01 Jan 1994
Term Rewriting & All That
by Franz Baader
ISBN 13: 9780521779203
Format: Paperback (316 pages) Publisher: Cambridge University Press Published: 05 Aug 1999
Optimal Design and Related Areas in Optimization and Statistics (Springer Optimization and Its Applications): 28
by Luc Pronzato,Anatoly Zhigljavsky
ISBN 13: 9780387799353
Format: Illustrated (244 pages) Publisher: Springer Published: 17 Dec 2008
Algorithmic Algebra (Monographs in Computer Science)
by Bhubaneswar Mishra
ISBN 13: 9780387940908
Format: Illustrated (436 pages) Publisher: Springer Published: 29 Sep 1993
New Frontiers in Applied Artificial Intelligence (Lecture Notes in Computer Science): 21st International Conference on Industrial, Engineering and ... Poland, June 18-20, 2008, Proceedings: 5027
by Leszek Borzemski,Adam Grzech,Moonis Ali
ISBN 13: 9783540690450
Format: Paperback (904 pages) Publisher: Springer Published: 03 Jun 2008
Structural Knowledge: Techniques for Representing, Conveying, and Acquiring Structural Knowledge (Research, Special Publication; 30)
by David H. Jonassen,Katherine Beissner,Michael Yacci
ISBN 13: 9780805813609
Format: Paperback (276 pages) Publisher: Routledge Published: 15 Mar 1993
Optimization and Control of Bilinear Systems: Theory, Algorithms, and Applications (Springer Optimization and Its Applications): 11
by Panos M. Pardalos,Vitaliy A. Yatsenko
ISBN 13: 9780387736686
Format: Illustrated (398 pages) Publisher: Springer Published: 24 Nov 2008