Browsing by Author "Kučera, Antonín"
Now showing items 1-9 of 9
-
Jančar, Petr; Kučera, Antonín; Moller, Faron (CONCUR 2003 - Concurrency theory : 14th International Conference, Marseille, France, September 3-5, 2003. Proceedings. 2003, p. 159-173. Lecture notes in computer science, vol. 2761.)
-
Jančar, Petr; Kučera, Antonín; Mayr, Richard (Automata, languages and programming : 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998. Proceedings. 1998, p. 200-211. Lecture notes in computer science, vol. 1443.)
-
Jančar, Petr; Kučera, Antonín; Mayr, Richard (Theoretical computer science. 2001, vol. 258, issues 1-2, p. 409-433.)
-
Jančar, Petr; Kučera, Antonín; Moller, Faron; Sawa, Zdeněk (Information and computation. 2004, vol. 188, issue 1, p. 1-19.)
-
Kučera, Antonín; Jančar, Petr (Theory and practice of logic programming. 2006, vol. 6, issue 3.)
-
Kučera, Antonín; Jančar, Petr (SOFSEM 2002 : theory and practice of informatics : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002. Proceedings. 2002, p. 41-73. Lecture notes in computer science, vol. 2540.)
-
Jančar, Petr; Kučera, Antonín; Moller, Faron; Sawa, Zdeněk (Foundations of software science and computation structures : 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings. 2002, p. 172-186. Lecture notes in computer science, vol. 2303.)
-
Kučera, Antonín; Krejcar, Ondřej; (Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky, Bakalářská práce, 2011)
-
Jančar, Petr; Kučera, Antonín; Moller, Faron (STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000. Proceedings. 2000, p. 334-335. Lecture notes in computer science, vol. 1770.)
Now showing items 1-9 of 9
Search DSpace
Navigation
Browse
-
All of DSpace
My Account
|
DSpace verzion 1.7
Copyright © 2002-2012 MIT and HP It use Manakin user interface. |
