Did you mean: information

search result

Cover von 30th EACSL Annual Conference on Computer Science Logic
CSL 2022 : February 14 - 19, 2022, Göttingen, Germany (Virtual Conference)
Search for this author
Year: 2022
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 216
Media group: LIPIcs
Cover von 13th Innovations in Theoretical Computer Science Conference
ITCS 2022 : January 31 to February 3, 2022, Berkeley, CA, USA
Search for this author
Year: 2022
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 215
Media group: LIPIcs
Cover von 32nd International Symposium on Algorithms and Computation
ISAAC 2021 : December 6 - 8, 2021, Fukuoka, Japan
Search for this author
Year: 2021
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 212
Media group: LIPIcs
Cover von 16th International Symposium on Parameterized and Exact Computation
IPEC 2021 : September 8 - 10, 2021, Lisbon, Portugal
Search for this author
Year: 2021
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 214
Media group: LIPIcs
Cover von 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
FSTTCS 2021 : December 15 - 17, 2021, Virtual Conference
Search for this author
Year: 2021
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 213
Media group: LIPIcs
Cover von 9th Conference on Algebra and Coalgebra in Computer Science
CALCO 2021 : August 31 to September 3, 2021, Salzburg, Austria
Search for this author
Year: 2021
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 211
Media group: LIPIcs
Cover von 27th International Conference on Principles and Practice of Constraint Programming
CP 2021 : October 25 - 29, 2021, Montpellier, France (Virtual Conference)
Search for this author
Year: 2021
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 210
Media group: LIPIcs
Cover von 35th International Symposium on Distributed Computing
DISC 2021 : October 4 - 8, 2021, Freiburg, Germany (Virtual Conference)
Search for this author
Year: 2021
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 209
Media group: LIPIcs
Cover von 28th International Symposium on Temporal Representation and Reasoning
TIME 2021 : September 27 - 29, 2021, Klagenfurt, Austria
Search for this author
Year: 2021
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 206
Media group: LIPIcs
Cover von Approximation, Randomization, and Combinatorial Optimization
Algorithms and Techniques : APPROX/RANDOM 2021 : August 16 - 18, 2021, University of Washington, Seattle, Washington, US (Virtual Conference)
Search for this author
Year: 2021
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 207
Media group: LIPIcs
OPEN V 11.1.0.0