Models of Computation : an introduction to computability theory /
Systémová metodologie : brána do řešení problémů /
Testovanie, diagnostika a verifikácia digitálnych systémov /
Identifikation dynamischer Systeme : Grundlegende Methoden. 1 /
Computers and information systems. /
Mechatronic system control, logic, and date acquisition /
Modelling future telecommunications systems. /
GIS and environmental modeling. /
Skriptá k predmetu podnikové informačné systémy. Prvá časť, Framework ArchiMate s využitím nástroja ADO IT /
System identifikation (SYSID `94). Volume 1., A postprint volume from the IFAC symposium Copenhagen, Denmark, 4-6 July 1994. /
Objekty 2011 : proceedings of the 16th international conference on object-oriented technologies : Žilina, 24.-25. november, 2011 /
HERMES: Harmonised econometric research for modelling economic systems.
Study guide for computers and information systems /
Dependability of critical computer systems 2. : Guidelines... /
Statistical modelling in GLIM. /
Modelovanie mechatronických sústav metodológiou výkonových grafov /
Systems analysis and design methods. /
Modelovanie, simulácia a verifikácia vybraných mechatronických systémov /
Applied stochastic system modeling. /
Constructive Methods in the Analysis of Nonlinear Systems.
Computational methods for modelling of nonlinear systems /