Arama Sonuçlarını Sınırlandır
Yazar
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ç
10 sonuç bulundu Arama sonuçlarına abone ol
0000000000DEFAULT_TR
Yazdır
1. 
Formal Specification Level Concepts, Methods, and Algorithms için kapak resmi
Formal Specification Level Concepts, Methods, and Algorithms
Yazar 
Soeken, Mathias. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08699-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Security Policy in System-on-Chip Designs Specification, Implementation and Verification için kapak resmi
Security Policy in System-on-Chip Designs Specification, Implementation and Verification
Yazar 
Ray, Sandip. author. Basak, Abhishek. author. Bhunia, Swarup. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-93464-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
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:
4. 
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:
5. 
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:
6. 
Hardware Security and Trust Design and Deployment of Integrated Circuits in a Threatened Environment için kapak resmi
Hardware Security and Trust Design and Deployment of Integrated Circuits in a Threatened Environment
Yazar 
Sklavos, Nicolas. editor. Chaves, Ricardo. editor. Di Natale, Giorgio. editor. Regazzoni, Francesco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-44318-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015 için kapak resmi
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015
Yazar 
Drechsler, Rolf. editor. Wille, Robert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-31723-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
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:
9. 
FPGA Design Best Practices for Team-based Reuse için kapak resmi
FPGA Design Best Practices for Team-based Reuse
Yazar 
Simpson, Philip Andrew. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-17924-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2013 için kapak resmi
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2013
Yazar 
Louërat, Marie-Minerve. editor. Maehne, Torsten. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-06317-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: