Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by Leslie Lamport
ISBN 13: 9780321143068
Format: Paperback (384 pages) Publisher: Addison Wesley Published: 19 Jul 2002
Save for later
Rough Sets, Fuzzy Sets, Data Mining and Granular Computing: 12th International Conference, RSFDGrC 2009, Delhi, India, December 16-18, 2009, ... / Lecture Notes in Artificial Intelligence)
by Hiroshi Sakai, Mihir Chakraborty, Aboul-Ella Hassanien, Dominik Slezak, William Zhu
ISBN 13: 9783642106453
Format: Paperback (528 pages) Publisher: Springer Published: 30 Nov 2009
HCI and Usability for e-Inclusion: 5th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer ... 5889 (Lecture Notes in Computer Science)
by Andreas Holzinger, Klaus Miesenberger
ISBN 13: 9783642103070
Format: Illustrated (576 pages) Publisher: Springer Published: 26 Oct 2009
Knowledge Representation for Health-Care Data, Processes and Guidelines: AIME 2009 Workshop KR4HC 2009, Verona, Italy, July 19, 2009, Revised Selected ... 5943 (Lecture Notes in Computer Science)
by David Riano
ISBN 13: 9783642118074
Format: Illustrated (208 pages) Publisher: Springer Published: 23 Feb 2010
Research and Development in Intelligent Systems Xviii: Proceedings of ES2001, the Twenty-first SGES International Conference on Knowledge Based ... December 2001 (BCS Conference Series)
by Frans Coenen, Max Bramer, Alun Preece
ISBN 13: 9781852335359
Format: Paperback (325 pages) Publisher: Springer Published: 28 Nov 2001
Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp
by Peter Norvig
ISBN 13: 9781558601918
Format: Paperback (976 pages) Publisher: Morgan Kaufmann Published: 04 Dec 1991
Neural Information Processing: 16th International Conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings, Part II (Lecture Notes ... Computer Science and General Issues)
by Chi-Sing Leung, Minho Lee, Jonathan H. Chan
ISBN 13: 9783642106828
Format: Paperback (888 pages) Publisher: Springer Published: 24 Nov 2009
"The Computer, the Writer and the Learner"
by Noel Williams
ISBN 13: 9783540195726
Format: Perfect Paperback (248 pages) Publisher: Springer Published: 04 Oct 2013
Entertainment Computing - ICEC 2008: 7th International Conference, Pittsburgh, PA, USA, September 25-27, 2008, Proceedings: 5309 (Lecture Notes in Computer Science)
by Scott M. Stevens
ISBN 13: 9783540892212
Format: Paperback (256 pages) Publisher: Springer Published: 24 Nov 2008
Learning and Intelligent Optimization: Second International Conference, LION 2007 II Trento, Italy, December 8-12, 2007 Selected Papers (Lecture Notes in Computer Science)
by Vittorio Maniezzo, Roberto Battiti, Jean-Paul Watson
ISBN 13: 9783540926948
Format: Paperback (243 pages) Publisher: Springer Published: 18 Dec 2008
Co-ordination in Artificial Agent Societies: Social Structures and Its Implications for Autonomous Problem-Solving Agents: 1535 (Lecture Notes in Computer Science)
by Sascha Ossowski
ISBN 13: 9783540654957
Format: Paperback (221 pages) Publisher: Springer Published: 18 Dec 1998
Adaptive and Natural Computing Algorithms: 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers: 5495 (Lecture Notes in Computer Science)
by Mikko Kolehmainen,Pekka Toivanen,Bartlomiej Beliczynski
ISBN 13: 9783642049200
Format: Illustrated (648 pages) Publisher: Springer Berlin Heidelberg Published: 15 Oct 2009