Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; LIPIcs - Leibniz International Proceedings in Informatics. 30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013), 2013
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; LIPIcs - Leibniz International Proceedings in Informatics. 23rd International Conference on Rewriting Techniques and Applications (RTA'12), 2012
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
LIPIcs - Leibniz International Proceedings in Informatics. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2009
Bodó, Balázs
[VerfasserIn];
Irion, Kristina
[VerfasserIn];
Janssen, Heleen
[VerfasserIn];
Giannopoulou, Alexandra
[VerfasserIn]
Castro Analuiza, Juan Carlos
[VerfasserIn];
Tubón Núñez, Edith Elena
[VerfasserIn];
Quisimalín Santamaría, Hernán Mauricio
[VerfasserIn];
Guamán Guevara, María Dolores
[VerfasserIn]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
LIPIcs - Leibniz International Proceedings in Informatics. 28th International Conference on Principles and Practice of Constraint Programming (CP 2022), 2022
Hermelin, Danny
[VerfasserIn];
Itzhaki, Yuval
[VerfasserIn];
Molter, Hendrik
[VerfasserIn];
Niedermeier, Rolf
[VerfasserIn]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
OASIcs - OpenAccess Series in Informatics. 21st Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2021), 2021
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
LIPIcs - Leibniz International Proceedings in Informatics. 27th International Conference on Principles and Practice of Constraint Programming (CP 2021), 2021
Kim, Dohan
[VerfasserIn];
Lynch, Christopher
[VerfasserIn]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
LIPIcs - Leibniz International Proceedings in Informatics. 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), 2021
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
LIPIcs - Leibniz International Proceedings in Informatics. Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2021), 2021