Computational Logic and Set Theory: Applying Formalized Logic to Analysis
by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
ISBN 13: 9780857298072
Format: Hardcover (433 pages) Publisher: Springer Published: 16 Jul 2011
Save for later
Artificial Intelligence Applications and Innovations: 12th International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, AIAI ... in Information and Communication Technology)
by
ISBN 13: 9783642239595
Format: Hardcover (517 pages) Publisher: Springer Published: 08 Sep 2011
Computational Logic in Multi-Agent Systems: 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642223587
Format: Paperback (398 pages) Publisher: Springer Published: 06 Jul 2011
Advances in Swarm Intelligence, Part II: Second International Conference, ICSI 2011, Chongqing, China, June 12-15, 2011, Proceedings, Part II (Lecture ... Computer Science and General Issues)
ISBN 13: 9783642215230
Format: Paperback (613 pages) Publisher: Springer Published: 26 May 2011
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... / Programming and Software Engineering)
ISBN 13: 9783642195822
Format: Paperback (207 pages) Publisher: Springer Published: 17 Mar 2011
Algorithm-Architecture Matching for Signal and Image Processing: Best papers from Design and Architectures for Signal and Image Processing 2007 & 2008 & 2009 (Lecture Notes in Electrical Engineering)
ISBN 13: 9789048199648
Format: Hardcover (307 pages) Publisher: Springer Published: 28 Oct 2010
Probability, Statistics, and Random Processes for Engineers
by Henry Stark, John Woods
ISBN 13: 9780132311236
Format: Hardcover (704 pages) Publisher: Prentice Hall Published: 10 Aug 2011
Euro-Par 2011 Parallel Processing: 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II ... Computer Science and General Issues)
ISBN 13: 9783642233968
Format: Paperback (488 pages) Publisher: Springer Published: 12 Aug 2011 Other Format: Paperback
Transactions on High-Performance Embedded Architectures and Compilers II (Lecture Notes in Computer Science / Transactions on High-Performance Embedded Architectures and Compilers)
ISBN 13: 9783642009037
Format: Paperback (327 pages) Publisher: Springer Published: 22 Apr 2009
Switchmode Power Supply Handbook 3/E
by Keith Billings,Taylor Morey
ISBN 13: 9780071639712
Format: Hardcover (832 pages) Publisher: McGraw-Hill Professional Published: 01 Oct 2010
Oracle SOA Suite 11g Handbook (Osborne Oracle Press Series)
by Lucas Jellema
ISBN 13: 9780071608978
Format: Paperback (800 pages) Publisher: McGraw-Hill Osborne Published: 01 Oct 2010
High-Level Synthesis: from Algorithm to Digital Circuit
ISBN 13: 9781402085871
Format: Hardcover (300 pages) Publisher: Springer Published: 26 Aug 2008