Arama Sonuçlarını Sınırlandır
Yazar
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ç
15 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Emerging Electronic Devices, Circuits and Systems Select Proceedings of EEDCS Workshop Held in Conjunction with ISDCS 2022 için kapak resmi
Emerging Electronic Devices, Circuits and Systems Select Proceedings of EEDCS Workshop Held in Conjunction with ISDCS 2022
Yazar 
Giri, Chandan. editor. Iizuka, Takahiro. editor. Rahaman, Hafizur. editor. Bhattacharya, Bhargab B. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-0055-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Design of CMOS Analog Integrated Fractional-Order Circuits Applications in Medicine and Biology için kapak resmi
Design of CMOS Analog Integrated Fractional-Order Circuits Applications in Medicine and Biology
Yazar 
Tsirimokou, Georgia. author. Psychalinos, Costas. author. Elwakil, Ahmed. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-55633-8
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. 
Design of Reconfigurable Logic Controllers için kapak resmi
Design of Reconfigurable Logic Controllers
Yazar 
Karatkevich, Andrei. editor. Bukowiec, Arkadiusz. editor. Doligalski, Michał. editor. Tkacz, Jacek. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-26725-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2014 için kapak resmi
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2014
Yazar 
Oppenheimer, Frank. editor. Medina Pasaje, Julio Luis. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-24457-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Weather Hazard Warning Application in Car-to-X Communication Concepts, Implementations, and Evaluations için kapak resmi
Weather Hazard Warning Application in Car-to-X Communication Concepts, Implementations, and Evaluations
Yazar 
Jaeger, Attila. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-15316-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Applied formal verification için kapak resmi
Applied formal verification
Yazar 
Perry, Douglas L. Foster, Harry, 1956-
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Digital system verification a combined formal methods and simulation framework için kapak resmi
Digital system verification a combined formal methods and simulation framework
Yazar 
Li, Lun, 1970- Thornton, Mitchell Aaron.
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440373
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Practical Design Verification için kapak resmi
Practical Design Verification
Yazar 
Pradhan, Dhiraj K.. Harris, Ian G..
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Verification techniques for system-level design için kapak resmi
Verification techniques for system-level design
Yazar 
Fujita, Masahiro, 1956- Ghosh, Indradeep, 1970- Prasad, Mukul.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780123706164
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Verification of systems and circuits using LOTOS, Petri Nets, and CCS için kapak resmi
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Yazar 
Yoeli, Michael, 1917- Kol, Rakefet.
Yer Numarası 
ONLINE
Elektronik Erişim 
Available by subscription from Safari Books Online
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0809/2007033487-b.html
John Wiley http://dx.doi.org/10.1002/9780470253410
Volltext http://proquest.tech.safaribooksonline.de/9780471704492
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
EDA for IC system design, verification, and testing için kapak resmi
EDA for IC system design, verification, and testing
Yazar 
Lavagno, Luciano, 1959- Martin, Grant (Grant Edmund) Scheffer, Louis Kossuth.
Yer Numarası 
TK7874 .E26 2006
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: