Buy Used and New Architecture & Logic Books

Adaptive and Natural Computing Algorithms: 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers: 5495 (Lecture Notes in Computer Science)

by Mikko Kolehmainen,Pekka Toivanen,Bartlomiej Beliczynski

ISBN 13: 9783642049200

Format: Illustrated (648 pages)
Publisher: Springer Berlin Heidelberg
Published: 15 Oct 2009

Save for later

Neural Information Processing: 16th International Conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings, Part II (Lecture Notes ... Computer Science and General Issues)

by Chi-Sing Leung, Minho Lee, Jonathan H. Chan

ISBN 13: 9783642106828

Format: Paperback (888 pages)
Publisher: Springer
Published: 24 Nov 2009

Save for later

Nano-Net: 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009, Proceedings (Lecture Notes of the Institute ... and Telecommunications Engineering)

by Alexandre Schmid,Sanjay Goel,Wei Wang,Valeriu Beiu,Sandro Carrara

ISBN 13: 9783642048494

Format: Paperback (304 pages)
Publisher: Springer
Published: 06 Oct 2009

Save for later

Logic in Computer Science: Modelling and Reasoning about Systems

by Huth, Michael Michael Huth,

ISBN 13: 9780521543101

Format: paperback
Publisher: Cambridge University Press

Save for later

Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))

by Michael G. Hinchey

ISBN 13: 9781852336400

Format: Illustrated (420 pages)
Publisher: Springer
Published: 17 Sep 1999

Save for later

Real-Time Embedded Multithreading Using ThreadX and MIPS

by Edward Lamie

ISBN 13: 9781856176316

Format: Paperback (488 pages)
Publisher: CRC Press
Published: 22 Jan 2009

Save for later

Prospects for Functional Programming in Software Engineering: 1 (Research Reports Esprit)

by Jean-Pierre Banatre, Simon B. Jones, Daniel Le Metayer, P. Fradet, A. Sinclair

ISBN 13: 9783540538523

Format: Paperback (210 pages)
Publisher: Springer
Published: 03 Apr 1991

Save for later

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, ... 2941 (Lecture Notes in Computer Science)

by Martin Wirsing, Alexander Knapp, Simonetta Balsamo

ISBN 13: 9783540211792

Format: Paperback (359 pages)
Publisher: Springer
Published: 18 Mar 2004

Save for later

System Performance Tuning

by Gian-Paolo D. Musumeci,Mike Loukides

ISBN 13: 9780596002848

Format: Paperback (352 pages)
Publisher: O'Reilly Media
Published: 15 Feb 2002
Other Format: Paperback

Save for later

Introduction to the Formal Design of Real-Time Systems (Applied Computing)

by David Gray

ISBN 13: 9783540761402

Format: Paperback (476 pages)
Publisher: Springer-Verlag
Published: 01 Nov 1998

Save for later

Rapid Prototyping of Digital Systems: Sopc Edition

by J. O. Hamblen,T. S. Hall,M. D. Furman

ISBN 13: 9780387726700

Format: Illustrated (432 pages)
Publisher: Springer
Published: 31 Oct 2007

Save for later

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, S.B.M.F. 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers (Lecture Notes in Computer Science)

by Marcel Vinícius Medeiros Oliveira, Jim Woodcock

ISBN 13: 9783642104510

Format: Paperback (351 pages)
Publisher: Springer
Published: 09 Nov 2009

Save for later