Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(83)
Liu, Honghai. editor.
(5)
Kotzé, Paula. editor.
(4)
Lindgaard, Gitte. editor.
(4)
Marsden, Gary. editor.
(4)
Dil
Yayın Yılı
-
Konu
Artificial intelligence.
(79)
Computer science.
(77)
Artificial Intelligence (incl. Robotics).
(65)
Information Systems Applications (incl. Internet).
(23)
Computer Communication Networks.
(21)
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ç
83 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
SmartShadow: Models and Methods for Pervasive Computing için kapak resmi
SmartShadow: Models and Methods for Pervasive Computing
Yazar 
Wu, Zhaohui. author. Pan, Gang. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334190.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36382-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Semantic Mashups Intelligent Reuse of Web Resources için kapak resmi
Semantic Mashups Intelligent Reuse of Web Resources
Yazar 
Endres-Niggemeyer, Brigitte. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334195.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36403-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Advanced Information Systems Engineering Workshops CAiSE 2013 International Workshops, Valencia, Spain, June 17-21, 2013. Proceedings için kapak resmi
Advanced Information Systems Engineering Workshops CAiSE 2013 International Workshops, Valencia, Spain, June 17-21, 2013. Proceedings
Yazar 
Franch, Xavier. editor. Soffer, Pnina. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334609.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38490-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings için kapak resmi
Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
Yazar 
Bonacina, Maria Paola. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334626.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38574-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Web Engineering 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings için kapak resmi
Web Engineering 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings
Yazar 
Daniel, Florian. editor. Dolog, Peter. editor. Li, Qing. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334750.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39200-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
RoboCup 2012: Robot Soccer World Cup XVI için kapak resmi
RoboCup 2012: Robot Soccer World Cup XVI
Yazar 
Chen, Xiaoping. editor. Stone, Peter. editor. Sucar, Luis Enrique. editor. Zant, Tijn. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334765.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39250-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Inclusive Society: Health and Wellbeing in the Community, and Care at Home 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings için kapak resmi
Inclusive Society: Health and Wellbeing in the Community, and Care at Home 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings
Yazar 
Biswas, Jit. editor. Kobayashi, Hisato. editor. Wong, Lawrence. editor. Abdulrazak, Bessam. editor. Mokhtari, Mounir. editor.
Yer Numarası 
ONLINE(334804.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39470-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings için kapak resmi
Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings
Yazar 
Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334814.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39521-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers için kapak resmi
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Yazar 
Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334820.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39611-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings için kapak resmi
Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
Yazar 
Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.
Yer Numarası 
ONLINE(334822.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39617-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings için kapak resmi
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Yazar 
Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334825.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39634-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings için kapak resmi
Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
Yazar 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334840.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39718-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç