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
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
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
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
Accelerated SQL Server 2008 (Expert's Voice)
by Rob Walters,Michael Coles,Fabio Claudio Ferracchiati,Robert Rae,Donald Farmer
ISBN 13: 9781590599693
Format: Illustrated (816 pages) Publisher: Apress Published: 02 Jun 2010
Code-Centric: T-SQL Programming with Stored Procedures and Triggers
by Garth Wells
ISBN 13: 9781893115835
Format: Paperback (692 pages) Publisher: APress Published: 01 Feb 2001
The Definitive Guide to GCC (Definitive Guides (Paperback))
by William von Hagen
ISBN 13: 9781590595855
Format: Illustrated (584 pages) Publisher: APRESS Published: 22 Aug 2006
Term Rewriting & All That
by Franz Baader
ISBN 13: 9780521779203
Format: Paperback (316 pages) Publisher: Cambridge University Press Published: 05 Aug 1999
Eclipse Rich Ajax Platform: Bringing Rich Client into the Web: Bringing Rich Client to the Web (FirstPress)
by Fabian Lange
ISBN 13: 9781430218838
Format: Paperback (148 pages) Publisher: firstPress Published: 19 Jan 2009
Pro SpringSource dm Server (Expert's Voice in Open Source)
by Gary Mak,Daniel Rubio
ISBN 13: 9781430216407
Format: Illustrated (290 pages) Publisher: Apress Published: 15 Sep 2009
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
Programming in Fortran 90: A First Course for Engineers and Scientists: A First Course for Engineers and Scientists
by I. M. Smith
ISBN 13: 9780471941859
Format: Illustrated (220 pages) Publisher: Wiley Published: 26 Apr 1995