Buy Used and New Architecture & Logic Books

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings: 5295 (Lecture Notes in Computer Science)

by Jim Woodcock, Natarajan Shankar

ISBN 13: 9783540878728

Format: Paperback (263 pages)
Publisher: Springer
Published: 22 Sep 2008

Save for later

The Healthy PC: Preventive Care and Home Remedies for Your Computer

by Carey Holzman

ISBN 13: 9780072229233

Format: Illustrated (260 pages)
Publisher: McGraw-Hill
Published: 27 Oct 2003

Save for later

Electronics System Design Techniques for Safety Critical Applications: 26 (Lecture Notes in Electrical Engineering)

by Luca Sterpone

ISBN 13: 9781402089787

Format: Hardcover (164 pages)
Publisher: Springer
Published: 14 Oct 2008

Save for later

Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected ... Computer Science and General Issues)

by

ISBN 13: 9783642205507

Format: Paperback (259 pages)
Publisher: Springer
Published: 02 May 2011

Save for later

Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642209192

Format: Paperback (321 pages)
Publisher: Springer
Published: 02 May 2011

Save for later

Transactions of Computational Collective Intelligence IV (Lecture Notes in Computer Science / Transactions on Computational Collective Intelligence)

by

ISBN 13: 9783642218835

Format: Paperback (220 pages)
Publisher: Springer
Published: 22 Jun 2011

Save for later

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642203978

Format: Paperback (536 pages)
Publisher: Springer
Published: 06 Apr 2011

Save for later

Hybrid Artificial Intelligent Systems: 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part II (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642212215

Format: Paperback (519 pages)
Publisher: Springer
Published: 16 May 2011
Other Format: Paperback

Save for later

Software Engineering and Computer Systems, Part III: Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, ... in Computer and Information Science)

by

ISBN 13: 9783642222023

Format: Paperback (846 pages)
Publisher: Springer
Published: 22 Jun 2011

Save for later

Implementation and Application of Automata: 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers ... Computer Science and General Issues)

by

ISBN 13: 9783642222559

Format: Paperback (312 pages)
Publisher: Springer
Published: 05 Jul 2011

Save for later

Universal Access in Human-Computer Interaction. Applications and Services: 6th International Conference, UAHCI 2011, Held as Part of HCI International ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642216565

Format: Paperback (711 pages)
Publisher: Springer
Published: 24 Jun 2011
Other Format: Paperback

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: 9783642211041

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

Save for later