Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
by Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, Vitaliy Mezhuyev
ISBN 13: 9781441997357
Format: Hardcover (219 pages) Publisher: Springer Published: 20 Aug 2011
Save for later
Applying Manufacturing Execution Systems (Resource Management)
by Michael McClellan
ISBN 13: 9781574441352
Format: Hardcover (208 pages) Publisher: CRC Press Published: 21 Aug 1997
Information Modeling for Interoperable Dimensional Metrology
by Yaoyao (Fiona) Zhao, Robert Brown, Thomas R. Kramer, Xun Xu
ISBN 13: 9781447121664
Format: Hardcover (367 pages) Publisher: Springer Published: 29 Aug 2011
Introduction to Mixed-Signal, Embedded Design
by Alex Doboli,Edward H. Currie
ISBN 13: 9781441974457
Format: Hardcover (473 pages) Publisher: Springer Published: 20 Dec 2010
Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout
by Leena Singh,Leonard Drucker
ISBN 13: 9781441954091
Format: Paperback (395 pages) Publisher: Springer Published: 30 Nov 2010
Robust Industrial Control Systems: Optimal Design Approach for Polynomial Systems
by Michael J. Grimble
ISBN 13: 9780470020739
Format: Hardcover (698 pages) Publisher: Wiley-Blackwell Published: 07 Apr 2006
High-Level Verification: Methods and Tools for Verification of System-Level Designs
by Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
ISBN 13: 9781441993588
Format: Hardcover (180 pages) Publisher: Springer Published: 19 May 2011
Flash MX Application and Interface Design: Data delivery, navigation, and fun in Flash MX, XML, and PHP
by Peter Aylward,Ken Jokol,Glen Rhodes
ISBN 13: 9781590591581
Format: Paperback (260 pages) Publisher: Springer Published: 16 Oct 2003
Introduction to Scientific Visualization
by Helen Wright
ISBN 13: 9781846284946
Format: Paperback (160 pages) Publisher: Springer Published: 29 Nov 2006
Composing Software Components: A Software-testing Perspective
by Dick Hamlet
ISBN 13: 9781441971470
Format: Hardcover (385 pages) Publisher: Springer Published: 01 Sep 2010
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
by
ISBN 13: 9781441963994
Format: Hardcover (315 pages) Publisher: Springer Published: 17 Sep 2010
Dependability in Electronic Systems: Mitigation of Hardware Failures, Soft Errors, and Electro-Magnetic Disturbances
by Nobuyasu Kanekawa,Eishi H. Ibe,Takashi Suga,Yutaka Uematsu
ISBN 13: 9781441967145
Format: Hardcover (250 pages) Publisher: Springer Published: 25 Nov 2010