search result

Cover von Relational Connectors and Heterogeneous Simulations
article in Foundations of Software Science and Computation Structures 2025
Search for this author
Year: 2026
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 15691 : article
Media group: ARTICLE
Cover von Euro-Par 2017
Parallel Processing : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCOSS; 10417
Media group: MONOGRAPHIE
Cover von Foundations of Software Science and Computation Structures
20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22 - 29, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCOSS; 10203
Media group: MONOGRAPHIE
Cover von Graph-Theoretic Concepts in Computer Science
38th International Workshop, WG 2012, Jerusalem, Israel, June 26 - 28, 2012, Revised Selcted Papers
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCOSS; 7551
Media group: MONOGRAPHIE
Cover von Combinatorial Algorithms
37th International Workshop, IWOCA 2026, Clermont-Ferrand, France, June 8–11, 2026, Proceedings
Search for this author
Year: 2026
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 16587
Media group: MONOGRAPHIE
Cover von Web and Internet Economics
21st International Conference, WINE 2025, New Brunswick, NJ, USA, December 8–11, 2025, Proceedings
Search for this author
Year: 2026
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 16266
Media group: MONOGRAPHIE
Cover von Fundamental Approaches to Software Engineering
29th International Conference, FASE 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; 16504
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

32nd International Conference, TACAS 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; 16505/16506
Media group: GESAMTWERK
Volumes loading
Cover von Part I.; Tools and Algorithms for the Construction and Analysis of Systems
32nd International Conference, TACAS 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; 16505
Media group: MONOGRAPHIE
Cover von Part II.; Tools and Algorithms for the Construction and Analysis of Systems
32nd International Conference, TACAS 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; 16506
Media group: MONOGRAPHIE
OPEN V 11.1.0.0