460 - Katedra informatiky / Department of Computer Science

DSpace/Manakin Repository

460 - Katedra informatiky / Department of Computer Science

Browse by

Collections in this community

Publikační činnost Katedry informatiky / Publications of Department of Computer Science (460) [112]

Recent Submissions

Analysis of strategy in robot soccer game

Wu, Jie; Snášel, Václav; Ochodková, Eliška; Martinovič, Jan; Svatoň, Václav; Abraham, Ajith (Neurocomputing. 2013, vol. 109, p. 66-75.)
Bisimilarity on basic process algebra is in 2-exptime (an explicit proof)

Jančar, Petr (Logical methods in computer science. 2013, vol. 9, issue 1, art. no. 10.)
Efficient construction of semilinear representations of languages accepted by unary nondeterministic finite automata

Sawa, Zdeněk (Fundamenta informaticae. 2013, vol. 123, issue 1, p. 97-106.)
Procedural isomorphism, analytic information and β-conversion by value

Duží, Marie; Jespersen, Bjørn (Logic journal of the IGPL. 2013, vol. 21, issue 2, p. 291-308.)

logic-journal-igpl-2013-21-2-291-duzi.pdf
A comparative study of two methodologies for binary datasets analysis

Frolov, Alexander A.; Húsek, Dušan; Polyakov, Pavel Y.; Řezanková, Hana (Neural network world. 2012, vol. 22, issue 6, p. 565-582.)

Search DSpace

Advanced Search

Navigation

Browse

All of DSpace
This Community
- By Issue Date
- Authors
- Titles
- Subjects

My Account

Login

Statistics

View Statistics