Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings: v. 2623 (Lecture Notes in Computer Science)
by
ISBN 13: 9783540009139
Format: Paperback (558 pages) Publisher: Springer Published: 18 Mar 2003
Save for later
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers (Lecture Notes in Computer Science)
ISBN 13: 9783540430759
Format: Paperback (548 pages) Publisher: Springer Published: 14 Dec 2001 Other Format: Paperback
Algebraic Informatics: Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers (Lecture ... Computer Science and General Issues)
ISBN 13: 9783540754138
Format: Paperback (291 pages) Publisher: Springer Published: 14 Dec 2007
Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540786627
Format: Paperback (401 pages) Publisher: Springer Published: 18 Mar 2008
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings ... Computer Science and General Issues)
ISBN 13: 9783540697350
Format: Paperback (395 pages) Publisher: Springer Published: 03 Jan 2007
Embedded Computer Systems: Architectures, Modeling, and Simulation: 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009, ... Computer Science and General Issues)
ISBN 13: 9783642031373
Format: Paperback (342 pages) Publisher: Springer Published: 13 Jul 2009 Other Format: Paperback
Dependency Structures and Lexicalized Grammars: An Algebraic Approach (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642145674
Format: Paperback (137 pages) Publisher: Springer Published: 30 Jul 2010
Handbook of Applied Algorithms: Solving Scientific, Engineering and Practical Problems
ISBN 13: 9780470044926
Format: Hardcover (560 pages) Publisher: Wiley-Blackwell Published: 28 Mar 2008
Principles of the Spin Model Checker
by Mordechai Ben-Ari
ISBN 13: 9781846287695
Format: Paperback (216 pages) Publisher: Springer Published: 08 Jan 2008
Software Measurement and Estimation: A Practical Approach (Quantitative Software Engineering Series)
by Linda M. Laird,M. Carol Brennan
ISBN 13: 9780471676225
Format: Hardcover (280 pages) Publisher: Wiley-Blackwell Published: 07 Jul 2006
Reliable Computer Systems: Design and Evaluation
by Daniel P. Siewiorek,Robert S. Swarz
ISBN 13: 9781568810928
Format: Hardcover (908 pages) Publisher: A K Peters/CRC Press Published: 15 Dec 1998
Discrete-event Modeling and Simulation (Computational Analysis, Synthesis, and Design of Dynamic Systems)
by Gabriel A. Wainer
ISBN 13: 9781420053364
Format: Hardcover (520 pages) Publisher: CRC Press Published: 30 Apr 2009