crosoft Word - CV RNDr. Jan Zahradn5k_EN.doc - České Budějovice District - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2012-11-26 11:20:28 Vltavou Geography of the Czech Republic Geography of Europe Czech Republic Hosín České Budějovice District České Budějovice Hluboká		crosoft Word - CV RNDr. Jan Zahradn5k_EN.doc Add to Reading List Source URL: www.aebr.eu Download Document from Source Website File Size: 56,35 KB Share Document on Facebook

	Strategy Synthesis for Markov Decision Processes and Branching-Time Logics Tom´asˇ Br´azdil⋆ and Vojtˇech Forejt⋆⋆ Faculty of Informatics, Masaryk University, Botanick´a 68a, 60200 Brno, Czech Republic. DocID: 1xVy7 - View Document
	Curriculum Vitae Stefan Ratschan Office address: Institute of Computer Science Academy of Sciences of the Czech Republic Pod Vod´arenskou vˇeˇz´ı 2 DocID: 1xVqp - View Document
	Expected Reachability-Time Games Vojtˇech Forejt1 , Marta Kwiatkowska2 , Gethin Norman3 , and Ashutosh Trivedi2 1 Faculty of Informatics, Masaryk University, Botanick´a 68a, Brno, Czech Republic Oxford University Compu DocID: 1xUtQ - View Document
	Czech Republic National Report under the Article 14.1 of Council DirectiveEURATOM of 19 July 2011 establishing a Community framework for DocID: 1vpH7 - View Document
	A conference was held in Prague, Czech Republic, in November 2002 that was entitled “Issues Confronting the Post-European World” and that was dedicated to Jan PatočkaThe Organization of Phenomenologica DocID: 1voDB - View Document