Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(299)
Dix, Jürgen. editor.
(7)
Stenström, Per. editor.
(6)
Aldini, Alessandro. editor.
(5)
Baldoni, Matteo. editor.
(5)
Dil
English
(299)
Yayın Yılı
-
2007
(45)
2010
(41)
2005
(32)
2011
(32)
2006
(31)
Konu
Computer science.
(290)
Logic design.
(288)
Software engineering.
(243)
Artificial intelligence.
(89)
Information Systems.
(42)
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ç
299 sonuç bulundu Arama sonuçlarına abone ol
00000000000DEFAULT_TR
Yazdır
289. 
Natural Language Processing and Information Systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings için kapak resmi
Natural Language Processing and Information Systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings
Yazar 
Montoyo, Andrés. editor. Muńoz, Rafael. editor. Métais, Elisabeth. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b136569
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
290. 
Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers için kapak resmi
Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers
Yazar 
Barley, Michael Wayne. editor. Kasabov, Nik. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b107183
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
291. 
Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers için kapak resmi
Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers
Yazar 
Eijk, Rogier M. editor. Huget, Marc-Philippe. editor. Dignum, Frank. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106468
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
292. 
Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers için kapak resmi
Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers
Yazar 
Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b105887
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
293. 
High Performance Embedded Architectures and Compilers First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005. Proceedings için kapak resmi
High Performance Embedded Architectures and Compilers First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005. Proceedings
Yazar 
Conte, Tom. editor. Navarro, Nacho. editor. Hwu, Wen-mei W. editor. Valero, Mateo. editor. Ungerer, Theo. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11587514
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
294. 
Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning için kapak resmi
Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning
Yazar 
Kudenko, Daniel. editor. Kazakov, Dimitar. editor. Alonso, Eduardo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106974
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
295. 
Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers için kapak resmi
Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers
Yazar 
Priami, Corrado. editor. Quaglia, Paola. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b103251
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
296. 
Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers için kapak resmi
Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers
Yazar 
Gschwind, Thomas. editor. Aßmann, Uwe. editor. Nierstrasz, Oscar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11550679
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
297. 
Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings için kapak resmi
Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings
Yazar 
Peled, Doron A. editor. Tsay, Yih-Kuen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11562948
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
298. 
Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Yazar 
Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b107194
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
299. 
Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures için kapak resmi
Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Yazar 
Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b135888
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç