Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(195)
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.
(130)
Electronics.
(73)
Circuits and Systems.
(32)
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ç
229 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
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:
2. 
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:
3. 
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:
4. 
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:
5. 
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:
6. 
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:
7. 
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:
8. 
Dependable Multicore Architectures at Nanoscale için kapak resmi
Dependable Multicore Architectures at Nanoscale
Yazar 
Ottavi, Marco. editor. Gizopoulos, Dimitris. editor. Pontarelli, Salvatore. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-54422-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Advanced Logic Synthesis için kapak resmi
Advanced Logic Synthesis
Yazar 
Reis, André Inácio. editor. Drechsler, Rolf. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67295-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design Advances in Analog Circuit Design 2017 için kapak resmi
Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design Advances in Analog Circuit Design 2017
Yazar 
Harpe, Pieter. editor. Makinwa, Kofi A. A. editor. Baschirotto, Andrea. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-61285-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Fog Computing in the Internet of Things Intelligence at the Edge için kapak resmi
Fog Computing in the Internet of Things Intelligence at the Edge
Yazar 
Rahmani, Amir M. editor. Liljeberg, Pasi. editor. Preden, Jürgo-Sören. editor. Jantsch, Axel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-57639-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things için kapak resmi
Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things
Yazar 
Marwedel, Peter. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-56045-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç