search result

Cover von Part III.; Tools and Algorithms for the Construction and Analysis of Systems

Part III.; 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, Proceedings, Part III
Search for this author
Year: 2025
Publisher: Berlin, Springer
Volume: Part III.
Series: Lecture notes in computer science : ARCoSS; 15698
Media group: MONOGRAPHIE
Cover von Part I.; Tools and Algorithms for the Construction and Analysis of Systems

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

Part II.; SOFSEM 2025
Theory and Practice of Computer Science : 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part II
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
SOFSEM 2025
Volume: Part II.
Series: Lecture notes in computer science : ARCoSS; 15539
Media group: MONOGRAPHIE
Cover von SOFSEM 2025

SOFSEM 2025
Theory and Practice of Computer Science : 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20–23, 2025, Proceedings
2025
Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 15538/15539
Media group: GESAMTWERK
Volumes loading
Cover von Part I.; Verification, Model Checking, and Abstract Interpretation

Part I.; Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I
Search for this author
Year: 2025
Publisher: Berlin, Springer
Volume: Part I.
Series: Lecture notes in computer science : ARCoSS; 15529
Media group: MONOGRAPHIE
Cover von Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings
2025
Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 15529/15530
Media group: GESAMTWERK
Volumes loading
Cover von Graph-Theoretic Concepts in Computer Science

Graph-Theoretic Concepts in Computer Science
50th International Workshop, WG 2024, Gozd Martuljek, Slovenia, June 19–21, 2024, Revised Selected Papers
Search for this author
Year: 2025
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 14760
Media group: MONOGRAPHIE
Cover von Static Analysis

Static Analysis
31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings
Search for this author
Year: 2025
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 14995
Media group: MONOGRAPHIE
Cover von Algorithmic Game Theory

Algorithmic Game Theory
17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 15156
Media group: MONOGRAPHIE
Cover von Euro-Par 2024: Parallel Processing

Euro-Par 2024: Parallel Processing
30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26–30, 2024, Proceedings
2024
Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 14801/14803
Media group: GESAMTWERK
Volumes loading
OPEN V 11.1.0.0