|
|
921.
|
Post-Silicon and Runtime Verification for Modern Processors [electronic resource] / by Ilya Wagner, Valeria Bertacco.
by Wagner, Ilya | Bertacco, Valeria | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2011Online access: Click here to access online Availability: No items available
|
|
|
922.
|
Discrete Mathematics [electronic resource] / by Jean Gallier.
by Gallier, Jean | 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
|
|
|
923.
|
Memory-Based Logic Synthesis [electronic resource] / by Tsutomu Sasao.
by Sasao, Tsutomu | 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
|
|
|
924.
|
Digitally-Assisted Analog and RF CMOS Circuit Design for Software-Defined Radio [electronic resource] / edited by Kenichi Okada, Shouhei Kousai.
by Okada, Kenichi | Kousai, Shouhei | 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
|
|
|
925.
|
The Simple Art of SoC Design [electronic resource] : Closing the Gap between RTL and ESL / by Michael Keating, Synopsys Fellow.
by Keating, Synopsys Fellow, Michael | 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
|
|
|
926.
|
Multi-objective Design Space Exploration of Multiprocessor SoC Architectures [electronic resource] : The MULTICUBE Approach / edited by Cristina Silvano, William Fornaciari, Eugenio Villar.
by Silvano, Cristina | Fornaciari, William | Villar, Eugenio | 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
|
|
|
927.
|
Nano-Electronic Devices [electronic resource] : Semiclassical and Quantum Transport Modeling / edited by Dragica Vasileska, Stephen M. Goodnick.
by Vasileska, Dragica | Goodnick, Stephen M | 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
|
|
|
928.
|
Principles of VLSI RTL Design [electronic resource] : A Practical Guide / by Sanjay Churiwala, Sapan Garg.
by Churiwala, Sanjay | Garg, Sapan | 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
|
|
|
929.
|
High-Level Verification [electronic resource] : Methods and Tools for Verification of System-Level Designs / by Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta.
by Kundu, Sudipta | Lerner, Sorin | Gupta, Rajesh K | 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
|
|
|
930.
|
Formal Development of a Network-Centric RTOS [electronic resource] : Software Engineering for Reliable Embedded Systems / by Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, Vitaliy Mezhuyev.
by Verhulst, Eric | Boute, Raymond T | Faria, José Miguel Sampaio | Sputh, Bernhard H.C | Mezhuyev, Vitaliy | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2011Online access: Click here to access online Availability: No items available
|
|
|
931.
|
Programming Many-Core Chips [electronic resource] / by András Vajda.
by Vajda, András | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2011Online access: Click here to access online Availability: No items available
|
|
|
932.
|
Dynamics of Bridges, Volume 5 [electronic resource] : Proceedings of the 28th IMAC, A Conference on Structural Dynamics, 2010 / by Tom Proulx.
by Proulx, Tom | 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
|
|
|
933.
|
Dynamics of Civil Structures, Volume 4 [electronic resource] : Proceedings of the 28th IMAC, A Conference on Structural Dynamics, 2010 / edited by Tom Proulx.
by Proulx, Tom | 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
|
|
|
934.
|
Structural Dynamics, Volume 3 [electronic resource] : Proceedings of the 28th IMAC, A Conference on Structural Dynamics, 2010 / edited by Tom Proulx.
by Proulx, Tom | 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
|
|
|
935.
|
Information Modeling for Interoperable Dimensional Metrology [electronic resource] / by Yaoyao (Fiona) Zhao, Robert Brown, Thomas R. Kramer, Xun Xu.
by Zhao, Yaoyao (Fiona) | Brown, Robert | Kramer, Thomas R | Xu, Xun | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
936.
|
Euclidean Shortest Paths [electronic resource] : Exact or Approximate Algorithms / by Fajie Li, Reinhard Klette.
by Li, Fajie | Klette, Reinhard | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
937.
|
Reconfigurable Computing [electronic resource] : From FPGAs to Hardware/Software Codesign / edited by João M. P. Cardoso, Michael Hübner.
by Cardoso, João M. P | Hübner, Michael | 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
|
|
|
938.
|
Inequalities Based on Sobolev Representations [electronic resource] / by George A. Anastassiou.
by Anastassiou, George A | 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
|
|
|
939.
|
Engineering Applications of Residual Stress [electronic resource] : Proceedings of the 2011 Annual Conference on Experimental and Applied Mechanics / edited by Tom Proulx.
by Proulx, Tom | 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
|
|
|
940.
|
Design process improvement [electronic resource] : A review of current practice / edited by John Clarkson, Claudia Eckert.
by Clarkson, John | Eckert, Claudia | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2005Online access: Click here to access online Availability: No items available
|
