Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(76)
Iliadis, Lazaros. editor.
(3)
Nguyen, Ngoc Thanh. editor.
(3)
Papadopoulos, Harris. editor.
(3)
Bravo, José. editor.
(2)
Dil
Yayın Yılı
-
2013
(76)
Konu
Artificial intelligence.
(76)
Computer science.
(74)
Computer Communication Networks.
(50)
Information Systems Applications (incl. Internet).
(31)
Information systems.
(24)
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ç
76 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
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:
2. 
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:
3. 
Applications of Evolutionary Computation 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings için kapak resmi
Applications of Evolutionary Computation 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Yazar 
Esparcia-Alcázar, Anna I. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334381.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37192-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
SemProM Foundations of Semantic Product Memories for the Internet of Things için kapak resmi
SemProM Foundations of Semantic Product Memories for the Internet of Things
Yazar 
Wahlster, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334416.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37377-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Massively Parallel Evolutionary Computation on GPGPUs için kapak resmi
Massively Parallel Evolutionary Computation on GPGPUs
Yazar 
Tsutsui, Shigeyoshi. editor. Collet, Pierre. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334507.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37959-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Human Factors in Computing and Informatics First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings için kapak resmi
Human Factors in Computing and Informatics First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings
Yazar 
Holzinger, Andreas. editor. Ziefle, Martina. editor. Hitz, Martin. editor. Debevc, Matjaž. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334721.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39062-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Yazar 
Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334724.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39071-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings için kapak resmi
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
Yazar 
Gaag, Linda C. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334728.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39091-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
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:
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. 
Data Management in Cloud, Grid and P2P Systems 6th International Conference, Globe 2013, Prague, Czech Republic, August 28-29, 2013. Proceedings için kapak resmi
Data Management in Cloud, Grid and P2P Systems 6th International Conference, Globe 2013, Prague, Czech Republic, August 28-29, 2013. Proceedings
Yazar 
Hameurlain, Abdelkader. editor. Rahayu, Wenny. editor. Taniar, David. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334884.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40053-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Data Integration in the Life Sciences 9th International Conference, DILS 2013, Montreal, QC, Canada, July 11-12, 2013. Proceedings için kapak resmi
Data Integration in the Life Sciences 9th International Conference, DILS 2013, Montreal, QC, Canada, July 11-12, 2013. Proceedings
Yazar 
Baker, Christopher J. O. editor. Butler, Greg. editor. Jurisica, Igor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334800.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39437-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç