Did you mean: information

search result

Cover von 29th International Conference on Types for Proofs and Programs
TYPES 2023, June 12-16, 2023, ETSInf, Universitat Politècnica de València, Spain
Search for this author
Year: 2024
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 303
Media group: LIPIcs
Cover von 27th International Conference on Theory and Applications of Satisfiability Testing
SAT 2024, August 21-24, 2024, Pune, India
Search for this author
Year: 2024
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 305
Media group: LIPIcs
Cover von 5th Conference on Information-Theoretic Cryptography
ITC 2024, August 14-16, 2024, Stanford, CA, USA
Search for this author
Year: 2024
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 304
Media group: LIPIcs
Cover von 35th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms
AofA 2024, June 17-21, 2024, University of Bath, UK
Search for this author
Year: 2024
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 302
Media group: LIPIcs
Cover von 39th Computational Complexity Conference
CCC 2024, July 22-25, 2024, Ann Arbor, MI, USA
Search for this author
Year: 2024
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 300
Media group: LIPIcs
Cover von 22nd International Symposium on Experimental Algorithms
SEA 2024, July 23-26, 2024, Vienna, Austria
Search for this author
Year: 2024
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 301
Media group: LIPIcs
Cover von 9th International Conference on Formal Structures for Computation and Deduction
FSCD 2024, July 10-13, 2024, Tallinn, Estonia
Search for this author
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 299
Media group: LIPIcs
Cover von 36th Euromicro Conference on Real-Time Systems
ECRTS 2024, July 9-12, 2024, Lille, France
Search for this author
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 298
Media group: LIPIcs
Cover von 51st International Colloquium on Automata, Languages, and Programming
ICALP 2024, July 8-12, 2024, Tallinn, Estonia
Search for this author
Year: 2024
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 297
Media group: LIPIcs
Cover von 35th Annual Symposium on Combinatorial Pattern Matching
CPM 2024, June 25-27, 2024, Fukuoka, Japan
Search for this author
Year: 2024
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 296
Media group: LIPIcs
OPEN V 11.1.0.0