Başlık:
Model Checking and Artificial Intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
Yazar:
Meyden, Ron. editor.
ISBN:
9783642206740
Fiziksel Tanımlama:
XI, 131p. online resource.
Seri:
Lecture Notes in Computer Science, 6572
Seri Başlığı:
Lecture Notes in Computer Science, 0302-9743 ; 6572
Yazar Ek Girişi:
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
http://dx.doi.org/10.1007/978-3-642-20674-0Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 194449-2001 | ONLINE | Arıyor... | Arıyor... |