Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(44)
LaMeres, Brock J. author.
(5)
Atmaca, Eren. author.
(2)
Bhunia, Swarup. editor.
(2)
Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983
(2)
Dil
Yayın Yılı
-
Konu
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ç
44 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Emerging Technology and Architecture for Big-data Analytics için kapak resmi
Emerging Technology and Architecture for Big-data Analytics
Yazar 
Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 Chang, Chip Hong. editor. Yu, Hao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-54840-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Automatic Methods for the Refinement of System Models From the Specification to the Implementation için kapak resmi
Automatic Methods for the Refinement of System Models From the Specification to the Implementation
Yazar 
Seiter, Julia. author. Wille, Robert. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-41480-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects için kapak resmi
Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects
Yazar 
Lourenço, Nuno. author. Martins, Ricardo. author. (orcid)0000-0002-8251-1415 Horta, Nuno. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42037-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
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:
29. 
Designing with Xilinx® FPGAs Using Vivado için kapak resmi
Designing with Xilinx® FPGAs Using Vivado
Yazar 
Churiwala, Sanjay. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42438-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
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:
31. 
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:
32. 
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:
33. 
Techniques for Building Timing-Predictable Embedded Systems için kapak resmi
Techniques for Building Timing-Predictable Embedded Systems
Yazar 
Guan, Nan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-27198-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection için kapak resmi
IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection
Yazar 
Mohamed, Khaled Salah. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-22035-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Heterogeneous Reconfigurable Processors for Real-Time Baseband Processing From Algorithm to Architecture için kapak resmi
Heterogeneous Reconfigurable Processors for Real-Time Baseband Processing From Algorithm to Architecture
Yazar 
Zhang, Chenxin. author. Liu, Liang. author. Öwall, Viktor. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-24004-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Soft Error Mechanisms, Modeling and Mitigation için kapak resmi
Soft Error Mechanisms, Modeling and Mitigation
Yazar 
Sayil, Selahattin. author. (orcid)0000-0003-4158-0454 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30607-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: