Buy Used and New Architecture & Logic Books

System Analysis and Modeling: Language Profiles: 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised ... Networks and Telecommunications)

by

ISBN 13: 9783540683711

Format: Paperback (239 pages)
Publisher: Springer
Published: 07 Dec 2006

Save for later

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science)

by Dexter Kozen,Carron Shankland

ISBN 13: 9783540223801

Format: Illustrated (416 pages)
Publisher: Springer
Published: 24 Jun 2004

Save for later

Distributed Applications Engineering: Building New Applications and Managing Legacy Applications with Distributed Technologies (Practitioner Series)

by Indrajit Wijegunaratne

ISBN 13: 9783540762102

Format: Paperback (292 pages)
Publisher: Springer-Verlag
Published: 01 Jan 1998

Save for later

Designing an IAM Framework with Oracle Identity and Access Management Suite (Osborne Oracle Press Series)

by Jeff Scheidel

ISBN 13: 9780071741378

Format: Paperback (368 pages)
Publisher: McGraw-Hill Osborne
Published: 01 Aug 2010

Save for later

Distributed Computing and Internet Technology: 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010, Proceedings ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642116582

Format: Paperback (283 pages)
Publisher: Springer
Published: 08 Feb 2010

Save for later

High Performance Computing and Applications: Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers ... Computer Science and General Issues)

by

ISBN 13: 9783642118418

Format: Paperback (589 pages)
Publisher: Springer
Published: 19 Feb 2010

Save for later

Quantitative Measure for Discrete Event Supervisory Control

by

ISBN 13: 9780387021089

Format: Hardcover (264 pages)
Publisher: Springer
Published: 01 Feb 2005

Save for later

Taxonomies for the Development and Verification of Digital Systems

by

ISBN 13: 9780387240190

Format: Hardcover (180 pages)
Publisher: Springer
Published: 10 May 2005

Save for later

Principles of the Spin Model Checker

by Mordechai Ben-Ari

ISBN 13: 9781846287695

Format: Paperback (216 pages)
Publisher: Springer
Published: 08 Jan 2008

Save for later

Human Machine Interaction: Research Results of the MMI Program: Research Results of the MMJ Program (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642004360

Format: Paperback (311 pages)
Publisher: Springer
Published: 26 Mar 2009

Save for later

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642017476

Format: Paperback (245 pages)
Publisher: Springer
Published: 12 May 2009

Save for later

Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642020162

Format: Paperback (482 pages)
Publisher: Springer
Published: 28 Apr 2009

Save for later