|
|
|
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
|
|
|
|
Modeling, Simulation, and Optimization [electronic resource] / edited by Pandian Vasant, Igor Litvinchev, José Antonio Marmolejo-Saucedo.
by Vasant, Pandian [editor.] | Litvinchev, Igor [editor.] | Marmolejo-Saucedo, José Antonio [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
|
|
|
|
Dense and Green Building Typologies [electronic resource] : Research, Policy and Practice Perspectives / by Thomas Schröpfer, Sacha Menz.
by Schröpfer, Thomas [author.] | Menz, Sacha [author.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : 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
|
|
|
|
Data Deduplication for Data Optimization for Storage and Network Systems [electronic resource] / by Daehee Kim, Sejun Song, Baek-Young Choi.
by Kim, Daehee [author.] | Song, Sejun [author.] | Choi, Baek-Young [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
|
|
|
|
The World’s Urban Forests [electronic resource] : History, Composition, Design, Function and Management / by Joe R. McBride.
by McBride, Joe R [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
|
|
|
|
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
|
|
|
|
Advances in Human Factors and Sustainable Infrastructure [electronic resource] : Proceedings of the AHFE 2016 International Conference on Human Factors and Sustainable Infrastructure, July 27-31, 2016, Walt Disney World®, Florida, USA / edited by Jerzy Charytonowicz.
by Charytonowicz, Jerzy [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
|
|
|
|
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
|
