在您的搜尋 主題建議
搜索替代詞:
program validation » programs validation, program vilidation, program evaluation
validation https » evaluation https, animation https, visualization https
https function » its function, sites function, ups function
using https » using http, nursing https, aging https
1
封面圖片
書本目錄: “... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
2
封面圖片
出版 2008
書本目錄: “...-functional Avionics Requirements -- A Simulation Approach for Performance Validation during Embedded Systems...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
3
封面圖片
出版 2010
書本目錄: “... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
4
封面圖片
出版 2010
書本目錄: “...-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns -- Seamless Model-Driven...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
5
封面圖片
出版 2014
書本目錄: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
6
封面圖片
出版 2006
書本目錄: “...802.11 De-authentication Attack Detection Using Genetic Programming -- 802.11 De-authentication...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
7
封面圖片
出版 2005
書本目錄: “... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
8
封面圖片
出版 2006
書本目錄: “... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
9
封面圖片
出版 2013
書本目錄: “... mutation paradigm for Genetic Programming -- Introducing an Age-Varying Fitness Estimation Function -- EC...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
10
封面圖片
出版 2014
書本目錄: “... Portfolio using Genetic Programming-based Load Models -- Maintenance of a Long Running Distributed Genetic...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
11
封面圖片
出版 2014
書本目錄: “...-organized Learning in Software Factory: Experiences and Lessons Learned -- Part Methods and Metrics -- Using...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
12
封面圖片
主題: “...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
13
封面圖片
出版 2010
書本目錄: “... of Functional Form in Multiple Regression Using R -- Fitting Multinomial Models in R: A Program Based on Bock#x...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
14
封面圖片
出版 2007
書本目錄: “... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
15
封面圖片
出版 2010
書本目錄: “... -- Identification of Security Requirements in Systems of Systems by Functional Security Analysis -- Implementing...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
16
封面圖片
出版 2007
書本目錄: “... – An Algorithmic Approach -- Soya: A Programming Model and Runtime Environment for Component Composition Using SSDL...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
17
封面圖片
出版 2012
書本目錄: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
18
封面圖片
出版 2008
書本目錄: “...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
19
封面圖片
出版 2010
主題: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
20
封面圖片
出版 2008
書本目錄: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
檢索工具: 得到RSS訂閱 — 推薦此搜索 — 保存搜索