Arama Sonuçlarını Sınırlandır
Yazar
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ç
12 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers için kapak resmi
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
Yazar 
Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-21292-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures için kapak resmi
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Yazar 
Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11757283
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings için kapak resmi
Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings
Yazar 
Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Ortiz, Angel. editor. SpringerLink (Online service)
Yer Numarası 
XX(520625.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42622-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings için kapak resmi
Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Yazar 
Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Yer Numarası 
XX(521324.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-7584-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings için kapak resmi
Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
Yazar 
Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)
Yer Numarası 
XX(518878.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21365-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Industrial used of formal method formal verification için kapak resmi
Industrial used of formal method formal verification
Yazar 
Boulanger, Jean-Louis.
Yer Numarası 
ONLINE
Elektronik Erişim 
Wiley http://dx.doi.org/10.1002/9781118561829
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Model-Based Requirements Engineering için kapak resmi
Model-Based Requirements Engineering
Yazar 
Holt, Jon Perry, Simon A Brownsword, Mike
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1049/PBPC009E
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Data flow analysis theory and practice için kapak resmi
Data flow analysis theory and practice
Yazar 
Khedker, Uday. Sanyal, Amitabha. Karkare, Bageshri.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Modeling and verification of real-time systems formalisms and software tools için kapak resmi
Modeling and verification of real-time systems formalisms and software tools
Yazar 
Merz, Stephan. Navet, Nicolas.
Yer Numarası 
ONLINE
Elektronik Erişim 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=477643
John Wiley http://dx.doi.org/10.1002/9780470611012
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007045063-b.html
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
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:
11. 
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:
12. 
Verification and validation for quality of UML 2.0 models için kapak resmi
Verification and validation for quality of UML 2.0 models
Yazar 
Unhelkar, Bhuvan. Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
Click for information
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0619/2004065931-b.html
John Wiley http://dx.doi.org/10.1002/0471734322
http://swb.eblib.com/patron/FullRecord.aspx?p=238767
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: