Buy Used and New Architecture & Logic Books

Implementation and Application of Automata: 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings: 5642 (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783642029783

Format: Paperback (263 pages)
Publisher: Springer
Published: 24 Jun 2009

Save for later

Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected ... / Programming and Software Engineering)

by

ISBN 13: 9783642032394

Format: Paperback (233 pages)
Publisher: Springer
Published: 20 Jul 2009

Save for later

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

Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems

by Howard Bowman,Rodolfo Gomez

ISBN 13: 9781852338954

Format: Hardcover (422 pages)
Publisher: Springer
Published: 21 Dec 2005

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)

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)

by

ISBN 13: 9783540754138

Format: Paperback (291 pages)
Publisher: Springer
Published: 14 Dec 2007

Save for later

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)

by

ISBN 13: 9783540786627

Format: Paperback (401 pages)
Publisher: Springer
Published: 18 Mar 2008

Save for later

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)

by

ISBN 13: 9783642104268

Format: Paperback (283 pages)
Publisher: Springer
Published: 06 Nov 2009

Save for later

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)

by

ISBN 13: 9783540787990

Format: Paperback (518 pages)
Publisher: Springer
Published: 18 Mar 2008

Save for later

SDL 2007: Design for Dependable Systems: 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings (Lecture Notes in Computer ... Networks and Telecommunications)

by

ISBN 13: 9783540749837

Format: Paperback (289 pages)
Publisher: Springer
Published: 06 Sep 2007

Save for later

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)

by

ISBN 13: 9783540781943

Format: Paperback (204 pages)
Publisher: Springer
Published: 26 Feb 2008

Save for later

Coordination, Organizations, Institutions, and Norms in Agent Systems II: AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540744573

Format: Paperback (373 pages)
Publisher: Springer
Published: 06 Sep 2007

Save for later