Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783540755586
Format: Paperback (562 pages) Publisher: Springer Published: 08 Oct 2007
Save for later
Automata, Logics, and Infinite Games: A Guide to Current Research (Lecture Notes in Computer Science)
ISBN 13: 9783540003885
Format: Paperback (396 pages) Publisher: Springer Published: 13 Dec 2002
An Introduction to the Analysis of Algorithms
by SOLTYS MICHAEL
ISBN 13: 9789814271400
Format: Illustrated (150 pages) Publisher: World Scientific Publishing Company Published: 14 Dec 2009
Design Cost-efficient Interconnect Processing Units (System-on-chip Design and Technologies): The Spidergon STNoC
by Marcello Coppola, Miltos D. Grammatikakis, Riccardo Locatelli, Giuseppe Maruccia, Lorenzo Pieralisi
ISBN 13: 9781420044713
Format: Hardcover (288 pages) Publisher: CRC Press Published: 17 Sep 2008
Correct Systems: Building a Business Process Solution (Applied Computing)
by Mike Holcombe, Florentin Ipate
ISBN 13: 9783540762461
Format: Paperback (206 pages) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: Sep 1998
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
Principles of Programming Languages (Undergraduate Topics in Computer Science)
by Gilles Dowek
ISBN 13: 9781848820319
Format: Illustrated (171 pages) Publisher: Springer Published: 13 Mar 2009
Manufacturing Execution Systems (MES): Optimal Design, Planning, and Deployment
by Heiko Meyer,Franz Fuchs,Klaus Thiel
ISBN 13: 9780071623834
Format: Illustrated (274 pages) Publisher: McGraw-Hill Education Published: 01 Apr 2009
Models of Network Reliability
by Ilya B. Gertsbakh, Yoseph Shpungin
ISBN 13: 9781439817414
Format: Hardcover (217 pages) Publisher: CRC Press Published: 22 Dec 2009
Computer Arithmetic and Verilog HDL Fundamentals
by Joseph Cavanagh
ISBN 13: 9781439811245
Format: Hardcover (971 pages) Publisher: CRC Press Published: 30 Nov 2009
A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems
by David Powell
ISBN 13: 9780792372950
Format: Hardcover (260 pages) Publisher: Springer Published: 31 Jan 2001
Data Flow Analysis: Theory and Practice
by Uday Khedker,Amitabha Sanyal,Bageshri Sathe
ISBN 13: 9780849328800
Format: Illustrated (395 pages) Publisher: CRC Press Published: 31 Mar 2009