Achievement and Assurance of Safety: Proceedings Of The Third Safety-Critical Systems Symposium
by Felix Redmill, Tom Anderson
ISBN 13: 9783540199229
Format: Paperback (329 pages) Publisher: Springer Published: 10 Feb 1995
Save for later
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
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
Software by Design: Shaping Technology and the Workplace
by Harold Salzman,Stephen R. Rosenthal
ISBN 13: 9780195083408
Format: Illustrated (364 pages) Publisher: Oxford University Press Published: 01 Jan 1994
Object-Oriented Macromedia Flash MX (Expert's Voice)
by Darin; Jerke, Noel Beard
ISBN 13: 9781590590140
Format: Paperback (482 pages) Publisher: APRESS Published: 01 Jun 2002
BizTalk Server 2002 Design and Implementation (.Net Developer)
by Xin Chen
ISBN 13: 9781590590348
Format: Paperback (679 pages) Publisher: APress Published: 15 Nov 2002
Data Structures and Algorithms (Addison-Wesley Series in Computer Science and Information Pr)
by Alfred Aho
ISBN 13: 9780201000238
Format: Paperback (448 pages) Publisher: Pearson Published: 01 Jan 1982
Writing Windows VxDs and Device Drivers
by Karen Hazzah
ISBN 13: 9780879304386
Format: Paperback (496 pages) Publisher: CMP Published: 12 Jan 1996
The C Programming Language (2nd Edition)
by Dennis Ritchie,Brian Kernighan
ISBN 13: 9780131103627
Format: Paperback (288 pages) Publisher: Pearson Published: 01 Apr 1988
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
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
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