Automated Deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings: 5663 (Lecture ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783642029585
Format: Paperback (504 pages) Publisher: Springer Published: 10 Jul 2009
Save for later
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, ... / Programming and Software Engineering)
ISBN 13: 9783642031526
Format: Paperback (301 pages) Publisher: Springer Published: 14 Jul 2009
Parallel Computing Technologies: 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009, Proceedings: 5698 ... Computer Science and General Issues)
ISBN 13: 9783642032745
Format: Paperback (476 pages) Publisher: Springer Published: 04 Aug 2009
Algebraic Informatics: 3rd International Conference on Algebraic Informatics, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009 (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783642035630
Format: Paperback (361 pages) Publisher: Springer Published: 28 Aug 2009
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
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
Tools for High Performance Computing: Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart
by Rainer Keller,Valentin Himmler,Bettina Krammer
ISBN 13: 9783540685616
Format: Hardcover (216 pages) Publisher: Springer Published: 24 Jun 2008
Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings: 2386 (Lecture Notes in Computer Science)
by Eerke A. Boiten,Bernhard Möller
ISBN 13: 9783540438571
Format: Paperback (273 pages) Publisher: Springer Published: 13 Jun 2008
Concurrent Programming: 26 (Cambridge Computer Science Texts, Series Number 26)
by C. R. Snow
ISBN 13: 9780521339933
Format: Paperback (252 pages) Publisher: Cambridge University Press Published: 20 Feb 1992
Design and Implementation of Data Mining Tools
by Bhavani Thuraisingham, Latifur Khan, Mamoun Awad, Lei Wang
ISBN 13: 9781420045901
Format: Hardcover (272 pages) Publisher: Auerbach Publications Published: 18 Jun 2009
Analog and VLSI Circuits (Circuits and Filters Handbook, 3rd Edition)
by Wai-Kai Chen
ISBN 13: 9781420058918
Format: Hardcover (702 pages) Publisher: CRC Press Published: 23 Jun 2009
Linear Algebra and Ordinary Differential Equations (The Computer Engineering Handbook, Second Edition)
by Vojin G. Oklobdzija
ISBN 13: 9780849386190
Format: Hardcover (992 pages) Publisher: CRC Press Published: 26 Nov 2007 Other Format: Paperback