|
|
881.
|
ESL Models and their Application [electronic resource] : Electronic System Level Design and Verification in Practice / by Brian Bailey, Grant Martin.
by Bailey, Brian | Martin, Grant | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
|
|
|
882.
|
Open Verification Methodology Cookbook [electronic resource] / by Mark Glasser.
by Glasser, Mark | SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2009Online access: Click here to access online Availability: No items available
|
|
|
883.
|
Additive Manufacturing Technologies [electronic resource] : Rapid Prototyping to Direct Digital Manufacturing / by Ian Gibson, David W. Rosen, Brent Stucker.
by Gibson, Ian | Rosen, David W | Stucker, Brent | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
|
|
|
884.
|
C Compilers for ASIPs [electronic resource] : Automatic Compiler Generation with LISA / by Manuel Hohenauer, Rainer Leupers.
by Hohenauer, Manuel | Leupers, Rainer | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2010Online access: Click here to access online Availability: No items available
|
|
|
885.
|
Security in Embedded Devices [electronic resource] / by Catherine H. Gebotys.
by Gebotys, Catherine H | SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
|
|
|
886.
|
Design and Verification of Microprocessor Systems for High-Assurance Applications [electronic resource] / edited by David S. Hardin.
by Hardin, David S | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
|
|
|
887.
|
Embedded Software Design and Programming of Multiprocessor System-on-Chip [electronic resource] : Simulink and System C Case Studies / by Katalin Popovici, Frédéric Rousseau, Ahmed A. Jerraya, Marilyn Wolf.
by Popovici, Katalin | Rousseau, Frédéric | Jerraya, Ahmed A | Wolf, Marilyn | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2010Online access: Click here to access online Availability: No items available
|
|
|
888.
|
Scalable Techniques for Formal Verification [electronic resource] / by Sandip Ray.
by Ray, Sandip | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
|
|
|
889.
|
A Practical Introduction to Hardware/Software Codesign [electronic resource] / by Patrick R. Schaumont.
by Schaumont, Patrick R | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
|
|
|
890.
|
Processor and System-on-Chip Simulation [electronic resource] / edited by Rainer Leupers, Olivier Temam.
by Leupers, Rainer | Temam, Olivier | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
|
|
|
891.
|
Reliability of Nanoscale Circuits and Systems [electronic resource] : Methodologies and Circuit Architectures / by Miloš Stanisavljević, Alexandre Schmid, Yusuf Leblebici.
by Stanisavljević, Miloš | Schmid, Alexandre | Leblebici, Yusuf | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2011Online access: Click here to access online Availability: No items available
|
|
|
892.
|
FPGA Design [electronic resource] : Best Practices for Team-based Design / by Philip Simpson.
by Simpson, Philip | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2010Online access: Click here to access online Availability: No items available
|
|
|
893.
|
Power-efficient System Design [electronic resource] / by Preeti Ranjan Panda, B. V. N. Silpa, Aviral Shrivastava, Krishnaiah Gummidipudi.
by Panda, Preeti Ranjan | Silpa, B. V. N | Shrivastava, Aviral | Gummidipudi, Krishnaiah | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
|
|
|
894.
|
Synthesis of Embedded Software [electronic resource] : Frameworks and Methodologies for Correctness by Construction / edited by Sandeep K. Shukla, Jean-Pierre Talpin.
by Shukla, Sandeep K | Talpin, Jean-Pierre | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
|
|
|
895.
|
Multiprocessor System-on-Chip [electronic resource] : Hardware Design and Tool Integration / edited by Michael Hübner, Jürgen Becker.
by Hübner, Michael | Becker, Jürgen | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2011Online access: Click here to access online Availability: No items available
|
|
|
896.
|
Focal-Plane Sensor-Processor Chips [electronic resource] / edited by Ákos Zarándy.
by Zarándy, Ákos | SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2011Online access: Click here to access online Availability: No items available
|
|
|
897.
|
Extreme Low-Power Mixed Signal IC Design [electronic resource] : Subthreshold Source-Coupled Circuits / by Armin Tajalli, Yusuf Leblebici.
by Tajalli, Armin | Leblebici, Yusuf | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2010Online access: Click here to access online Availability: No items available
|
|
|
898.
|
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications [electronic resource] / by Gaurav Singh, Sandeep K. Shukla.
by Singh, Gaurav | Shukla, Sandeep K | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2010Online access: Click here to access online Availability: No items available
|
|
|
899.
|
Dependability in Electronic Systems [electronic resource] : Mitigation of Hardware Failures, Soft Errors, and Electro-Magnetic Disturbances / by Nobuyasu Kanekawa, Eishi H. Ibe, Takashi Suga, Yutaka Uematsu.
by Kanekawa, Nobuyasu | Ibe, Eishi H | Suga, Takashi | Uematsu, Yutaka | SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2011Online access: Click here to access online Availability: No items available
|
|
|
900.
|
Ultra Low-Power Integrated Circuit Design for Wireless Neural Interfaces [electronic resource] / by Jeremy Holleman, Fan Zhang, Brian Otis.
by Holleman, Jeremy | Zhang, Fan | Otis, Brian | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2011Online access: Click here to access online Availability: No items available
|
