Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(381)
Cao, Longbing. editor.
(7)
Nguyen, Ngoc Thanh. editor.
(6)
Gavrilova, Marina L. editor.
(5)
Hou, Zeng-Guang. editor.
(5)
Dil
English
(381)
Yayın Yılı
-
2013
(381)
Konu
Artificial Intelligence (incl. Robotics).
(381)
Artificial intelligence.
(381)
Information Systems Applications (incl. Internet).
(119)
Information Storage and Retrieval.
(109)
Information storage and retrieval systems.
(109)
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ç
381 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings için kapak resmi
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Yazar 
Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334073.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35873-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers için kapak resmi
Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers
Yazar 
Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.
Yer Numarası 
ONLINE(334092.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35975-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Evolutionary and Biologically Inspired Music, Sound, Art and Design Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings için kapak resmi
Evolutionary and Biologically Inspired Music, Sound, Art and Design Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Yazar 
Machado, Penousal. editor. McDermott, James. editor. Carballal, Adrian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334330.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36955-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers için kapak resmi
Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers
Yazar 
Bezhanishvili, Guram. editor. Löbner, Sebastian. editor. Marra, Vincenzo. editor. Richter, Frank. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334337.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36976-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Process Support and Knowledge Representation in Health Care BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers için kapak resmi
Process Support and Knowledge Representation in Health Care BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers
Yazar 
Lenz, Richard. editor. Miksch, Silvia. editor. Peleg, Mor. editor. Reichert, Manfred. editor. Riaño, David. editor.
Yer Numarası 
ONLINE(334204.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36438-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Cognitive Agents for Virtual Environments First International Workshop, CAVE 2012, Held at AAMAS 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers için kapak resmi
Cognitive Agents for Virtual Environments First International Workshop, CAVE 2012, Held at AAMAS 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Yazar 
Dignum, Frank. editor. Brom, Cyril. editor. Hindriks, Koen. editor. Beer, Martin. editor. Richards, Deborah. editor.
Yer Numarası 
ONLINE(334206.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36444-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Transactions on Rough Sets XVI için kapak resmi
Transactions on Rough Sets XVI
Yazar 
Peters, James F. editor. Skowron, Andrzej. editor. Ramanna, Sheela. editor. Suraj, Zbigniew. editor. Wang, Xin. editor.
Yer Numarası 
ONLINE(334220.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36505-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Programming Logics Essays in Memory of Harald Ganzinger için kapak resmi
Programming Logics Essays in Memory of Harald Ganzinger
Yazar 
Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334468.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37651-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
The Deductive Spreadsheet için kapak resmi
The Deductive Spreadsheet
Yazar 
Cervesato, Iliano. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334475.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37747-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Coordination, Organizations, Institutions, and Norms in Agent Systems VIII 14th International Workshop, COIN 2012, Held Co-located with AAMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers için kapak resmi
Coordination, Organizations, Institutions, and Norms in Agent Systems VIII 14th International Workshop, COIN 2012, Held Co-located with AAMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers
Yazar 
Aldewereld, Huib. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334477.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37756-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Advances in Computational Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part II için kapak resmi
Advances in Computational Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part II
Yazar 
Batyrshin, Ildar. editor. Mendoza, Miguel González. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334483.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37798-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Advances in Artificial Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part I için kapak resmi
Advances in Artificial Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part I
Yazar 
Batyrshin, Ildar. editor. González Mendoza, Miguel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334486.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37807-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç