search result

Cover von 10th International Symposium on Parameterized and Exact Computation
IPEC’15, September 16 - 18, 2015, Patras, Greece
Search for this author
Year: 2015
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 43
Media group: LIPIcs
Cover von 10th Conference on the Theory of Quantum Computation, Communication and Cryptography
TQC '15, May 20 - 22, 2015, Brussels, Belgium
Search for this author
Year: 2015
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 44
Media group: LIPIcs
Cover von 6th Conference on Algebra and Coalgebra in Computer Science
CALCO ’15, June 24 - 26, 2015, Nijmegen, The Netherlands
Search for this author
Year: 2015
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 35
Media group: LIPIcs
Cover von 20th International Conference on Types for Proofs and Programs
TYPES '14 : May 12 - 15, 2014 : Paris, France
Search for this author
Year: 2015
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 39
Media group: LIPIcs
Cover von What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead
article : pp. 519-533
Search for this author
Year: 2015
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 41
Media group: ARTICLE
Cover von 24th EACSL Annual Conference on Computer Science Logic
CSL 2015 : September 7 - 10, 2015 : Berlin, Germany
Search for this author
Year: 2015
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 41
Media group: LIPIcs
Cover von 26th International Conference on Concurrency Theory
CONCUR’15, September 1 - 4, 2015, Madrid, Spain
Search for this author
Year: 2015
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 42
Media group: LIPIcs
Cover von Approximation, Randomization, and Combinatorial Optimization
18th International Workshop, APPROX 2015, and 19th International Workshop, RANDOM 2015, August 24 - 26, 2015, Princeton, USA
Search for this author
Year: 2015
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 40
Media group: LIPIcs
Cover von 29th European Conference on Object-Oriented Programming
July 5 - 10, 2015 : Prague, Czech Republic
Search for this author
Year: 2015
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 37
Media group: LIPIcs
Cover von 26th International Conference on Rewriting Techniques and Applications
RTA 2015 : June 29 to July 1, 2015, Warsaw, Poland
Search for this author
Year: 2015
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 36
Media group: LIPIcs
OPEN V 11.1.0.0