|
|
Formal Verification of Simulink/Stateflow Diagrams [electronic resource] : A Deductive Approach / by Naijun Zhan, Shuling Wang, Hengjun Zhao.
by Zhan, Naijun [author.] | Wang, Shuling [author.] | Zhao, Hengjun [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects [electronic resource] / by Nuno Lourenço, Ricardo Martins, Nuno Horta.
by Lourenço, Nuno [author.] | Martins, Ricardo [author.] | Horta, Nuno [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
Designing with Xilinx® FPGAs [electronic resource] : Using Vivado / edited by Sanjay Churiwala.
by Churiwala, Sanjay [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
Design for Manufacturability with Advanced Lithography [electronic resource] / by Bei Yu, David Z. Pan.
by Yu, Bei [author.] | Pan, David Z [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
Digital Systems [electronic resource] : From Logic Gates to Processors / by Jean-Pierre Deschamps, Elena Valderrama, Lluís Terés.
by Deschamps, Jean-Pierre [author.] | Valderrama, Elena [author.] | Terés, Lluís [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
Model-Implementation Fidelity in Cyber Physical System Design [electronic resource] / edited by Anca Molnos, Christian Fabre.
by Molnos, Anca [editor.] | Fabre, Christian [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
Fundamentals of Electronic Systems Design [electronic resource] / by Jens Lienig, Hans Bruemmer.
by Lienig, Jens [author.] | Bruemmer, Hans [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
Neuro-inspired Computing Using Resistive Synaptic Devices [electronic resource] / edited by Shimeng Yu.
by Yu, Shimeng [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
Hardware Security and Trust [electronic resource] : Design and Deployment of Integrated Circuits in a Threatened Environment / edited by Nicolas Sklavos, Ricardo Chaves, Giorgio Di Natale, Francesco Regazzoni.
by Sklavos, Nicolas [editor.] | Chaves, Ricardo [editor.] | Di Natale, Giorgio [editor.] | Regazzoni, Francesco [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
Testing of Interposer-Based 2.5D Integrated Circuits [electronic resource] / by Ran Wang, Krishnendu Chakrabarty.
by Wang, Ran [author.] | Chakrabarty, Krishnendu [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
Reliable Software for Unreliable Hardware [electronic resource] : A Cross Layer Perspective / by Semeen Rehman, Muhammad Shafique, Jörg Henkel.
by Rehman, Semeen [author.] | Shafique, Muhammad [author.] | Henkel, Jörg [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
New Data Structures and Algorithms for Logic Synthesis and Verification [electronic resource] / by Luca Gaetano Amaru.
by Amaru, Luca Gaetano [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
FPGAs for Software Programmers [electronic resource] / edited by Dirk Koch, Frank Hannig, Daniel Ziener.
by Koch, Dirk [editor.] | Hannig, Frank [editor.] | Ziener, Daniel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
Optimization and Mathematical Modeling in Computer Architecture [electronic resource] / by Karthikeyan Sankaralingam, Michael Ferris, Tony Nowatzki, Cristian Estan, Nilay Vaish, David Wood.
by Sankaralingam, Karthikeyan [author.] | Ferris, Michael [author.] | Nowatzki, Tony [author.] | Estan, Cristian [author.] | Vaish, Nilay [author.] | Wood, David [author.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
Robotic Computing on FPGAs [electronic resource] / by Shaoshan Liu, Zishen Wan, Bo Yu, Yu Wang.
by Liu, Shaoshan [author.] | Wan, Zishen [author.] | Yu, Bo [author.] | Wang, Yu [author.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
Automatic Parallelization [electronic resource] : An Overview of Fundamental Compiler Techniques / by Samuel Midkiff.
by Midkiff, Samuel [author.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
Dynamic Binary Modification [electronic resource] : Tools, Techniques and Applications / by Kim Hazelwood.
by Hazelwood, Kim [author.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
High Performance Datacenter Networks [electronic resource] : Architectures, Algorithms, and Opportunities / by Dennis Abts, John Kim.
by Abts, Dennis [author.] | Kim, John [author.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
Beyond Binary Memory Circuits [electronic resource] : Multiple-Valued Logic / by Zarin Tasnim Sandhie, Farid Uddin Ahmed, Masud H. Chowdhury.
by Sandhie, Zarin Tasnim [author.] | Ahmed, Farid Uddin [author.] | Chowdhury, Masud H [author.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
The Datacenter as a Computer [electronic resource] : An Introduction to the Design of Warehouse-Scale Machines, Second Edition / by Luis Andre Barroso, Jimmy Clidaras.
by Barroso, Luis Andre [author.] | Clidaras, Jimmy [author.] | SpringerLink (Online service). Edition: 2nd ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|