|
|
441.
|
C Compilers for ASIPs [electronic resource] : Automatic Compiler Generation with LISA / by Manuel Hohenauer, Rainer Leupers.
by Hohenauer, Manuel [author.] | Leupers, Rainer [author.] | 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
|
|
|
442.
|
Security in Embedded Devices [electronic resource] / by Catherine H. Gebotys.
by Gebotys, Catherine H [author.] | 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
|
|
|
443.
|
Design and Verification of Microprocessor Systems for High-Assurance Applications [electronic resource] / edited by David S. Hardin.
by Hardin, David S [editor.] | 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
|
|
|
444.
|
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 [author.] | Rousseau, Frédéric [author.] | Jerraya, Ahmed A [author.] | Wolf, Marilyn [author.] | 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
|
|
|
445.
|
Scalable Techniques for Formal Verification [electronic resource] / by Sandip Ray.
by Ray, Sandip [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
446.
|
A Practical Introduction to Hardware/Software Codesign [electronic resource] / by Patrick R. Schaumont.
by Schaumont, Patrick R [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
447.
|
Processor and System-on-Chip Simulation [electronic resource] / edited by Rainer Leupers, Olivier Temam.
by Leupers, Rainer [editor.] | Temam, Olivier [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
448.
|
FPGA Design [electronic resource] : Best Practices for Team-based Design / by Philip Simpson.
by Simpson, Philip [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
449.
|
Power-efficient System Design [electronic resource] / by Preeti Ranjan Panda, B. V. N. Silpa, Aviral Shrivastava, Krishnaiah Gummidipudi.
by Panda, Preeti Ranjan [author.] | Silpa, B. V. N [author.] | Shrivastava, Aviral [author.] | Gummidipudi, Krishnaiah [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
450.
|
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 [editor.] | Talpin, Jean-Pierre [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
451.
|
Extreme Low-Power Mixed Signal IC Design [electronic resource] : Subthreshold Source-Coupled Circuits / by Armin Tajalli, Yusuf Leblebici.
by Tajalli, Armin [author.] | Leblebici, Yusuf [author.] | 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
|
|
|
452.
|
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications [electronic resource] / by Gaurav Singh, Sandeep K. Shukla.
by Singh, Gaurav [author.] | Shukla, Sandeep K [author.] | 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
|
|
|
453.
|
Software Automatic Tuning [electronic resource] : From Concepts to State-of-the-Art Results / edited by Ken Naono, Keita Teranishi, John Cavazos, Reiji Suda.
by Naono, Ken [editor.] | Teranishi, Keita [editor.] | Cavazos, John [editor.] | Suda, Reiji [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
454.
|
Composing Software Components [electronic resource] : A Software-testing Perspective / by Dick Hamlet.
by Hamlet, Dick [author.] | 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
|
|
|
455.
|
Simulation Methods for Reliability and Availability of Complex Systems [electronic resource] / edited by Javier Faulin, Angel A. Juan, Sebastián Martorell, José-Emmanuel Ramírez-Márquez.
by Faulin, Javier [editor.] | Juan, Angel A [editor.] | Martorell, Sebastián [editor.] | Ramírez-Márquez, José-Emmanuel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2010Online access: Click here to access online Availability: No items available
|
|
|
456.
|
Dynamic Modelling for Supply Chain Management [electronic resource] : Dealing with Front-end, Back-end and Integration Issues / by Adolfo Crespo Márquez.
by Crespo Márquez, Adolfo [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2010Online access: Click here to access online Availability: No items available
|
|
|
457.
|
Fault Location on Power Networks [electronic resource] / by Murari Mohan Saha, Jan Izykowski, Eugeniusz Rosolowski.
by Saha, Murari Mohan [author.] | Izykowski, Jan [author.] | Rosolowski, Eugeniusz [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2010Online access: Click here to access online Availability: No items available
|
|
|
458.
|
System Design Optimization for Product Manufacturing [electronic resource] / by Masataka Yoshimura.
by Yoshimura, Masataka [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2010Online access: Click here to access online Availability: No items available
|
|
|
459.
|
Geometric Algebra Computing [electronic resource] : in Engineering and Computer Science / edited by Eduardo Bayro-Corrochano, Gerik Scheuermann.
by Bayro-Corrochano, Eduardo [editor.] | Scheuermann, Gerik [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2010Online access: Click here to access online Availability: No items available
|
|
|
460.
|
Designing Inclusive Interactions [electronic resource] : Inclusive Interactions Between People and Products in Their Contexts of Use / edited by Patrick Martin Langdon, Peter John Clarkson, Peter Robinson.
by Langdon, Patrick Martin [editor.] | Clarkson, Peter John [editor.] | Robinson, Peter [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2010Online access: Click here to access online Availability: No items available
|
