Limit Search Results
Author
SpringerLink (Online service)
(23)
Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334
(2)
A, Gayathri. author.
(1)
Abbas, Houssam. editor. (orcid)0000-0002-8096-2618
(1)
Abdulla, Faruq, author.
(1)
Language
Subject
Compilers (Computer programs).
(13)
Compilers and Interpreters.
(13)
Artificial intelligence.
(9)
Software engineering.
(9)
Computer programming.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
45 Results Found Subscribe to search results
000000000DEFAULT
Print
1. 
Cover image for Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
Author 
Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74234-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning 17th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2024, Budapest, Hungary, October 28-30, 2024, Proceedings
Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning 17th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2024, Budapest, Hungary, October 28-30, 2024, Proceedings
Author 
Pluhár, Zsuzsa. editor. (orcid)0000-0003-2688-4652 Gaál, Bence. editor. (orcid)0000-0001-8771-7140 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73474-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for Proceedings of the 4th International Conference on Sustainable Development in Civil, Urban and Transportation Engineering CUTE 2024, 14-17 October, Wrocław, Poland
Proceedings of the 4th International Conference on Sustainable Development in Civil, Urban and Transportation Engineering CUTE 2024, 14-17 October, Wrocław, Poland
Author 
Różański, Adrian. editor. (orcid)0000-0003-3150-6429 Bui, Quoc-Bao. editor. (orcid)0000-0002-9675-0038 Sadowski, Łukasz. editor. (orcid)0000-0001-9382-7709 Tran, Minh Tung. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-9400-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Author 
Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-91121-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Compiler Construction Fundamentals and Applications
Compiler Construction Fundamentals and Applications
Author 
Mössenböck, Hanspeter. author. (orcid)0000-0001-7706-7308 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84813-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Modeling Complex Processes Through Nature-Analogous Methods Artificial Intelligence and Artificial Life
Modeling Complex Processes Through Nature-Analogous Methods Artificial Intelligence and Artificial Life
Author 
Klüver, Christina. author. Klüver, Jürgen. author. Schmidt, Jörn. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-46510-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Object-based Programming with Go
Object-based Programming with Go
Author 
Maurer, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-44704-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for SCIENTIFIC DATA ANALYSIS WITH R biostatistical applications.
SCIENTIFIC DATA ANALYSIS WITH R biostatistical applications.
Author 
Rahman, Azizur (Associate Professor in Mathematics and Statistics), author. Abdulla, Faruq, author. Hossain, Md. Moyazzem, author.
Preferred Shelf Number 
QH323.5
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003426189
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action