Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
4 sonuç bulundu Arama sonuçlarına abone ol
0000DEFAULT_TR
Yazdır
1. 
Explainable machine learning models and architectures için kapak resmi
Explainable machine learning models and architectures
Yazar 
Tripathi, Suman Lata, editor. Mahmud, Mufti, editor.
Yer Numarası 
Q325.5 .E98 2023
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394186570
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
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:
3. 
SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications için kapak resmi
SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications
Yazar 
Mehta, Ashok B. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30539-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
SVA: The Power of Assertions in SystemVerilog için kapak resmi
SVA: The Power of Assertions in SystemVerilog
Yazar 
Cerny, Eduard. author. Dudani, Surrendra. author. Havlicek, John. author. Korchemny, Dmitry. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-07139-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: