Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science)
by Dexter Kozen,Carron Shankland
ISBN 13: 9783540223801
Format: Illustrated (416 pages) Publisher: Springer Published: 24 Jun 2004
Save for later
Advances in Artificial Intelligence - IBERAMIA 2008: 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings: 5290 (Lecture Notes in Computer Science)
by Hector Geffner,Rui Prada,Isabel Machado Alexandre,Nuno David
ISBN 13: 9783540883081
Format: Paperback (480 pages) Publisher: Springer Published: 29 Sep 2008
The Road to the Unified Software Development Process: 18 (SIGS Reference Library, Series Number 18)
by Ivar Jacobson
ISBN 13: 9780521787741
Format: Paperback (378 pages) Publisher: Cambridge University Press Published: 14 Sep 2000
LISP Lore: A Guide to Programming the LISP Machine
by H. Bromley, Richard Lamson
ISBN 13: 9780898382280
Format: Hardcover (368 pages) Publisher: Springer Published: 30 Jun 1987
Accelerated VB 2005 (Expert's Voice in .NET)
by Trey Nash
ISBN 13: 9781590598016
Format: Illustrated (440 pages) Publisher: Apress Published: 23 Mar 2007
Distributed .NET Programming in VB .NET (.Net Developer)
by Tom Barnaby
ISBN 13: 9781590590683
Format: Illustrated (532 pages) Publisher: Apress Published: 01 Oct 2002
Holonic Execution: A BDI Approach: 106 (Studies in Computational Intelligence)
by Jacqueline Jarvis,Dennis Jarvis,Ralph Rönnquist
ISBN 13: 9783540774785
Format: Hardcover (108 pages) Publisher: Springer Published: 30 May 2008
Probabilistic Networks and Expert Systems: Exact Computational Methods for Bayesian Networks (Information Science and Statistics)
by Robert G. Cowell
ISBN 13: 9780387718231
Format: Illustrated (336 pages) Publisher: Springer Published: 28 Aug 2007
Techniques of PROLOG Programming: With Implementation of Logical Negation and Quantified Goals
by T. Van Le
ISBN 13: 9780471571759
Format: Paperback (624 pages) Publisher: John Wiley & Sons Published: 04 Feb 1993
Writing Windows VxDs and Device Drivers
by Karen Hazzah
ISBN 13: 9780879304386
Format: Paperback (496 pages) Publisher: CMP Published: 12 Jan 1996
Theory and Applications of Models of Computation: 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings (Lecture . . ... 4484 (Lecture Notes in Computer Science)
by Jin-Yi Cai
ISBN 13: 9783540725039
Format: Illustrated (792 pages) Publisher: Springer Published: 09 May 2007
Computing for Scientists: Principles of Programming with Fortran 90 and C++: 34 (Manchester Physics Series)
by R. J. Barlow
ISBN 13: 9780471955962
Format: Paperback (296 pages) Publisher: WILEY Published: 25 Jun 1998