Limit Search Results
Author
SpringerLink (Online service)
(217)
Bramer, Max. author.
(3)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(2)
Chapman, Barbara M. editor.
(2)
Dastani, Mehdi. editor.
(2)
Language
English
(217)
Publication Date
-
2013
(68)
2017
(50)
2016
(38)
2024
(24)
2025
(19)
Subject
Computer programming.
(149)
Computer science.
(124)
Software engineering.
(123)
Compilers (Computer programs).
(78)
Compilers and Interpreters.
(78)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
217 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings
Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings
Author 
Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270 Tichy, Matthias. editor. (orcid)0000-0002-9067-3748 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94706-3
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Category Theory Using Haskell An Introduction with Moggi and Yoneda
Category Theory Using Haskell An Introduction with Moggi and Yoneda
Author 
Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68538-5
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers
Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers
Author 
Hemann, Jason. editor. (orcid)0000-0002-5405-2936 Chang, Stephen. editor. (orcid)0000-0002-4760-0658 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74558-4
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Chatbots and Human-Centered AI 8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4-5, 2024, Revised Selected Papers
Chatbots and Human-Centered AI 8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4-5, 2024, Revised Selected Papers
Author 
Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Papadopoulos, Symeon. editor. (orcid)0000-0002-5441-7341 Araujo, Theo. editor. (orcid)0000-0002-4633-9339 Law, Effie L.-C. editor. (orcid)0000-0002-0873-0150 Luger, Ewa. editor. (orcid)0000-0001-7882-9415
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88045-2
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings
Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings
Author 
Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8943-6
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Object-Oriented Analysis, Design and Implementation An Integrated Approach
Object-Oriented Analysis, Design and Implementation An Integrated Approach
Author 
Dathan, Brahma. author. Ramnath, Sarnath. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71240-1
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings
Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings
Author 
Harmer, Russ. editor. (orcid)0000-0002-0817-1029 Kosiol, Jens. editor. (orcid)0000-0003-4733-2777 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64285-2
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Reuse and Software Quality 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024, Proceedings
Reuse and Software Quality 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024, Proceedings
Author 
Achilleos, Achilleas. editor. (orcid)0000-0001-7157-8991 Fuentes, Lidia. editor. (orcid)0000-0002-5677-7156 Papadopoulos, George Angelos. editor. (orcid)0000-0001-9250-4916 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66459-5
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Guide to Competitive Programming Learning and Improving Algorithms Through Contests
Guide to Competitive Programming Learning and Improving Algorithms Through Contests
Author 
Laaksonen, Antti. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61794-2
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings
Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings
Author 
Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Mery, Dominique. editor. (orcid)0000-0001-5231-6611 Sun, Meng. editor. Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0617-7
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Data Structures and Algorithms with Python With an Introduction to Multiprocessing
Data Structures and Algorithms with Python With an Introduction to Multiprocessing
Author 
Lee, Kent D. author. Hubbard, Steve. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42209-6
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Active Object Languages: Current Research Trends
Active Object Languages: Current Research Trends
Author 
de Boer, Frank. editor. Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706 Hähnle, Reiner. editor. Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949 Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-51060-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action