Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(71)
Queiroz, Ruy. editor.
(7)
Project Muse.
(4)
de Queiroz, Ruy. editor.
(3)
Aloni, Maria. editor.
(2)
Dil
Yayın Yılı
-
Konu
Computer science.
(18)
Artificial intelligence.
(17)
Language and logic.
(8)
Computer software.
(7)
Mathematical logic.
(6)
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ç
98 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
73. 
Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings için kapak resmi
Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Yazar 
Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)
Yer Numarası 
XX(518980.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19282-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
74. 
Knowledge Engineering and Knowledge Management EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers. için kapak resmi
Knowledge Engineering and Knowledge Management EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers.
Yazar 
Lambrix, Patrick. editor. Hyvönen, Eero. editor. Blomqvist, Eva. editor. Presutti, Valentina. editor. Qi, Guilin. editor.
Yer Numarası 
XX(518853.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-17966-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
75. 
Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings için kapak resmi
Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
Yazar 
Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)
Yer Numarası 
XX(518878.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21365-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
76. 
Advances in Intelligent Data Analysis XIV 14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015. Proceedings için kapak resmi
Advances in Intelligent Data Analysis XIV 14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015. Proceedings
Yazar 
Fromont, Elisa. editor. De Bie, Tijl. editor. van Leeuwen, Matthijs. editor. SpringerLink (Online service)
Yer Numarası 
XX(518899.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-24465-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
77. 
Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings için kapak resmi
Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings
Yazar 
Gaaloul, Khaled. editor. Schmidt, Rainer. editor. (orcid) Nurcan, Selmin. editor. Guerreiro, Sérgio. editor. Ma, Qin. editor.
Yer Numarası 
XX(518632.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19237-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
78. 
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings için kapak resmi
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Yazar 
van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)
Yer Numarası 
XX(519137.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-48561-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
79. 
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. için kapak resmi
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
Yazar 
Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
XX(519146.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46823-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
80. 
Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. için kapak resmi
Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.
Yazar 
ten Cate, Balder. editor. Mileo, Alessandra. editor. SpringerLink (Online service)
Yer Numarası 
XX(519157.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-22002-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
81. 
Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings için kapak resmi
Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings
Yazar 
Yu, Xiaohui. editor. Dong, Xin Luna. editor. Li, Jian. editor. SUN, YIZHOU. editor. SpringerLink (Online service)
Yer Numarası 
XX(519168.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21042-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
82. 
Advances in Web-Based Learning - ICWL 2013 Workshops USL 2013, IWSLL 2013, KMEL 2013, IWCWL 2013, WIL 2013, and IWEEC 2013, Kenting, Taiwan, October 6-9, 2013, Revised Selected Papers için kapak resmi
Advances in Web-Based Learning - ICWL 2013 Workshops USL 2013, IWSLL 2013, KMEL 2013, IWCWL 2013, WIL 2013, and IWEEC 2013, Kenting, Taiwan, October 6-9, 2013, Revised Selected Papers
Yazar 
Chiu, Dickson K. W. editor. Wang, Minhong. editor. Popescu, Elvira. editor. Li, Qing. editor. Lau, Rynson. editor.
Yer Numarası 
XX(519056.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46315-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
83. 
New Frontiers in Artificial Intelligence JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers için kapak resmi
New Frontiers in Artificial Intelligence JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers
Yazar 
Murata, Tsuyoshi. editor. Mineshima, Koji. editor. Bekki, Daisuke. editor. SpringerLink (Online service)
Yer Numarası 
XX(519061.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-48119-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
84. 
Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I için kapak resmi
Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I
Yazar 
Gelbukh, Alexander. editor. SpringerLink (Online service)
Yer Numarası 
XX(519079.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-18111-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç