檢索結果 - ((function computation) or (functions computational)) programming validating method cases*

搜索替代詞:
functions computational » functions computation , directions computational , section computational
programming validating » programming evaluating , programming writing , programming balancing
function computation » function computing , function decomposition , section computational
validating method » validation methods , locating method , estimating method
method cases » method case , method cassels , method caused

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium...

出版 2010

書本目錄: “... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...”
獲取全文

電子電子書

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings /

出版 2007

書本目錄: “... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”
獲取全文

電子電子書

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /

出版 2015

書本目錄: “... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...”
獲取全文

電子電子書

Service-Oriented Computing – ICSOC 2005 Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings /

出版 2005

書本目錄: “... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”
獲取全文

電子電子書

Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers /

出版 2008

書本目錄: “...Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA...”
獲取全文

電子電子書

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

出版 2008

書本目錄: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
獲取全文

電子電子書

Requirements Engineering: Foundation for Software Quality 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010. Proceedings /

出版 2010

書本目錄: “... Requirements Based on Patterns -- A Metamodel for Software Requirement Patterns -- Validation...”
獲取全文

電子電子書

Advances in Cryptology – EUROCRYPT 2010 29th Annual International Conference on the Theory and Applications of Cryptographic Techniques, French Riviera, May 30 - June 3, 2010, Proc...

出版 2010

書本目錄: “...-Order Groups -- Fully Secure Functional Encryption: Attribute-Based Encryption and (Hierarchical) Inner...”
獲取全文

電子電子書

Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings /

出版 2007

書本目錄: “...Keynotes -- Modeling Workflow Patterns from First Principles -- Heart Modeling, Computational...”
獲取全文

電子電子書

Advances in Artificial Intelligence and Its Applications 12th Mexican International Conference, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I /

出版 2013

書本目錄: “...Some Properties of Logic N-GLukG -- The Inverse Method for Many-Valued Logics -- A Parametric...”
獲取全文

電子電子書

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings /

出版 2007

書本目錄: “...Invited Talks -- Pattern Recognition and Information Fusion Using Belief Functions: Some Recent...”
獲取全文

電子電子書

International Handbook of Occupational Therapy Interventions

出版 2015

書本目錄: “... Therapist Manages for Adaptations ─ Overview -- Environmental Adaptation for Individuals with Functional...”
獲取全文

電子電子書

The Ethics of Screening in Health Care and Medicine Serving Society or Serving the Patient? /

由 Juth, Niklas., Juth, Niklas., Munthe, Christian.
出版 2012

書本目錄: “... and Analysis.-3.2.1 Safety.-3.2.2 Validity -- 3.2.3 Predictive Value -- 3.3 Treatments.-3.3.1 Abortion...”
獲取全文

電子電子書

縮小搜索