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)
by
ISBN 13: 9783540430759
Format: Paperback (548 pages) Publisher: Springer Published: 14 Dec 2001 Other Format: Paperback
Save for later
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
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
ISBN 13: 9783540741060
Format: Hardcover (624 pages) Publisher: Springer Published: 07 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
Component-Based Software Testing with UML
by Hans-Gerhard Gross
ISBN 13: 9783540208648
Format: Hardcover (334 pages) Publisher: Springer Published: 14 Sep 2004
Programming Languages: An Active Learning Approach
by Kent D. Lee
ISBN 13: 9780387794211
Format: Hardcover (296 pages) Publisher: Springer Published: 08 Sep 2008
Distributed and Parallel Systems: In Focus: Desktop Grid Computing
ISBN 13: 9780387794471
Format: Hardcover (220 pages) Publisher: Springer Published: 15 Aug 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
Mathematical Problems from Applied Logic II: Logics for the XXIst Century: Logics for the 21st Century: v. 2 (International Mathematical Series)
ISBN 13: 9780387692449
Format: Hardcover (384 pages) Publisher: Springer Published: 29 Mar 2007
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