Limit Search Results
Author
SpringerLink (Online service)
(197)
Gelbukh, Alexander. editor.
(5)
Esposito, Anna. editor.
(4)
Magnini, Bernardo. editor.
(4)
Peters, Carol. editor.
(4)
Language
Publication Date
-
Subject
Computer science.
(159)
Translators (Computer programs).
(138)
Compilers (Computer programs).
(53)
Compilers and Interpreters.
(53)
Information storage and retrieval systems.
(47)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
204 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Algorithmic Differentiation of Pragma-Defined Parallel Regions Differentiating Computer Programs Containing OpenMP
Algorithmic Differentiation of Pragma-Defined Parallel Regions Differentiating Computer Programs Containing OpenMP
Author 
Förster, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-07597-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Using Amazon bedrock : learn to architect, secure and optimize generative AI applications on AWS
Using Amazon bedrock : learn to architect, secure and optimize generative AI applications on AWS
Author 
Gondosubroto, Renaldi, author.
Preferred Shelf Number 
Q336 .G66 2026
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394406708
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Microsoft 365 Copilot at work : using AI to get the most from your business data and favorite apps
Microsoft 365 Copilot at work : using AI to get the most from your business data and favorite apps
Author 
Van Laan, Sandar, author. Matfess, Jared, author. Flock, Thomas, author. Reid, Ann, author.
Preferred Shelf Number 
QA76.76 .C52 V36 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319756
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for UX for AI : a framework for designing AI-driven products
UX for AI : a framework for designing AI-driven products
Author 
Nudelman, Greg, author. Kempka, Daria, editor.
Preferred Shelf Number 
QA76.9 .H85 N83 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352272
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings
Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings
Author 
Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286 Gupta, Gopal. editor. (orcid)0000-0001-9727-0362 Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74209-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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:
7. 
Cover image for Balancing Software Innovation and Regulatory Compliance 17th International Conference on Software Quality, SWQD 2025, Munich, Germany, May 20-22, 2025, Proceedings
Balancing Software Innovation and Regulatory Compliance 17th International Conference on Software Quality, SWQD 2025, Munich, Germany, May 20-22, 2025, Proceedings
Author 
Fischbach, Jannik. editor. (orcid)0000-0002-4361-6118 Ramler, Rudolf. editor. (orcid)0000-0001-9903-6107 Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-89277-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
Cover image for Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings
Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings
Author 
Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-7956-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
Cover image for AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings
AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings
Author 
Artale, Alessandro. editor. (orcid)0000-0002-3852-9351 Cortellessa, Gabriella. editor. (orcid)0000-0002-9835-1575 Montali, Marco. editor. (orcid)0000-0002-8021-3430 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80607-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for The language of deception : weaponizing next generation AI
The language of deception : weaponizing next generation AI
Author 
Hutchens, Justin, author.
Preferred Shelf Number 
QA76.9 .N38
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277148
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action