Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
7 sonuç bulundu Arama sonuçlarına abone ol
0000000DEFAULT_TR
Yazdır
1. 
Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test için kapak resmi
Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test
Yazar 
Chandrasekharan, Arun. author. Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-98965-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Exact Design of Digital Microfluidic Biochips için kapak resmi
Exact Design of Digital Microfluidic Biochips
Yazar 
Keszocze, Oliver. author. Wille, Robert. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-90936-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
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:
4. 
High Quality Test Pattern Generation and Boolean Satisfiability için kapak resmi
High Quality Test Pattern Generation and Boolean Satisfiability
Yazar 
Eggersglüß, Stephan. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-9976-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Test Pattern Generation using Boolean Proof Engines için kapak resmi
Test Pattern Generation using Boolean Proof Engines
Yazar 
Drechsler, Rolf. author. Eggersglüβ, Stephan. author. Fey, Görschwin. author. Tille, Daniel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-2360-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Robustness and Usability in Modern Design Flows için kapak resmi
Robustness and Usability in Modern Design Flows
Yazar 
Fey, Görschwin. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6536-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Advanced BDD Optimization için kapak resmi
Advanced BDD Optimization
Yazar 
Ebendt, Rüdiger. author. Fey, Görschwin. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b107399
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: