Did you mean: information

search result

Cover von 50th International Symposium on Mathematical Foundations of Computer Science
MFCS 2025, August 25-29, 2025, Warsaw, Poland
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 345
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 31st International Conference on Principles and Practice of Constraint Programming
CP 2025, August 10-15, 2025, Glasgow, Scotland
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 340
Media group: LIPIcs
Cover von 28th International Conference on Theory and Applications of Satisfiability Testing
SAT 2025, August 12-15, 2025, Glasgow, Scotland
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 341
Media group: LIPIcs
Cover von 40th Computational Complexity Conference
CCC 2025, August 5-8, 2025, Toronto, Canada
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 339
Media group: LIPIcs
Cover von 11th Conference on Algebra and Coalgebra in Computer Science
CALCO 2025, June 16-18, 2025, University of Strathclyde, UK
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 342
Media group: LIPIcs
Cover von 23rd International Symposium on Experimental Algorithms
SEA 2025, July 22-24, 2025, Venice, Italy
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 338
Media group: LIPIcs
Cover von 10th International Conference on Formal Structures for Computation and Deduction
FSCD 2025, July 14-20, 2025, Birmingham, UK
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 337
Media group: LIPIcs
Cover von 37th Euromicro Conference on Real-Time Systems
ECRTS 2025, July 8-11, 2025, Brussels, Belgium
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 335
Media group: LIPIcs
Cover von 30th International Conference on Types for Proofs and Programs
TYPES 2024, June 10-14, 2024, Copenhagen, Denmark
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 336
Media group: LIPIcs
OPEN V 11.1.0.0