Buy Used and New Architecture & Logic Books

Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, ... Computer Science and General Issues)

by

ISBN 13: 9783540749141

Format: Paperback (600 pages)
Publisher: Springer
Published: 30 Aug 2007

Save for later

Requirements Engineering: Foundation for Software Quality: 14th International Working Conference, REFSQ 2008 Montpellier, France, june 16-17, 2008, ... / Programming and Software Engineering)

by

ISBN 13: 9783540690603

Format: Paperback (205 pages)
Publisher: Springer
Published: 30 May 2008
Other Format: Paperback

Save for later

B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture ... / Programming and Software Engineering)

by

ISBN 13: 9783540687603

Format: Paperback (306 pages)
Publisher: Springer
Published: 14 Dec 2006

Save for later

Formal Methods and Stochastic Models for Performance Evaluation: Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, ... / Programming and Software Engineering)

by

ISBN 13: 9783540752103

Format: Paperback (301 pages)
Publisher: Springer
Published: 17 Sep 2007

Save for later

Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540773948

Format: Paperback (215 pages)
Publisher: Springer
Published: 12 Dec 2007

Save for later

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

Save for later

Distributed and Parallel Systems: From Cluster to Grid Computing

by

ISBN 13: 9780387698571

Format: Hardcover (235 pages)
Publisher: Springer
Published: 23 May 2007

Save for later

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)

by

ISBN 13: 9783540711551

Format: Paperback (317 pages)
Publisher: Springer
Published: 28 Feb 2007

Save for later

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)

by

ISBN 13: 9783540749639

Format: Paperback (248 pages)
Publisher: Springer
Published: 28 Aug 2007

Save for later

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)

by

ISBN 13: 9783540776833

Format: Paperback (397 pages)
Publisher: Springer
Published: 29 Jan 2008

Save for later

Bioinformatics Research and Applications: Fourth International Symposium, ISBRA 2008, Atlanta, GA, USA, May 6-9, 2008, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Bioinformatics)

by

ISBN 13: 9783540794493

Format: Paperback (510 pages)
Publisher: Springer
Published: 25 Apr 2008

Save for later

Coordination Models and Languages: 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings (Lecture Notes in ... / Programming and Software Engineering)

by

ISBN 13: 9783540682646

Format: Paperback (347 pages)
Publisher: Springer
Published: 27 May 2008

Save for later