(1 - 9 von 9
)
EATCS Award for Best ETAPS Paper European ...
www.eatcs.org
It is the TACAS paper "When Simulation Meets Antichains (on Checking Language Inclusion of NFA's) " by Parosh Abdulla, Yu-Fang Chen, Lukas Holik, ... › 1-news › 6...
Five of our papers accepted to POPL and the ACM’s PACMPL
www.cs.ox.ac.uk
— ... String Constraints with Concatenation and Transducers Solved Efficiently by Lukas Holik, Anthony Widjaja Lin*, Petr Janku, ... › ... › News
Lukas Holik | Verein | Spielerprofil | Dukla Prag | Fußball-Vereine...
www.kicker.de
Lukas Holik - Das Profil, alle Daten, Statistiken und News zum Spieler - kicker
Liveticker | FC Zlin - Bohemians Prag 2:0 | 6. Spieltag | Fortuna...
www.kicker.de
Liveticker mit allen Spielereignissen, Toren und Statistiken zum Spiel FC Zlin - Bohemians Prag
Spieldaten | FC Zlin - Bohemians Prag 2:0 | 6. Spieltag | Fortuna...
www.kicker.de
FC Zlin - Bohemians Prag: Spieldaten und Statistiken zum Spiel vom 6 der Fortuna Narodni Liga kicker
From Pointers to List Containers — TU Wien Informatics
informatics.tuwien.ac.at
Part of the lecture series „Current Trends in Computer Science“.
TMOU » TMOU 13: Registrované tymy
archiv.tmou.cz
Daniel Skok, Karel Kolar, Lukas Holik, Miloslav Holik, Marie Dostalova. ZORO (číslo 361, herní index 0, průměrný věk 26 let) Hynek Hanke, Roman Stoklasa, Petra
Liveticker | FC Zlin - FK Warnsdorf 6:0 | 19. Spieltag | Fortuna...
www.kicker.de
Liveticker mit allen Spielereignissen, Toren und Statistiken zum Spiel FC Zlin - FK Warnsdorf
sortiert nach Relevanz / Datum