Limit Search Results
Author
SpringerLink (Online service)
(303)
Taylor and Francis.
(7)
Noble, James. editor.
(5)
Aceto, Luca. editor.
(4)
Cordeiro, José. editor.
(4)
Language
Publication Date
-
Subject
Software engineering.
(186)
Computer science.
(154)
Programming languages (Electronic computers).
(127)
Programming Languages, Compilers, Interpreters.
(92)
Logic design.
(77)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
488 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Multi-Agent Programming: Languages, Tools and Applications
Multi-Agent Programming: Languages, Tools and Applications
Author 
El Fallah Seghrouchni, Amal. editor. Dix, Jürgen. editor. Dastani, Mehdi. editor. Bordini, Rafael H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-89299-3
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Transactions on Pattern Languages of Programming I
Transactions on Pattern Languages of Programming I
Author 
Noble, James. editor. Johnson, Ralph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10832-7
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Multi-Agent Programming Languages, Platforms and Applications
Multi-Agent Programming Languages, Platforms and Applications
Author 
Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137449
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Logic programming languages constraints, functions, and objects
Logic programming languages constraints, functions, and objects
Author 
Apt, Krzysztof R., 1949- Bakker, J. W. de (Jacobus Willem), 1939- Rutten, J. J. M. M.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings
Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings
Author 
Hur, Chung-Kil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8311-7
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Author 
Wies, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30044-8
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Foundations of probabilistic logic programming : languages, semantics, inference and learning
Foundations of probabilistic logic programming : languages, semantics, inference and learning
Author 
Riguzzi, Fabrizio, author.
Preferred Shelf Number 
QA76.63
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003427421
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Concepts and semantics of programming languages. 1 : a semantical approach with OCaml and Python
Concepts and semantics of programming languages. 1 : a semantical approach with OCaml and Python
Author 
Hardin, Therese. Jaume, Mathieu. Pessaux, François. Donzeau-Gouge, Véronique.
Preferred Shelf Number 
QA76.7
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119824121
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Concepts and semantics of programming languages 2 : modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java
Concepts and semantics of programming languages 2 : modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java
Author 
Hardin, Thérèse, author. Jaume, Mathieu, author. Pessaux, Francois, author. Donzeau-Gouge, Véronique, author.
Preferred Shelf Number 
QA76.7
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119851196
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Author 
Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17184-1
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
Author 
Boreale, Michele. editor. (orcid)0000-0002-1972-7491 Corradini, Flavio. editor. Loreti, Michele. editor. (orcid)0000-0003-3061-863X Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21485-2
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
Author 
Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34175-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action