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
מאת Alagar, V.S., Alagar, V.S., Periyasamy, K.
יצא לאור 2011
תוכן הענינים: ... -- Larch -- Calculus of Communicating Systems -- Part VI: Model-based Specifications -- Vienna Development...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2013
תוכן הענינים: ... of IT and Healthcare Professionals -- Communicating Ideas in Computer-Supported Modeling Tasks: A Case Study with BPMN...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
מאת Allen, Theodore T., Allen, Theodore T.
יצא לאור 2011
תוכן הענינים: ... Waiting Times -- 5. Output Analysis -- 6. Theory of Queues -- 7. Decision Support and Voting Systems Case...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני