search result

Cover von 6th International Computer Programming Education Conference
ICPEC 2025, July 10-11, 2025, PORTIC, Polytechnic of Porto, Portugal
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: OpenAccess Series in Informatics; 133
Media group: OASICS
Cover von 16th International Conference on Interactive Theorem Proving
ITP 2025, September 28 to October 1, 2025, Reykjavik, Iceland
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 352
Media group: LIPIcs
Cover von 6th Conference on Information-Theoretic Cryptography
ITC 2025, August 16-17, 2025, University of California, Santa Barbara, CA, USA
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 343
Media group: LIPIcs
Cover von 36th International Conference on Concurrency Theory
CONCUR 2025, August 26-29, 2025, Aarhus, Denmark
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 348
Media group: LIPIcs
Cover von 13th International Conference on Geographic Information Science
GIScience 2025, August 26-29, 2025, Christchurch, New Zealand
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 346
Media group: LIPIcs
Cover von 25th International Conference on Algorithms for Bioinformatics
WABI 2025, August 20-22, 2025, University of Maryland, College Park, MD, USA
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 344
Media group: LIPIcs
Cover von 28th International Conference on Database Theory
ICDT 2025, March 25-28, 2025, Barcelona, Spain
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 328
Media group: LIPIcs
Cover von 16th Innovations in Theoretical Computer Science Conference
ITCS 2025, January 7-10, 2025, Columbia University, New York, NY, USA
Search for this author
Year: 2025
Publisher: Berlin, Springer
Series: Leibniz International Proceedings in Informatics; 325
Media group: LIPIcs
Cover von 33rd EACSL Annual Conference on Computer Science Logic
CSL 2025, February 10-14, 2025, Amsterdam, Netherlands
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 326
Media group: LIPIcs
Cover von 28th International Conference on Principles of Distributed Systems
OPODIS 2024, December 11-13, 2024, Lucca, Italy
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 324
Media group: LIPIcs
OPEN V 11.1.0.0