Limit Search Results
Author
SpringerLink (Online service)
(72)
Lee, Roger. editor.
(4)
Ao, Sio-Iong. editor.
(3)
Dimitrova, Rayna. editor.
(2)
Dongarra, Jack. editor.
(2)
Language
Publication Date
-
Subject
Artificial intelligence.
(21)
Computer science.
(19)
Computer networks .
(14)
Application software.
(13)
Computer and Information Systems Applications.
(12)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
73 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove
Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove
Author 
Morazán, Marco T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43973-5
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
Author 
Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50521-8
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
Author 
Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50524-9
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for ITNG 2024: 21st International Conference on Information Technology-New Generations
ITNG 2024: 21st International Conference on Information Technology-New Generations
Author 
Latifi, Shahram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56599-1
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Networking and Parallel/Distributed Computing Systems Volume 18
Networking and Parallel/Distributed Computing Systems Volume 18
Author 
Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-53274-0
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Feature Models AI-Driven Design, Analysis and Applications
Feature Models AI-Driven Design, Analysis and Applications
Author 
Felfernig, Alexander. author. Falkner, Andreas. author. Benavides, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61874-1
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations
Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations
Author 
Bodden, Eric. editor. Felderer, Michael. editor. Hasselbring, Wilhelm. editor. (orcid)0000-0001-6625-4335 Herber, Paula. editor. Koziolek, Heiko. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44412-8
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Volume 17
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Volume 17
Author 
Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56388-1
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Software Engineering and Management: Theory and Application Volume 16
Software Engineering and Management: Theory and Application Volume 16
Author 
Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55174-1
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Enterprise Interoperability X Enterprise Interoperability Through Connected Digital Twins
Enterprise Interoperability X Enterprise Interoperability Through Connected Digital Twins
Author 
Rodríguez-Rodríguez, Raúl. editor. Ducq, Yves. editor. (orcid)0000-0001-5144-5876 Leon, Ramona-Diana. editor. Romero, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24771-2
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis
Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis
Author 
Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Kühn, Harald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56862-6
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Quantum Software Aspects of Theory and System Design
Quantum Software Aspects of Theory and System Design
Author 
Exman, Iaakov. editor. (orcid)0000-0002-9917-3950 Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184 Piattini, Mario. editor. (orcid)0000-0002-7212-8279 Felderer, Michael. editor. (orcid)0000-0003-3818-4442 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64136-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets