在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
interactive applications » internet applications, enterprise applications, quantitative applications
applications programs » application programs, application program, applications progress
program constructing » program construction, diagram constructing, programs conducting
constructing https » construction https, consulting https, constructing better
programs program » programming program
interactive applications » internet applications, enterprise applications, quantitative applications
applications programs » application programs, application program, applications progress
program constructing » program construction, diagram constructing, programs conducting
constructing https » construction https, consulting https, constructing better
programs program » programming program
1
出版 2014
书本目录:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”获取全文
电子
电子书
2
出版 2007
书本目录:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”获取全文
电子
电子书
3
出版 2008
书本目录:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”获取全文
电子
电子书
4
出版 2005
书本目录:
“... Autonomic Grid Applications: Dynamic Composition, Coordination and Interaction -- Grassroots Approach...”获取全文
电子
电子书
5
出版 2005
书本目录:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”获取全文
电子
电子书
6
出版 2005
书本目录:
“... Transformations -- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications -- A...”获取全文
电子
电子书
7
出版 2013
书本目录:
“... Constructions -- Experience Based Nonmonotonic Reasoning -- An ASP application in integrative biology...”获取全文
电子
电子书
8
书本目录:
“...Part I Getting Started -- Building Your First Game Application -- Programming -- Game Programming...”
获取全文
获取全文
电子
电子书
9
出版 2010
书本目录:
“... -- Extending Coq with Imperative Features and Its Application to SAT Verification -- A Tactic Language...”获取全文
电子
电子书
10
书本目录:
“...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
获取全文
获取全文
电子
电子书
11
出版 2005
书本目录:
“... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...”获取全文
电子
电子书
12
出版 2005
书本目录:
“... Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture...”获取全文
电子
电子书
13
出版 2010
书本目录:
“... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...”获取全文
电子
电子书
14
出版 2008
书本目录:
“... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...”获取全文
电子
电子书
15
出版 2007
书本目录:
“... and Reason About Context -- Situation Specification and Realization in Rule-Based Context-Aware Applications...”获取全文
电子
电子书
16
出版 2008
书本目录:
“...Performance Tools -- Performance Analysis of Large-Scale OpenMP and Hybrid MPI/OpenMP Applications...”获取全文
电子
电子书
17
出版 2015
书本目录:
“... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”获取全文
电子
电子书
18
出版 2008
书本目录:
“... Intelligence Applications in Engineering Design -- A Prolog Based System That Assists Experts to Construct...”获取全文
电子
电子书
19
出版 2005
书本目录:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”获取全文
电子
电子书
20
出版 2008
书本目录:
“... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...”获取全文
电子
电子书