search result

Cover von Combinatorial Algorithms

Combinatorial Algorithms
33rd International Workshop, IWOCA 2022, Trier, Germany, June 7 - 9, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 13270
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
28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2 - 7, 2022, Proceedings
2022
Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 13243/13244
Media group: GESAMTWERK
Volumes loading
Cover von Programming Languages and Systems

Programming Languages and Systems
31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2 - 7, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 13240
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
28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in computer science : ARCoSS; 13243
Media group: MONOGRAPHIE
Cover von Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures
25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2 - 7, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 13242
Media group: MONOGRAPHIE
Cover von Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering
25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2 - 7, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 13241
Media group: MONOGRAPHIE
Cover von Web and Internet Economics

Web and Internet Economics
17th International Conference, WINE 2021, Potsdam, Germany, December 14 - 17, 2021, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 13112
Media group: MONOGRAPHIE
Cover von Static Analysis

Static Analysis
28th International Symposium, SAS 2021, Chicago, IL, USA, October 17 - 19, 2021, Proceedings
Search for this author
Year: 2021
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 12913
Media group: MONOGRAPHIE
Cover von Fundamentals of Computation Theory

Fundamentals of Computation Theory
23rd International Symposium, FCT 2021, Athens, Greece, September 12 - 15, 2021, Proceedings
Search for this author
Year: 2021
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 12867
Media group: MONOGRAPHIE
Cover von Algorithmic Game Theory

Algorithmic Game Theory
14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21 - 24, 2021, Proceedings
Search for this author
Year: 2021
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 12885
Media group: MONOGRAPHIE
OPEN V 11.1.0.0