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ç
10 sonuç bulundu Arama sonuçlarına abone ol
0000000000DEFAULT_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. 
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:
3. 
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:
4. 
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:
5. 
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:
6. 
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:
7. 
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:
8. 
Co-verification of hardware and software for ARM SoC design için kapak resmi
Co-verification of hardware and software for ARM SoC design
Yazar 
Andrews, Jason R.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780750677301
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Principles of functional verification için kapak resmi
Principles of functional verification
Yazar 
Meyer, Andreas (Andreas S.)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780750676175
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Trace theory for automatic hierarchical verification of speed-independent circuits için kapak resmi
Trace theory for automatic hierarchical verification of speed-independent circuits
Yazar 
Dill, David L.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267249
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets