Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(187)
Drechsler, Rolf. author.
(5)
Marwedel, Peter. author.
(5)
Henkel, Jörg. author.
(4)
Shafique, Muhammad. author.
(4)
Dil
Yayın Yılı
-
Konu
Computer science.
(161)
Engineering.
(127)
Electronics.
(71)
Circuits and Systems.
(27)
Software engineering.
(24)
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ç
200 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Digital Storage in Consumer Electronics The Essential Guide için kapak resmi
Digital Storage in Consumer Electronics The Essential Guide
Yazar 
Coughlin, Thomas M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-69907-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations için kapak resmi
Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations
Yazar 
Hidaka, Hideto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-55306-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers için kapak resmi
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Yazar 
Przigoda, Nils. author. Wille, Robert. author. Przigoda, Judith. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-72814-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies için kapak resmi
ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies
Yazar 
Mehta, Ashok B. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-59418-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Energy Efficient High Performance Processors Recent Approaches for Designing Green High Performance Computing için kapak resmi
Energy Efficient High Performance Processors Recent Approaches for Designing Green High Performance Computing
Yazar 
Haj-Yahya, Jawad. author. Mendelson, Avi. author. Ben Asher, Yosi. author. Chattopadhyay, Anupam. author. (orcid)0000-0002-8818-6983 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-8554-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Design of FPGA-Based Computing Systems with OpenCL için kapak resmi
Design of FPGA-Based Computing Systems with OpenCL
Yazar 
Waidyasooriya, Hasitha Muthumala. author. Hariyama, Masanori. author. Uchiyama, Kunio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68161-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Fundamentals of Electromigration-Aware Integrated Circuit Design için kapak resmi
Fundamentals of Electromigration-Aware Integrated Circuit Design
Yazar 
Lienig, Jens. author. Thiele, Matthias. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-73558-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Machine Learning for Model Order Reduction için kapak resmi
Machine Learning for Model Order Reduction
Yazar 
Mohamed, Khaled Salah. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-75714-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Energy-Efficient Smart Temperature Sensors in CMOS Technology için kapak resmi
Energy-Efficient Smart Temperature Sensors in CMOS Technology
Yazar 
Souri, Kamran. author. Makinwa, Kofi A.A. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-62307-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Low-Power Design and Power-Aware Verification için kapak resmi
Low-Power Design and Power-Aware Verification
Yazar 
Khondkar, Progyna. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66619-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Symbolic Parallelization of Nested Loop Programs için kapak resmi
Symbolic Parallelization of Nested Loop Programs
Yazar 
Tanase, Alexandru-Petru. author. Hannig, Frank. author. Teich, Jürgen. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-73909-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Formal System Verification State-of the-Art and Future Trends için kapak resmi
Formal System Verification State-of the-Art and Future Trends
Yazar 
Drechsler, Rolf. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-57685-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç