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