Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
tarafından
 
Liu, Zhiming. editor.

Başlık
Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Yazar
Liu, Zhiming. editor.

ISBN
9783642397189

Fiziksel Tanımlama
XII, 445 p. 100 illus. online resource.

Seri
Lecture Notes in Computer Science, 8049

Konu Terimleri
Computer science.
 
Software engineering.
 
Logic design.
 
Artificial intelligence.
 
Logics and Meanings of Programs.
 
Artificial Intelligence (incl. Robotics).

Yazar Ek Girişi
Woodcock, Jim.
 
Zhu, Huibiao.

Tüzel Kişi Ek Girişi
SpringerLink (Online service)

Elektronik Erişim
http://dx.doi.org/10.1007/978-3-642-39718-9


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap334840-1001ONLINE(334840.1)Elektronik Kütüphane