search result

Cover von Foundations of Software Science and Computation Structures
29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 16503
Media group: MONOGRAPHIE
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 SOFSEM 2026
Theory and Practice of Computer Science : 51st International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2026, Kraków, Poland, February 9-13, 2026, Proceedings
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 16448
Media group: MONOGRAPHIE
Cover von Verification, Model Checking, and Abstract Interpretation
27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 16417
Media group: MONOGRAPHIE
Cover von Web and Internet Economics
20th International Conference, WINE 2024, Edinburgh, UK, December 2-5, 2024, Proceedings
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 15534
Media group: MONOGRAPHIE
Cover von Fundamentals of Computation Theory
25th International Symposium, FCT 2025, Wrocław, Poland, September 15-17, 2025, Proceedings
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 16106
Media group: MONOGRAPHIE
Cover von Euro-Par 2025

Euro-Par 2025

Parallel Processing : 31st European Conference on Parallel and Distributed Processing, Dresden, Germany, August 25–29, 2025, Proceedings
2026
Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 15900/15902
Media group: GESAMTWERK
Volumes loading
Cover von Algorithmic Game Theory
18th International Symposium, SAGT 2025, Bath, UK, September 2-5, 2025, Proceedings
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 15953
Media group: MONOGRAPHIE
OPEN V 11.1.0.0