Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(52)
Bouchon-Meunier, Bernadette. editor.
(3)
Laurent, Anne. editor.
(3)
Paschke, Adrian. editor.
(3)
Strauss, Olivier. editor.
(3)
Dil
Yayın Yılı
-
Konu
Artificial intelligence.
(37)
Computer science.
(31)
Logic design.
(22)
Mathematical logic.
(13)
Information systems.
(12)
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ç
54 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
Theory and Practice of Computation Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings için kapak resmi
Theory and Practice of Computation Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings
Yazar 
Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-4-431-54106-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings için kapak resmi
Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings
Yazar 
Atzeni, Paolo. editor. Cheung, David. editor. Ram, Sudha. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34002-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Computer Performance Engineering 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings için kapak resmi
Computer Performance Engineering 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings
Yazar 
Thomas, Nigel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-24749-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I için kapak resmi
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Yazar 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16558-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II için kapak resmi
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Yazar 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16561-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Rough Sets and Knowledge Technology 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings için kapak resmi
Rough Sets and Knowledge Technology 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings
Yazar 
Wen, Peng. editor. Li, Yuefeng. editor. Polkowski, Lech. editor. Yao, Yiyu. editor. Tsumoto, Shusaku. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02962-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Agents and Data Mining Interaction 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers için kapak resmi
Agents and Data Mining Interaction 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers
Yazar 
Cao, Longbing. editor. Gorodetsky, Vladimir. editor. Liu, Jiming. editor. Weiss, Gerhard. editor. Yu, Philip S. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03603-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Semantic Techniques for the Web The REWERSE Perspective için kapak resmi
Semantic Techniques for the Web The REWERSE Perspective
Yazar 
Bry, François. editor. Małuszyński, Jan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-04581-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Rule Interchange and Applications International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings için kapak resmi
Rule Interchange and Applications International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings
Yazar 
Governatori, Guido. editor. Hall, John. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-04985-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings için kapak resmi
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings
Yazar 
Stützle, Thomas. editor. Birattari, Mauro. editor. Hoos, Holger H. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03751-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Foundations of Information and Knowledge Systems 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings için kapak resmi
Foundations of Information and Knowledge Systems 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings
Yazar 
Hartmann, Sven. editor. Kern-Isberner, Gabriele. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-77684-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Quality of Software Architectures. Models and Architectures 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings için kapak resmi
Quality of Software Architectures. Models and Architectures 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
Yazar 
Becker, Steffen. editor. Plasil, Frantisek. editor. Reussner, Ralf. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-87879-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç