Discrete Mathematics
by Norman L. Biggs
ISBN 13: 9780198507178
Format: Illustrated (440 pages) Publisher: Oxford University Press, USA Published: 20 Feb 2003
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
Quantitative Measure for Discrete Event Supervisory Control
by
ISBN 13: 9780387021089
Format: Hardcover (264 pages) Publisher: Springer Published: 01 Feb 2005
Taxonomies for the Development and Verification of Digital Systems
ISBN 13: 9780387240190
Format: Hardcover (180 pages) Publisher: Springer Published: 10 May 2005
Principles of the Spin Model Checker
by Mordechai Ben-Ari
ISBN 13: 9781846287695
Format: Paperback (216 pages) Publisher: Springer Published: 08 Jan 2008
Human Machine Interaction: Research Results of the MMI Program: Research Results of the MMJ Program (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642004360
Format: Paperback (311 pages) Publisher: Springer Published: 26 Mar 2009
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)
ISBN 13: 9783642017476
Format: Paperback (245 pages) Publisher: Springer Published: 12 May 2009
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)
ISBN 13: 9783642020162
Format: Paperback (482 pages) Publisher: Springer Published: 28 Apr 2009
Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems
by Jean-Pierre Deschamps,Gery J.A. Bioul,Gustavo D. Sutter
ISBN 13: 9780471687832
Format: Hardcover (576 pages) Publisher: Wiley-Blackwell Published: 31 Mar 2006
Fundamentals of Digital Logic and Microcomputer Design
by M. Rafiquzzaman
ISBN 13: 9780471727842
Format: Hardcover (872 pages) Publisher: Wiley-Blackwell Published: 01 Jul 2005
Modeling and Verification of Real-time Systems
ISBN 13: 9781848210134
Format: Hardcover (448 pages) Publisher: Wiley-Blackwell Published: 10 Mar 2008
Interfacing with C++: Programming Real-World Applications
by Jayantha Katupitiya,Kim Bentley
ISBN 13: 9783540253785
Format: Hardcover (489 pages) Publisher: Springer Published: 13 Mar 2006