search result

Cover von Part I.; Advanced Information Systems Engineering

Part I.; Advanced Information Systems Engineering
37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in computer science; 15701
Media group: MONOGRAPHIE
Cover von Part II.; Adaptive Instructional Systems

Part II.; Adaptive Instructional Systems
7th International Conference, AIS 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part II
Search for this author
Year: 2025
Publisher: Berlin, Springer
Volume: Part II.
Series: Lecture notes in computer science; 15813
Media group: MONOGRAPHIE
Cover von Part I.; Adaptive Instructional Systems

Part I.; Adaptive Instructional Systems
7th International Conference, AIS 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part I
Search for this author
Year: 2025
Publisher: Berlin, Springer
Volume: Part I.
Series: Lecture notes in computer science
Media group: MONOGRAPHIE
Cover von Engineering Interactive Computer Systems

Engineering Interactive Computer Systems
EICS 2024 International Workshops : Cagliari, Sardinia, Italy, June 24–28, 2024, Revised Selected Papers
Search for this author
Year: 2025
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 15518
Media group: MONOGRAPHIE
Cover von Part II.; Programming Languages and Systems

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
Search for this author
Year: 2025
Publisher: Berlin, Springer
Volume: Part II.
Series: Lecture notes in computer science : ARCoSS; 15695
Media group: MONOGRAPHIE
Cover von Programming Languages and Systems

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
2025
Berlin, Springer
Series: Lecture notes in computer science; 15694/15695
Media group: GESAMTWERK
Volumes loading
Cover von Part I.; Programming Languages and Systems

Part I.; 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 I
Search for this author
Year: 2025
Publisher: Berlin, Springer
Volume: Part I.
Series: Lecture notes in computer science : ARCoSS; 15694
Media group: MONOGRAPHIE
Cover von Learning Technologies and Systems

Learning Technologies and Systems
23rd International Conference on Web-Based Learning, ICWL 2024 and 9th International Symposium on Emerging Technologies for Education, SETE 2024 Shanghai, China, November 26-28, 2024 Revised Selected Papers
Author: Xie, Wenxiu Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 15589
Media group: MONOGRAPHIE
Cover von Tropical Proof Systems

Tropical Proof Systems
Between R(CP) and Resolution
Year: 2025
Media group: LIPIcs
Cover von Engineering AI Systems

Engineering AI Systems
Architecture and DevOps Essentials
Search for this author
Year: 2025
Publisher: Boston, Addison-Wesley
Media group: MONOGRAPHIE
OPEN V 11.1.0.0