search result

Cover von Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems
29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22 - 27, 2023, Proceedings
2023
Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 13993/13994
Media group: GESAMTWERK
Volumes loading
Cover von Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures
26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22 - 27, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 13992
Media group: MONOGRAPHIE
Cover von Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering
26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22 - 27, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 13991
Media group: MONOGRAPHIE
Cover von Programming Languages and Systems

Programming Languages and Systems
32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22 - 27, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 13990
Media group: MONOGRAPHIE
Cover von Static Analysis

Static Analysis
29th International Symposium, SAS 2022, Auckland, New Zealand, December 5 - 7, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 13790
Media group: MONOGRAPHIE
Cover von LATIN 2022: Theoretical Informatics

LATIN 2022: Theoretical Informatics
15th Latin American Symposium, Guanajuato, Mexico, November 7 - 11, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 13568
Media group: MONOGRAPHIE
Cover von Graph-Theoretic Concepts in Computer Science

Graph-Theoretic Concepts in Computer Science
48th International Workshop, WG 2022, Tübingen, Germany, June 22 - 24, 2022, Revised Selected Papers
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 13453
Media group: MONOGRAPHIE
Cover von Algorithmic Game Theory

Algorithmic Game Theory
15th International Symposium, SAGT 2022, Colchester, UK, September 12 - 15, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 13584
Media group: MONOGRAPHIE
Cover von Euro-Par 2022: Parallel Processing

Euro-Par 2022: Parallel Processing
28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22 - 26, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 13440
Media group: MONOGRAPHIE
Cover von Revolutions and Revelations in Computability

Revolutions and Revelations in Computability
18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11 - 15, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 13359
Media group: MONOGRAPHIE
OPEN V 11.1.0.0