|
|
|
Formal System Verification [electronic resource] : State-of the-Art and Future Trends / edited by Rolf Drechsler.
by Drechsler, Rolf [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Embedded System Design [electronic resource] : Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things / by Peter Marwedel.
by Marwedel, Peter [author.] | SpringerLink (Online service). Edition: 3rd ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Advanced Logic Synthesis [electronic resource] / edited by André Inácio Reis, Rolf Drechsler.
by Reis, André Inácio [editor.] | Drechsler, Rolf [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Reversible and Quantum Circuits [electronic resource] : Optimization and Complexity Analysis / by Nabila Abdessaied, Rolf Drechsler.
by Abdessaied, Nabila [author.] | Drechsler, Rolf [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
|
|
|
|
Invasive Tightly Coupled Processor Arrays [electronic resource] / by VAHID LARI.
by LARI, VAHID [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Internet-of-Things (IoT) Systems [electronic resource] : Architectures, Algorithms, Methodologies / by Dimitrios Serpanos, Marilyn Wolf.
by Serpanos, Dimitrios [author.] | Wolf, Marilyn [author.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Multi-run Memory Tests for Pattern Sensitive Faults [electronic resource] / by Ireneusz Mrozek.
by Mrozek, Ireneusz [author.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Smart Systems Integration and Simulation [electronic resource] / edited by Nicola Bombieri, Massimo Poncino, Graziano Pravadelli.
by Bombieri, Nicola [editor.] | Poncino, Massimo [editor.] | Pravadelli, Graziano [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
|
|
|
|
Memory Controllers for Mixed-Time-Criticality Systems [electronic resource] : Architectures, Methodologies and Trade-offs / by Sven Goossens, Karthik Chandrasekar, Benny Akesson, Kees Goossens.
by Goossens, Sven [author.] | Chandrasekar, Karthik [author.] | Akesson, Benny [author.] | Goossens, Kees [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
|
|
|
|
5G and E-Band Communication Circuits in Deep-Scaled CMOS [electronic resource] / by Marco Vigilante, Patrick Reynaert.
by Vigilante, Marco [author.] | Reynaert, Patrick [author.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Parallel Sparse Direct Solver for Integrated Circuit Simulation [electronic resource] / by Xiaoming Chen, Yu Wang, Huazhong Yang.
by Chen, Xiaoming [author.] | Wang, Yu [author.] | Yang, Huazhong [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
|
|
|
|
IP Cores Design from Specifications to Production [electronic resource] : Modeling, Verification, Optimization, and Protection / by Khaled Salah Mohamed.
by Mohamed, Khaled Salah [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
|
|
|
|
Hardware Protection through Obfuscation [electronic resource] / edited by Domenic Forte, Swarup Bhunia, Mark M. Tehranipoor.
by Forte, Domenic [editor.] | Bhunia, Swarup [editor.] | Tehranipoor, Mark M [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
|
|
|
|
Carbon Nanotubes for Interconnects [electronic resource] : Process, Design and Applications / edited by Aida Todri-Sanial, Jean Dijon, Antonio Maffucci.
by Todri-Sanial, Aida [editor.] | Dijon, Jean [editor.] | Maffucci, Antonio [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
|
|
|
|
Heterogeneous Reconfigurable Processors for Real-Time Baseband Processing [electronic resource] : From Algorithm to Architecture / by Chenxin Zhang, Liang Liu, Viktor Öwall.
by Zhang, Chenxin [author.] | Liu, Liang [author.] | Öwall, Viktor [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
|
|
|
|
Hardware IP Security and Trust [electronic resource] / edited by Prabhat Mishra, Swarup Bhunia, Mark Tehranipoor.
by Mishra, Prabhat [editor.] | Bhunia, Swarup [editor.] | Tehranipoor, Mark [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
|
|
|
|
Introduction to Logic Circuits & Logic Design with Verilog [electronic resource] / by Brock J. LaMeres.
by LaMeres, Brock J [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
|
|
|
|
Soft Error Mechanisms, Modeling and Mitigation [electronic resource] / by Selahattin Sayil.
by Sayil, Selahattin [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
|
|
|
|
Foundations of Hardware IP Protection [electronic resource] / edited by Lilian Bossuet, Lionel Torres.
by Bossuet, Lilian [editor.] | Torres, Lionel [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
|
|
|
|
Energy Efficient Embedded Video Processing Systems [electronic resource] : A Hardware-Software Collaborative Approach / by Muhammad Usman Karim Khan, Muhammad Shafique, Jörg Henkel.
by Khan, Muhammad Usman Karim [author.] | Shafique, Muhammad [author.] | Henkel, Jörg [author.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
