Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(65)
Kotzé, Paula. editor.
(4)
Lindgaard, Gitte. editor.
(4)
Marsden, Gary. editor.
(4)
Wesson, Janet. editor.
(4)
Dil
Yayın Yılı
-
2013
(65)
Konu
Artificial intelligence.
(65)
Software engineering.
(65)
Computer science.
(63)
Information Systems Applications (incl. Internet).
(23)
Mathematical Logic and Formal Languages.
(19)
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ç
65 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers için kapak resmi
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
Yazar 
Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Yer Numarası 
ONLINE(334041.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35737-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings için kapak resmi
SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings
Yazar 
Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.
Yer Numarası 
ONLINE(334064.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35843-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
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:
4. 
Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers için kapak resmi
Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
Yazar 
Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334556.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38209-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
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:
6. 
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:
7. 
Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers için kapak resmi
Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers
Yazar 
Dastani, Mehdi. editor. Hübner, Jomi F. editor. Logan, Brian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334652.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38700-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
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:
9. 
Robotics in Smart Manufacturing International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedings için kapak resmi
Robotics in Smart Manufacturing International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedings
Yazar 
Neto, Pedro. editor. Moreira, António Paulo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334756.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39223-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
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:
11. 
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:
12. 
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:
Eylem Seç