Søgeresultater - international computer methods decisions get (libr* or lib*)

Søg alternativer:
international computer » international center
methods decisions » methods decision , method decision , methods designs
decisions get » decisions great , decisions eat , decisions data

Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic -- A Tableau-Based Decision Procedure...”
Få fuldtekst

Electronisk eBog

E-business Technology and Strategy International Conference, CETS 2010, Ottawa, Canada, September 29-30, 2010. Proceedings /

Udgivet 2010

Indholdsfortegnelse: “...Research on Group Decision-Making Mechanism of Internet Emergency Management -- The Challenges...”
Få fuldtekst

Electronisk eBog

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /

Udgivet 2008

Indholdsfortegnelse: “... Metatheory -- Methods and Tools for Formal Software Engineering -- Guaranteeing Correctness -- The Verified...”
Få fuldtekst

Electronisk eBog

The Philosophy and Practice of Medicine and Bioethics A Naturalistic-Humanistic Approach /

af Maier, Barbara., Maier, Barbara., Shibles, Warren A.
Udgivet 2011

Indholdsfortegnelse: “...Rationale of the book -- About the Authors -- 1. Metaphor in Medicine. The Metaphorical Method...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning