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
Save for later
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
Analysis and Synthesis of Fuzzy Control Systems (Automation and Control Engineering Series)
by Gang Feng
ISBN 13: 9781420092646
Format: Hardcover (299 pages) Publisher: CRC Press Published: 10 Mar 2010
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science)
by Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan
ISBN 13: 9783540883869
Format: Paperback (430 pages) Publisher: Springer Published: 06 Oct 2008
Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings: 5797 (Lecture Notes in Computer Science)
by Olivier Bournez,Igor Potapov
ISBN 13: 9783642044199
Format: Paperback (244 pages) Publisher: Springer Published: 07 Sep 2009
Task Models and Diagrams for User Interface Design: 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised ... 5963 (Lecture Notes in Computer Science)
by Peter Wild, Jean Vanderdonckt, David England, Philippe Palanque
ISBN 13: 9783642117961
Format: Paperback (163 pages) Publisher: Springer Published: 18 Feb 2010
Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings (Lecture Notes in Computer Science)
by David Kaeli
ISBN 13: 9783540937982
Format: Paperback (156 pages) Publisher: Springer Published: 13 Feb 2009
Transactions on Computational Science VII: 5890 (Lecture Notes in Computer Science)
by C. J. Kenneth Tan
ISBN 13: 9783642113888
Format: Paperback (184 pages) Publisher: Springer Published: 15 Feb 2010
More than Moore: Creating High Value Micro/Nanoelectronics Systems
by Zhang
ISBN 13: 9780387755922
Format: Hardcover (344 pages) Publisher: Springer Published: 07 Aug 2009
Software Engineering 3: Domains, Requirements, and Software Design: v. 3 (Texts in Theoretical Computer Science. An EATCS Series)
by Dines Bjørner
ISBN 13: 9783540211518
Format: Hardcover (796 pages) Publisher: Springer Published: 09 Mar 2006 Other Format: Hardcover