Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
8 sonuç bulundu Arama sonuçlarına abone ol
00000000DEFAULT_TR
Yazdır
1. 
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:
2. 
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:
3. 
Debugging at the Electronic System Level için kapak resmi
Debugging at the Electronic System Level
Yazar 
Rogin, Frank. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-9255-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Quality-Driven SystemC Design için kapak resmi
Quality-Driven SystemC Design
Yazar 
Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-3631-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Towards a Design Flow for Reversible Logic için kapak resmi
Towards a Design Flow for Reversible Logic
Yazar 
Wille, Robert. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-9579-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
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:
7. 
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:
8. 
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: