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