Buy Used and New Architecture & Logic Books

Specification of Software Systems (Texts in Computer Science)

by V.S. Alagar,K. Periyasamy

ISBN 13: 9780857292766

Format: Hardcover (669 pages)
Publisher: Springer
Published: 28 Mar 2011

Save for later

Mining Software Specifications: Methodologies and Applications (Chapman & Hall/CRC Data Mining and Knowledge Discovery Series)

by

ISBN 13: 9781439806265

Format: Hardcover (460 pages)
Publisher: CRC Press
Published: 17 Jun 2011

Save for later

A Theory of Computer Semiotics: Semiotic Approaches to Construction and Assessment of Computer Systems: 3 (Cambridge Series on Human-Computer Interaction, Series Number 3)

by Peter Bøgh Andersen

ISBN 13: 9780521393362

Format: Hardcover (458 pages)
Publisher: Cambridge University Press
Published: 25 Jan 1991

Save for later

Advanced Simulation and Test Methodologies for VLSI Design (Reading Women Writing)

by Gordon Russell,Ian L. Sayers,I. L. Sayers

ISBN 13: 9780747600015

Format: Illustrated (396 pages)
Publisher: Springer
Published: 28 Feb 1989

Save for later

Advances in Neural Networks -- ISNN 2011: 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29--June 1, 2011, Proceedings, ... Computer Science and General Issues)

by

ISBN 13: 9783642210891

Format: Paperback (668 pages)
Publisher: Springer
Published: 10 May 2011

Save for later

Foundations on Natural and Artificial Computation: 4th International Work-conference on the Interplay Between Natural and Artificial Computation, ... Computer Science and General Issues)

by

ISBN 13: 9783642213434

Format: Paperback (591 pages)
Publisher: Springer
Published: 20 May 2011

Save for later

Biologically Inspired Cooperative Computing: IFIP 19th World Computer Congress, TC 10: 1st IFIP International Conference on Biologically Inspired ... in Information and Communication Technology)

by

ISBN 13: 9780387346328

Format: Hardcover (220 pages)
Publisher: Springer
Published: 11 Sep 2006

Save for later

Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic

by Alan P. Parkes

ISBN 13: 9781852334642

Format: Paperback (304 pages)
Publisher: Springer
Published: 26 Apr 2002

Save for later

Discrete Structures with Contemporary Applications

by Alexander Stanoyevitch

ISBN 13: 9781439817681

Format: Hardcover (1002 pages)
Publisher: Chapman and Hall/CRC
Published: 25 Jan 2011

Save for later

Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, ... Computer Science and General Issues)

by

ISBN 13: 9783540454588

Format: Paperback (639 pages)
Publisher: Springer
Published: 20 Sep 2006

Save for later

ECOOP 2005 - Object-Oriented Programming: 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540279921

Format: Paperback (648 pages)
Publisher: Springer
Published: 18 Jul 2005

Save for later

Reasoning Web: First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures (Lecture Notes in Computer Science / ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783540278283

Format: Paperback (328 pages)
Publisher: Springer
Published: 19 Jul 2005

Save for later