1
Izdano 2006
Kazalo: ... of Basic Interval Equation: A Case Study -- Gröbner Bases — Theory Refinement in the Mizar System...
Polni tekst
Elektronski eKnjiga
2
Izdano 2014
Kazalo: ... -- Conformance analysis of the execution of clinical guidelines with basic medical knowledge and clinical...
Polni tekst
Elektronski eKnjiga
3
Izdano 2006
Kazalo: ... when and when not to interrupt -- Formal Analysis of the Communication of Probabilistic Knowledge...
Polni tekst
Elektronski eKnjiga
4
Izdano 2013
Kazalo: ... of IT and Healthcare Professionals -- Communicating Ideas in Computer-Supported Modeling Tasks: A Case Study with BPMN...
Polni tekst
Elektronski eKnjiga
5
Kazalo: ... -- Larch -- Calculus of Communicating Systems -- Part VI: Model-based Specifications -- Vienna Development...
Polni tekst
Elektronski eKnjiga
6
Kazalo: ... Waiting Times -- 5. Output Analysis -- 6. Theory of Queues -- 7. Decision Support and Voting Systems Case...
Polni tekst
Elektronski eKnjiga