search result

Cover von Open Scholarly Information Systems; 9
Status Quo, Challenges, Opportunities : pp. 38-57
Search for this author
Year: 2026
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 9
Media group: DAGSTUHL REPORT
Cover von Programming Languages and Systems

Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings
2026
Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 16501/16502
Media group: GESAMTWERK
Volumes loading
Cover von Part II.; Programming Languages and Systems
35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in computer science : ARCoSS; 16502
Media group: MONOGRAPHIE
Cover von Part I.; Programming Languages and Systems
35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part I
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in computer science : ARCoSS; 16501
Media group: MONOGRAPHIE
Cover von Model Checking Quantum Systems
Principles and Algorithms
Author: Ying, Mingsheng; Feng, Yuan Search for this author
Year: 2021
Publisher: Cambridge, Cambridge University Press
Media group: MONOGRAPHIE
Cover von Intelligent Decision Support Systems
Combining Operations Research and Artificial Intelligence - Essays in Honor of Roman Słowiński
Search for this author
Year: 2022
Publisher: Berlin, Springer
Series: Multiple Criteria Decision Making
Media group: MONOGRAPHIE
Cover von Part I.; Hybrid Artificial Intelligent Systems
20th International Conference, HAIS 2025, Salamanca, Spain, October 16-17, 2025, Proceedings, Part I
Author: Corchado, Emilio; Lora, Alicia Troncoso Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in artificial intelligence; 16202
Media group: MONOGRAPHIE
Cover von Part II.; Hybrid Artificial Intelligent Systems
20th International Conference, HAIS 2025, Salamanca, Spain, October 16-17, 2025, Proceedings, Part II
Author: Corchado, Emilio; Lora, Alicia Troncoso; Fosci, Paolo Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in artificial intelligence; 16203
Media group: MONOGRAPHIE
Cover von Hybrid Quantum Systems
Search for this author
Year: 2021
Publisher: Berlin, Springer
Series: Quantum Science and Technology
Media group: MONOGRAPHIE
Cover von Part II.; Advanced Information Systems Engineering
37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in computer science; 15702
Media group: MONOGRAPHIE
OPEN V 11.1.0.0