Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Author 
Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520864.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31476-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Programming Languages: Principles and Paradigms
Programming Languages: Principles and Paradigms
Author 
Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520706.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34144-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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 
XX(521341.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-8311-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Simulation and Modeling Methodologies, Technologies and Applications International Online Conference (SIMULTECH 2021)
Simulation and Modeling Methodologies, Technologies and Applications International Online Conference (SIMULTECH 2021)
Author 
Wagner, Gerd. editor. Werner, Frank. editor. Oren, Tuncer. editor. De Rango, Floriano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23149-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Complex, Intelligent and Software Intensive Systems Proceedings of the 17th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2023)
Complex, Intelligent and Software Intensive Systems Proceedings of the 17th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2023)
Author 
Barolli, Leonard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35734-3
Format: 
Availability 
Online Library~1
Available:
Copies: