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
Artificial Life: Borrowing from Biology: 4th Australian Conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642104268
Format: Paperback (283 pages) Publisher: Springer Published: 06 Nov 2009
Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European ... Computer Science and General Issues)
ISBN 13: 9783540787990
Format: Paperback (518 pages) Publisher: Springer Published: 18 Mar 2008
SDL 2007: Design for Dependable Systems: 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings (Lecture Notes in Computer ... Networks and Telecommunications)
ISBN 13: 9783540749837
Format: Paperback (289 pages) Publisher: Springer Published: 06 Sep 2007
Object-Oriented Technology. ECOOP 2007 Workshop Reader: ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports (Lecture Notes in ... / Programming and Software Engineering)
ISBN 13: 9783540781943
Format: Paperback (204 pages) Publisher: Springer Published: 26 Feb 2008
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
Communicating Embedded Systems for Computer Science
by Claude Jard,Olivier Roux
ISBN 13: 9781848211438
Format: Hardcover (288 pages) Publisher: Wiley-Blackwell Published: 06 Nov 2009