Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(143)
LaMeres, Brock J. author.
(7)
Bhunia, Swarup. editor.
(3)
Brandic, Ivona. editor. (orcid)0000-0001-7424-0208
(3)
Carretero, Jesus. editor. (orcid)0000-0002-1413-4793
(3)
Dil
English
(143)
Yayın Yılı
-
Konu
Computer architecture.
(143)
Microprocessors.
(143)
Electronic Circuits and Systems.
(111)
Electronic circuits.
(111)
Electronics and Microelectronics, Instrumentation.
(52)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
143 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach için kapak resmi
Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach
Yazar 
Zhan, Naijun. author. Wang, Shuling. author. (orcid)0000-0002-2798-2660 Zhao, Hengjun. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47016-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Digital Systems From Logic Gates to Processors için kapak resmi
Digital Systems From Logic Gates to Processors
Yazar 
Deschamps, Jean-Pierre. author. Valderrama, Elena. author. Terés, Lluís. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-41198-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Model-Implementation Fidelity in Cyber Physical System Design için kapak resmi
Model-Implementation Fidelity in Cyber Physical System Design
Yazar 
Molnos, Anca. editor. Fabre, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47307-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Testing of Interposer-Based 2.5D Integrated Circuits için kapak resmi
Testing of Interposer-Based 2.5D Integrated Circuits
Yazar 
Wang, Ran. author. Chakrabarty, Krishnendu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-54714-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
New Data Structures and Algorithms for Logic Synthesis and Verification için kapak resmi
New Data Structures and Algorithms for Logic Synthesis and Verification
Yazar 
Amaru, Luca Gaetano. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-43174-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators için kapak resmi
From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators
Yazar 
Rahimi, Abbas. author. Benini, Luca. author. Gupta, Rajesh K. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-53768-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Green IT Engineering: Concepts, Models, Complex Systems Architectures için kapak resmi
Green IT Engineering: Concepts, Models, Complex Systems Architectures
Yazar 
Kharchenko, Vyacheslav. editor. Kondratenko, Yuriy. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-44162-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Introduction to Logic Circuits & Logic Design with VHDL için kapak resmi
Introduction to Logic Circuits & Logic Design with VHDL
Yazar 
LaMeres, Brock J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-34195-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Operational Amplifiers Theory and Design için kapak resmi
Operational Amplifiers Theory and Design
Yazar 
Huijsing, Johan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28127-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18-22, 2017, Proceedings için kapak resmi
High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18-22, 2017, Proceedings
Yazar 
Kunkel, Julian M. editor. Yokota, Rio. editor. Balaji, Pavan. editor. Keyes, David. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-58667-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Parallel Sparse Direct Solver for Integrated Circuit Simulation için kapak resmi
Parallel Sparse Direct Solver for Integrated Circuit Simulation
Yazar 
Chen, Xiaoming. author. Wang, Yu. author. Yang, Huazhong. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-53429-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Hardware Protection through Obfuscation için kapak resmi
Hardware Protection through Obfuscation
Yazar 
Forte, Domenic. editor. Bhunia, Swarup. editor. Tehranipoor, Mark M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-49019-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç