Reactive Systems: Modelling, Specification and Verification
by Luca Aceto,Anna Ingólfsdóttir,Kim Guldstrand Larsen,Jiri Srba
ISBN 13: 9780521875462
Format: Hardcover (300 pages) Publisher: Cambridge University Press Published: 09 Aug 2007
Save for later
Prolog for Students: Including Artificial Intelligence and Expert Systems (Complete Course Texts)
by D.H. Callear
ISBN 13: 9781858050935
Format: Paperback (208 pages) Publisher: Cengage Learning EMEA Published: 30 Jun 1994
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series)
by Wolfgang Bibel,P.H. Schmitt
ISBN 13: 9780792351290
Format: Illustrated (508 pages) Publisher: Springer Published: 30 Jun 1998 Other Format: Hardcover
Artificial Knowing: Gender and the Thinking Machine
by Alison Adam
ISBN 13: 9780415129633
Format: Paperback (220 pages) Publisher: Routledge Published: 15 Jan 1998
Mobile Entity Localization and Tracking in GPS-less Environnments: Second International Workshop, MELT 2009, Orlando, FL, USA, September 30, 2009, Proceedings: 5801 (Lecture Notes in Computer Science)
by Richard Fuller, Xenofon D. Koutsoukos
ISBN 13: 9783642043789
Format: Paperback (267 pages) Publisher: Springer Published: 11 Sep 2009
Business Information Systems: Analysis, Design and Practice
by Mr Graham Curtis,Dr David Cobham
ISBN 13: 9780273713821
Format: Paperback (720 pages) Publisher: Financial Times/ Prentice Hall Published: 26 Jun 2008 Other Format: Paperback
Not Counting on Computers: Knowledge-based Expert Systems in Chemistry (Rsc Theoretical): Volume 1 (Theoretical and Computational Chemistry Series)
by Phillip Judson
ISBN 13: 9780854041602
Format: Hardcover (211 pages) Publisher: Royal Society of Chemistry Published: 30 Sep 2009
Tuning and Customizing a Linux System (Expert's Voice)
by Dan Morrill
ISBN 13: 9781893115279
Format: Paperback (464 pages) Publisher: APress Published: 01 Aug 2002
Dynamic Business Process Formation for Instant Virtual Enterprises: The CrossWork Project (Advanced Information and Knowledge Processing)
by
ISBN 13: 9781848826908
Format: Hardcover (266 pages) Publisher: Springer Published: 25 May 2010
Neural Networks and the Financial Markets: Predicting, Combining and Portfolio Optimisation (Perspectives in Neural Computing)
by Jimmy Shadbolt
ISBN 13: 9781852335311
Format: Paperback (273 pages) Publisher: Springer Published: 06 Aug 2002
Sustainability Networks: Cognitive Tools for Expert Collaboration in Social-ecological Systems (Routledge Studies in Ecological Economics)
by Janne Hukkinen
ISBN 13: 9780415461603
Format: Hardcover (208 pages) Publisher: Routledge Published: 11 Aug 2008
The End of Lawyers?: Rethinking the nature of legal services
by Richard Susskind OBE
ISBN 13: 9780199593613
Format: Paperback (352 pages) Publisher: OUP Oxford Published: 16 Sep 2010 Other Format: Hardcover