Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(438)
Liu, Honghai. editor.
(12)
Cao, Longbing. editor.
(7)
Nguyen, Ngoc Thanh. editor.
(6)
Vadakkepat, Prahlad. editor.
(6)
Dil
English
(438)
Yayın Yılı
-
Konu
Artificial intelligence.
(423)
Artificial Intelligence (incl. Robotics).
(381)
Information Systems Applications (incl. Internet).
(119)
Computer vision.
(114)
Information storage and retrieval systems.
(110)
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ç
438 sonuç bulundu Arama sonuçlarına abone ol
000000DEFAULT_TR
Yazdır
433. 
Reactive Kripke Semantics için kapak resmi
Reactive Kripke Semantics
Yazar 
Gabbay, Dov M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335100.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41389-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
434. 
Applications of Declarative Programming and Knowledge Management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers için kapak resmi
Applications of Declarative Programming and Knowledge Management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers
Yazar 
Tompits, Hans. editor. Abreu, Salvador. editor. Oetsch, Johannes. editor. Pührer, Jörg. editor. Seipel, Dietmar. editor.
Yer Numarası 
ONLINE(335118.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41524-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
435. 
Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings için kapak resmi
Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings
Yazar 
Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335433.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-4-431-54436-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
436. 
Agreement Technologies için kapak resmi
Agreement Technologies
Yazar 
Ossowski, Sascha. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(336009.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-5583-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
437. 
The 3rd International Workshop on Intelligent Data Analysis and Management için kapak resmi
The 3rd International Workshop on Intelligent Data Analysis and Management
Yazar 
Uden, Lorna. editor. Wang, Leon S.L. editor. Hong, Tzung-Pei. editor. Yang, Hsin-Chang. editor. Ting, I-Hsien. editor.
Yer Numarası 
ONLINE(336358.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-7293-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
438. 
Human Aspects in Ambient Intelligence Contemporary Challenges and Solutions için kapak resmi
Human Aspects in Ambient Intelligence Contemporary Challenges and Solutions
Yazar 
Bosse, Tibor. editor. Cook, Diane J. editor. Neerincx, Mark. editor. Sadri, Fariba. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(336488.1)
Elektronik Erişim 
http://dx.doi.org/10.2991/978-94-6239-018-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç