2007
NEWS
November 16, 2007
Conference Photogallery
Conference Photogallery
You can have a look at the photogallery.
November 14, 2007
Proceedings
Proceedings
You can donwload conference proceedings.
October 26—28, 2007 • Prestige Hotel • Znojmo • Czechia
Presentations
List of accepted presentations
- Martin Kuba, Daniel Kouřil, Michal Procházka, Sealed Grid with Downloadable Services
- Jan Sedmidubsky, Querying Similarity in Metric Social Networks
- Milan Petrik, Many-valued memory circuits---implementation in the model of many-valued logical circuits
- Tomas Herrman, Testability Analysis Based on the Identification of Testable Blocks with Predefined Properties
- Tomáš Brázdil and Vojtěch Forejt, Strategy Synthesis for Markov Decision Processes and Branching-Time Logics
- Maria Bulińska, Some Results on Generative Capacity and Computational Complexity of Lambek Calculus with Assumptions
- Daniel Kouřil, Luděk Matyska, Michal Procházka, On Distribution Certificate Revocation Information in Grids
•
Copyright © FI MU
Copyright © FIT VUT
Brno, 2005–2008
Photos and Design
