在您的搜尋 主題建議
在您的搜尋 主題建議
搜索替代詞:
programming technologies » programming techniques, processing technologies, packaging technologies
functionality testing » functionality setting, functional testing, functionality using
https functionality » its functionality, bags functionality, cross functionality
technologies https » technology https
testing https » teaching https, being https, writing https
programming technologies » programming techniques, processing technologies, packaging technologies
functionality testing » functionality setting, functional testing, functionality using
https functionality » its functionality, bags functionality, cross functionality
technologies https » technology https
testing https » teaching https, being https, writing https
1
出版 2010
書本目錄:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”獲取全文
電子
電子書
2
書本目錄:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
獲取全文
獲取全文
電子
電子書
3
出版 2012
書本目錄:
“... Microprocessor Testing. -- ioneering the Future of Verification: A Spiral of Technological and Business...”獲取全文
電子
電子書
4
出版 2007
書本目錄:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”獲取全文
電子
電子書
5
出版 2005
書本目錄:
“... Management in Distributed Systems -- Semantic Methods for P2P Query Routing -- Programming Cognitive Agents...”獲取全文
電子
電子書
6
出版 2010
書本目錄:
“...1. Invited Talks -- The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes...”獲取全文
電子
電子書
7
出版 2015
書本目錄:
“..., USA).- 22: Technological Pedagogical Content Knowledge and the Teaching of Programming (Schulte, Freie...”獲取全文
電子
電子書
8
出版 2005
書本目錄:
“... Approach -- Test Generation: A Hierarchical Approach -- Test Program Generation from High-level...”獲取全文
電子
電子書
9
書本目錄:
“...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...”
獲取全文
獲取全文
電子
電子書
10
出版 2008
書本目錄:
“...Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust...”獲取全文
電子
電子書
11
出版 2010
書本目錄:
“... and Decision Tree -- RDFa Ontology-Based Architecture for String-Based Web Attacks: Testing and Evaluation...”獲取全文
電子
電子書
12
出版 2005
書本目錄:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”獲取全文
電子
電子書
13
出版 2005
書本目錄:
“..., and Computation -- Testing Concurrent Systems: An Interpretation of Intuitionistic Logic -- Proofs of Termination...”獲取全文
電子
電子書
14
出版 2008
書本目錄:
“... -- Multi-modal Functional Test Execution -- Social Network Analysis of Communication in Open Source...”獲取全文
電子
電子書
15
出版 2010
書本目錄:
“...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”獲取全文
電子
電子書
16
出版 2006
書本目錄:
“... -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous...”獲取全文
電子
電子書
17
出版 2006
書本目錄:
“... with Different Species -- Computationally Sound Symbolic Secrecy in the Presence of Hash Functions -- Some...”獲取全文
電子
電子書
18
出版 2013
書本目錄:
“... technology and disease research: issues to be resolved -- ES and iPS cells as tools for modeling human aging...”獲取全文
電子
電子書
19
出版 2006
書本目錄:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”獲取全文
電子
電子書
20
出版 2013
書本目錄:
“... Accelerated Degradation Test to Evaluate Power Fade of Batteries for Electric Vehicles -- The Development...”獲取全文
電子
電子書