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. 
Compilation for Secure Multi-party Computation için kapak resmi
Compilation for Secure Multi-party Computation
Yazar 
Büscher, Niklas. author. Katzenbeisser, Stefan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67522-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Separation Logic for High-level Synthesis için kapak resmi
Separation Logic for High-level Synthesis
Yazar 
Winterstein, Felix. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-53222-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Model-Implementation Fidelity in Cyber Physical System Design için kapak resmi
Model-Implementation Fidelity in Cyber Physical System Design
Yazar 
Molnos, Anca. editor. Fabre, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47307-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Fault-Tolerant Digital Microfluidic Biochips Compilation and Synthesis için kapak resmi
Fault-Tolerant Digital Microfluidic Biochips Compilation and Synthesis
Yazar 
Pop, Paul. author. Alistar, Mirela. author. Stuart, Elena. author. Madsen, Jan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23072-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: