460 - Katedra informatiky / Department of Computer Science: Nedávno přidané
Zobrazují se záznamy 521-530 z 562
-
K jubileu Pavla Cmoreje
(Organon F. 2007, roč. 14, č. 1, s. 134-135.) -
Large scale parallel FEM computations of far/near stress field changes in rocks
(Future Generation Computer Systems. 2006, vol. 22, issue 4, p. 449-459.) -
Parallel Schwarz methods: Algebraic construction of coarse problems, implementation and testing
(Parallel processing and applied mathematics : 6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005. Revised Selected Papers. 2006, p. 505-512.) -
Space decomposition preconditioners and their application in geomechanics
(Mathematics and Computers in Simulation. 2003, vol. 61, issues 3-6, p. 409-420.) -
Points of view from a logical perspective (II)
(Organon F. 2007, roč. 14, č. 1, s. 5-31.) -
Points of view from a logical perspective (I)
(Organon F. 2006, roč. 13, č. 3, s. 277-305.) -
Kritické připomínky ke studii Jiřího Raclavského o hledání a nalézání
(Organon F. 2006, roč. 13, č. 1, s. 67-78.) -
Hledání (a nalézání)
(Organon F. 2006, roč. 13, č. 2, s. 189-206.) -
Informativnost matematických či analyticky pravdivých tvrzení a paradox inference
(Filosofický časopis. 2006, roč. 54, č. 4, s. 501-522.) -
Equivalence checking of non-flat systems is EXPTIME-hard
(CONCUR 2003 - Concurrency Theory : 14th International Conference, Marseille, France, September 3-5, 2003. Proceedings. 2003, p. 237-250.)