Limit Search Results
Author
SpringerLink (Online service)
(193)
Voronkov, Andrei. editor.
(10)
Fages, François. editor.
(5)
Rossi, Francesca. editor.
(5)
Bordini, Rafael H. editor.
(3)
Language
English
(193)
Publication Date
-
Subject
Computer science.
(170)
Software engineering.
(139)
Artificial intelligence.
(73)
Logics and Meanings of Programs.
(55)
Programming Languages, Compilers, Interpreters.
(49)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
193 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
Author 
Butterfield, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14521-6
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
Author 
Dovier, Agostino. editor. Pontelli, Enrico. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14309-0
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
Author 
Qin, Shengchao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16690-7
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
Author 
Ueda, Kazunori. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17164-2
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures
Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures
Author 
Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. Zsók, Viktória. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17685-2
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Principles and Practice of Constraint Programming – CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings
Principles and Practice of Constraint Programming – CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings
Author 
Cohen, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15396-9
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
Author 
Blume, Matthias. editor. Kobayashi, Naoki. editor. Vidal, Germán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12251-4
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
Author 
Fermüller, Christian G. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16242-8
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Author 
Castagna, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00590-9
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings
Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings
Author 
Hu, Zhenjiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10672-9
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings
Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings
Author 
Hill, Patricia M. editor. Warren, David S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02846-5
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for ECOOP 2009 – Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings
ECOOP 2009 – Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings
Author 
Drossopoulou, Sophia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03013-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action