search result

Cover von 37th International Symposium on Theoretical Aspects of Computer Science
March 10 - 13, 2020, Montpellier, France
Search for this author
Year: 2020
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 154
Media group: LIPIcs
Cover von 23rd International Conference on Principles of Distributed Systems
OPODIS 2019 : December 17 - 19, 2019, Neuchâtel, Switzerland
Search for this author
Year: 2020
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 153
Media group: LIPIcs
Cover von 11th Innovations in Theoretical Computer Science Conference
ITCS 2020 : January 12 - 14, 2020, Seattle, Washington, USA
Search for this author
Year: 2020
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 151
Media group: LIPIcs
Cover von 28th EACSL Annual Conference on Computer Science Logic
CSL 2020, January 13 - 16, 2020, Barcelona, Spain
Search for this author
Year: 2020
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 152
Media group: LIPIcs
Cover von 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
FSTTCS 2019 : December 11 - 13, 2019, Bombay, India
Search for this author
Year: 2019
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 150
Media group: LIPIcs
Cover von 30th International Symposium on Algorithms and Computation
ISAAC 2019 : December 8 - 11, 2019, Shanghai University of Finance and Economics, Shanghai, China
Search for this author
Year: 2019
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 149
Media group: LIPIcs
Cover von 14th International Symposium on Parameterized and Exact Computation
IPEC 2019 : September 11 - 13, 2019, Munich, Germany
Search for this author
Year: 2019
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 148
Media group: LIPIcs
Cover von 8th Conference on Algebra and Coalgebra in Computer Science
CALCO 2019 : June 3 - 6, 2019, London, United Kingdom
Search for this author
Year: 2019
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 139
Media group: LIPIcs
Cover von 24th International Conference on Types for Proofs and Programs
TYPES 2018 : June 18 - 21, 2018, Braga, Portugal
Search for this author
Year: 2019
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 130
Media group: LIPIcs
Cover von 33rd International Symposium on Distributed Computing
DISC 2019, October 14 - 18, 2019, Budapest, Hungary
Search for this author
Year: 2019
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 146
Media group: LIPIcs
OPEN V 11.1.0.0