Limit Search Results
Author
Hunt, John. author.
(3)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(3)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(3)
Badger, Julia M. editor.
(2)
Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736
(2)
Language
English
(133)
Publication Date
-
Subject
Programming languages (Electronic computers).
(125)
Software engineering.
(85)
Computer logic.
(58)
Computer programming.
(36)
Artificial intelligence.
(26)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
133 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Learning Technology for Education Challenges 11th International Workshop, LTEC 2023, Bangkok, Thailand, July 24-27, 2023, Proceedings
Learning Technology for Education Challenges 11th International Workshop, LTEC 2023, Bangkok, Thailand, July 24-27, 2023, Proceedings
Author 
Uden, Lorna. editor. Liberona, Dario. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520455.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34754-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers
Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers
Author 
Sokolinsky, Leonid. editor. Zymbler, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520526.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38864-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings
High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings
Author 
Bhatele, Abhinav. editor. Hammond, Jeff. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520857.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32041-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Genetic Programming Theory and Practice XIX
Genetic Programming Theory and Practice XIX
Author 
Trujillo, Leonardo. editor. Winkler, Stephan M. editor. Silva, Sara. editor. Banzhaf, Wolfgang. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520304.1)
Electronic Access 
https://doi.org/10.1007/978-981-19-8460-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Languages and Compilers for Parallel Computing 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers
Languages and Compilers for Parallel Computing 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers
Author 
Hall, Mary. editor. (orcid)0000-0002-3058-7573 Sundar, Hari. editor. (orcid)0000-0001-9001-5107 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34627-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 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
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 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 
Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17127-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Answer Set Programming
Answer Set Programming
Author 
Lifschitz, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24658-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers
Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers
Author 
Zsók, Viktória. editor. Porkoláb, Zoltán. editor. Horváth, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28346-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
Author 
Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35333-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Author 
Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34968-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
Author 
Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27455-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Data Structures and Algorithms with Scala A Practitioner's Approach with Emphasis on Functional Programming
Data Structures and Algorithms with Scala A Practitioner's Approach with Emphasis on Functional Programming
Author 
Upadhyaya, Bhim P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12561-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action