在您的搜尋 主題建議
在您的搜尋 主題建議
搜索替代詞:
programming validation » programming validating, programming evaluation, programming animation
functions computation » functions composition, function composition, functional composition
function computation » function computing, function decomposition, section computational
validation process » oxidation process
process test » process rest, processes test, process trust
programming validation » programming validating, programming evaluation, programming animation
functions computation » functions composition, function composition, functional composition
function computation » function computing, function decomposition, section computational
validation process » oxidation process
process test » process rest, processes test, process trust
1
出版 2008
書本目錄:
“... Tutorial) -- Abstract Interpretation with Applications to Timing Validation -- Session 1: Concurrency...”獲取全文
電子
電子書
2
出版 2008
書本目錄:
“...-functional Avionics Requirements -- A Simulation Approach for Performance Validation during Embedded Systems...”獲取全文
電子
電子書
3
出版 2014
書本目錄:
“... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”獲取全文
電子
電子書
4
5
出版 2014
書本目錄:
“... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”獲取全文
電子
電子書
6
出版 2010
書本目錄:
“... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”獲取全文
電子
電子書
7
出版 2010
書本目錄:
“...-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns -- Seamless Model-Driven...”獲取全文
電子
電子書
8
出版 2015
書本目錄:
“...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”獲取全文
電子
電子書
9
出版 2014
書本目錄:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”獲取全文
電子
電子書
10
出版 2005
書本目錄:
“... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”獲取全文
電子
電子書
11
出版 2007
書本目錄:
“... Decentralized QoS Registry Architecture for Web Services -- Business Process Regression Testing -- Auditing...”獲取全文
電子
電子書
12
出版 2008
書本目錄:
“...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...”獲取全文
電子
電子書
13
出版 2008
書本目錄:
“... Consolidated Evaluation Framework to Analyze Test Process Improvement Approaches -- Using Controlled...”獲取全文
電子
電子書
14
出版 2008
書本目錄:
“... -- Challenges in Evaluating SOA Test Processes -- Criteria to Compare Cloud Computing with Current Database...”獲取全文
電子
電子書
15
出版 2006
書本目錄:
“... with Different Species -- Computationally Sound Symbolic Secrecy in the Presence of Hash Functions -- Some...”獲取全文
電子
電子書
16
出版 2006
書本目錄:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”獲取全文
電子
電子書
17
18
出版 2005
書本目錄:
“... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”獲取全文
電子
電子書
19
出版 2013
書本目錄:
“... of Computer Labs -- Testing Mobile Agents on the Azul Platform -- Support of Relational Algebra Knowledge...”獲取全文
電子
電子書
20
出版 2005
書本目錄:
“... and Similarity Relations in Pawlak’s Information Systems -- Granular Computing with Shadowed Sets -- Rough Set...”獲取全文
電子
電子書