search result

Cover von Part I.; Euro-Par 2025
Parallel Processing : 31st European Conference on Parallel and Distributed Processing, Dresden, Germany, August 25-29, 2025, Proceedings, Part I
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Euro-Par 2025
Volume: Part I.
Series: Lecture notes in computer science : ARCoSS; 15900
Media group: MONOGRAPHIE
Cover von Part II.; Euro-Par 2025
Parallel Processing : 31st European Conference on Parallel and Distributed Processing, Dresden, Germany, August 25-29, 2025, Proceedings, Part II
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Euro-Par 2025
Volume: Part II.
Series: Lecture notes in computer science : ARCoSS; 15901
Media group: MONOGRAPHIE
Cover von Part III.; Euro-Par 2025
Parallel Processing : 31st European Conference on Parallel and Distributed Processing, Dresden, Germany, August 25-29, 2025, Proceedings, Part III
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Euro-Par 2025
Volume: Part III.
Series: Lecture notes in computer science : ARCoSS; 15902
Media group: MONOGRAPHIE
Cover von Combinatorial Algorithms
36th International Workshop, IWOCA 2025, Bozeman, MT, USA, July 21-24, 2025, Proceedings
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 15885
Media group: MONOGRAPHIE
Cover von Crossroads of Computability and Logic
Insights, Inspirations, and Innovations : 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 15764
Media group: MONOGRAPHIE
Cover von 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 Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, ProceedingsSpr
2025
Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 15696/15698
Media group: GESAMTWERK
Volumes loading
Cover von 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 Fundamental Approaches to Software Engineering
28th International Conference, FASE 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
Search for this author
Year: 2025
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 15693
Media group: MONOGRAPHIE
Cover von Foundations of Software Science and Computation Structures
28th International Conference, FoSSaCS 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
Search for this author
Year: 2025
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 15691
Media group: MONOGRAPHIE
OPEN V 11.1.0.0