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