Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(193)
Voronkov, Andrei. editor.
(10)
Fages, François. editor.
(5)
Rossi, Francesca. editor.
(5)
Bordini, Rafael H. editor.
(3)
Dil
English
(193)
Yayın Yılı
-
Konu
Computer science.
(170)
Software engineering.
(139)
Artificial intelligence.
(73)
Logics and Meanings of Programs.
(55)
Programming Languages, Compilers, Interpreters.
(49)
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ç
193 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers için kapak resmi
Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
Yazar 
Larrosa, Javier. editor. O’Sullivan, Barry. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19486-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings için kapak resmi
Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Yazar 
Barthe, Gilles. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19718-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers için kapak resmi
Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
Yazar 
Mariño, Julio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-20775-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
Yazar 
Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-20895-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II için kapak resmi
Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II
Yazar 
Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22012-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers için kapak resmi
Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers
Yazar 
Page, Rex. editor. Horváth, Zoltán. editor. Zsók, Viktória. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22941-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers için kapak resmi
Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers
Yazar 
Raedt, Luc. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13840-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Principles and Practice of Constraint Programming – CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings için kapak resmi
Principles and Practice of Constraint Programming – CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings
Yazar 
Cohen, David. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15396-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
Yazar 
Fermüller, Christian G. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16242-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings için kapak resmi
Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
Yazar 
Qin, Shengchao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16690-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP için kapak resmi
A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
Yazar 
Dovier, Agostino. editor. Pontelli, Enrico. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14309-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
ECOOP 2010 – Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings için kapak resmi
ECOOP 2010 – Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings
Yazar 
D’Hondt, Theo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14107-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç