Buy Used and New Architecture & Logic Books

Correct Systems: Building a Business Process Solution (Applied Computing)

by Mike Holcombe, Florentin Ipate

ISBN 13: 9783540762461

Format: Paperback (206 pages)
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: Sep 1998

Save for later

Design Cost-efficient Interconnect Processing Units (System-on-chip Design and Technologies): The Spidergon STNoC

by Marcello Coppola, Miltos D. Grammatikakis, Riccardo Locatelli, Giuseppe Maruccia, Lorenzo Pieralisi

ISBN 13: 9781420044713

Format: Hardcover (288 pages)
Publisher: CRC Press
Published: 17 Sep 2008

Save for later

Applications and Theory of Petri Nets: 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540687450

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

Save for later

Approaches and Applications of Inductive Programming: Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers (Lecture Notes in Computer Science)

by

ISBN 13: 9783642119309

Format: Paperback (204 pages)
Publisher: Springer
Published: 14 Apr 2010

Save for later

The Semantic Web - ISWC 2006: 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings (Lecture Notes in ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783540490296

Format: Paperback (1025 pages)
Publisher: Springer
Published: 26 Oct 2006

Save for later

Cooperative Bug Isolation: Winning Thesis of the 2005 ACM Doctoral Dissertation Competition (Lecture Notes in Computer Science / Programming and Software Engineering)

by Ben Liblit

ISBN 13: 9783540718772

Format: Paperback (101 pages)
Publisher: Springer
Published: 25 Apr 2007

Save for later

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments: 12th International Conference, HCI International 2007, Beijing, ... / Programming and Software Engineering)

by

ISBN 13: 9783540731085

Format: Paperback (1038 pages)
Publisher: Springer
Published: 29 Jun 2007

Save for later

Rough Sets and Knowledge Technology: Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540797203

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

Save for later

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642162640

Format: Paperback (347 pages)
Publisher: Springer
Published: 06 Oct 2010

Save for later

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... / Programming and Software Engineering)

by

ISBN 13: 9783540343042

Format: Paperback (250 pages)
Publisher: Springer
Published: 15 May 2006

Save for later

Embedded Software and Systems: Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540726845

Format: Paperback (829 pages)
Publisher: Springer
Published: 08 May 2007

Save for later

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