Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
tarafından
Fontaine, Pascal. editor.
Başlık
:
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Yazar
:
Fontaine, Pascal. editor.
ISBN
:
9783642408854
Fiziksel Tanımlama
:
XII, 359 p. 35 illus. online resource.
Seri
:
Lecture Notes in Computer Science, 8152
Konu Terimleri
:
Computer science.
Software engineering.
Computer software.
Logic design.
Artificial intelligence.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Yazar Ek Girişi
:
Ringeissen, Christophe.
Schmidt, Renate A.
Tüzel Kişi Ek Girişi
:
SpringerLink (Online service)
Elektronik Erişim
:
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Çevrimiçi Kütüphane | E-Kitap | 335023-1001 | ONLINE(335023.1) | | Elektronik Kütüphane |