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
Save for later
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
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
Three-dimensional Integrated Circuit Design (Systems on Silicon)
by Vasilis F. Pavlidis
ISBN 13: 9780123743435
Format: Illustrated (326 pages) Publisher: Morgan Kaufmann Published: 06 Nov 2008
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
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
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 ... (Lecture Notes in Computer Science)
by
ISBN 13: 9783540671022
Format: Paperback (540 pages) Publisher: Springer Published: 26 Jan 2000 Other Format: Paperback
Distributed and Parallel Systems: From Cluster to Grid Computing
ISBN 13: 9780387698571
Format: Hardcover (235 pages) Publisher: Springer Published: 23 May 2007
Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers ... / Programming and Software Engineering)
ISBN 13: 9783540711551
Format: Paperback (317 pages) Publisher: Springer Published: 28 Feb 2007
Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540749639
Format: Paperback (248 pages) Publisher: Springer Published: 28 Aug 2007
Foundations of Information and Knowledge Systems: 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings (Lecture ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540776833
Format: Paperback (397 pages) Publisher: Springer Published: 29 Jan 2008