Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(26)
Drechsler, Rolf. author.
(16)
Drechsler, Rolf. editor.
(10)
Squillero, Giovanni. editor.
(5)
Cagnoni, Stefano. editor.
(4)
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ç
26 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems için kapak resmi
Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems
Yazar 
Drechsler, Rolf. editor. Huhn, Sebastian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-28916-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Formal System Verification State-of the-Art and Future Trends için kapak resmi
Formal System Verification State-of the-Art and Future Trends
Yazar 
Drechsler, Rolf. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-57685-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
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:
4. 
Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 için kapak resmi
Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
Yazar 
Drechsler, Rolf. editor. Kühne, Ulrich. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-09994-7
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. 
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Better Early than Never için kapak resmi
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Better Early than Never
Yazar 
Pieper, Pascal. author. (orcid)0000-0002-7155-2537 Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-51692-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Advanced Logic Synthesis için kapak resmi
Advanced Logic Synthesis
Yazar 
Reis, André Inácio. editor. Drechsler, Rolf. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67295-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Reversible and Quantum Circuits Optimization and Complexity Analysis için kapak resmi
Reversible and Quantum Circuits Optimization and Complexity Analysis
Yazar 
Abdessaied, Nabila. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-31937-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
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:
10. 
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:
11. 
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:
12. 
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: