Neural-Symbolic Cognitive Reasoning (Cognitive Technologies)
by Artur S. D'Avila Garcez,Luís C. Lamb,Dov M. Gabbay
ISBN 13: 9783540732457
Format: Hardcover (212 pages) Publisher: Springer Published: 22 Oct 2008
Save for later
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
by Fred Kröger,Stephan Merz
ISBN 13: 9783540674016
Format: Hardcover (448 pages) Publisher: Springer Published: 27 Mar 2008
Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings (Lecture ... Computer Science and General Issues)
by
ISBN 13: 9783540852377
Format: Paperback (626 pages) Publisher: Springer Published: 12 Aug 2008
High Assurance Services Computing
ISBN 13: 9780387876573
Format: Hardcover (326 pages) Publisher: Springer Published: 12 Jun 2009
Architectural Optimizations in Multi-Core Processors: Improving Thread-Based Synchronization and Communications
by Sevin Fide
ISBN 13: 9783639101577
Format: Paperback (144 pages) Publisher: VDM Verlag Dr. Muller Aktiengesellschaft & Co. KG Published: 18 Nov 2008
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540899815
Format: Paperback (844 pages) Publisher: Springer Published: 02 Dec 2008
GPU Computing Gems Emerald Edition (Applications of GPU Computing Series)
ISBN 13: 9780123849885
Format: Hardcover (886 pages) Publisher: Morgan Kaufmann Published: 21 Mar 2011
Logic and Complexity (Discrete Mathematics & Theoretical Computer Science): Discrete Mathematics and Theoretical Computer Science
by Richard Lassaigne,Michel de Rougemont
ISBN 13: 9781852335656
Format: Illustrated (376 pages) Publisher: Springer Published: 20 Jan 2004
Mathematical Foundations of Computer Science 2009: 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009, ... 5734 (Lecture Notes in Computer Science)
by Rastislav Kralovic,Damian Niwinski
ISBN 13: 9783642038150
Format: Illustrated (780 pages) Publisher: Springer Published: 06 Aug 2009
Practical SGML
by Eric van Herwijnen
ISBN 13: 9780792394341
Format: Illustrated (312 pages) Publisher: Springer Published: 30 Apr 1994
Handbook of Technology in Financial Services 1999
by Jessica Keyes
ISBN 13: 9780849399817
Format: Hardcover (752 pages) Publisher: Auerbach Publications Published: 18 Dec 1998
PC Mod Projects: Cool It! Light It! Morph It! (One-off)
by Edward Chen,Carl Mixon,Grace Punska,Philip Mansfield
ISBN 13: 9780072230116
Format: Illustrated (304 pages) Publisher: McGraw-Hill/OsborneMedia Published: 13 Aug 2003