在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
based context » based control, based text
context case » content case, context based, context a
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
based context » based control, based text
context case » content case, context based, context a
1
出版 2015
书本目录:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”获取全文
电子
电子书
2
出版 2006
书本目录:
“...Separating Concerns with Domain Specific Languages -- Event-Based Programming Without Inversion...”获取全文
电子
电子书
3
出版 2008
书本目录:
“... Handlers as Extensible Cases -- Sound and Complete Type Inference for a Systems Programming Language...”获取全文
电子
电子书
4
出版 2008
书本目录:
“... Cases -- Constructing a Safety Case for Automatically Generated Code from Formal Program Verification...”获取全文
电子
电子书
5
出版 2005
书本目录:
“... Feature Construction and Object Detection -- An Implicit Context Representation for Evolving Image...”获取全文
电子
电子书
6
出版 2010
书本目录:
“... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...”获取全文
电子
电子书
7
出版 2013
书本目录:
“... on Mobile Devices -- CloudSVM: Training an SVM Classifier in Cloud Computing Systems -- A Document-Based...”获取全文
电子
电子书
8
出版 2007
书本目录:
“... Developments in WCET Analysis -- Realistic Worst-Case Execution Time Analysis in the Context of Pervasive...”获取全文
电子
电子书
9
出版 2010
书本目录:
“... Variables -- Enhancing Personal Learning Environments by Context-Aware Tagging -- Assisting the Authoring...”获取全文
电子
电子书
10
出版 2007
书本目录:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”获取全文
电子
电子书
11
出版 2006
书本目录:
“... -- Towards a Standards-Based Autonomic Context Management System -- Formal Modeling and Verification...”获取全文
电子
电子书
12
13
出版 2006
书本目录:
“... Construction Project Histories for Estimating and Defect Detection -- Case Studies of Intelligent Context-Aware...”获取全文
电子
电子书
14
Knowledge-Based and Intelligent Information and Engineering Systems 14th International Conference...
出版 2010
书本目录:
“...-Based System for Applying Environmental Management Plan (EMP) in the Malaysian Construction Industry...”获取全文
电子
电子书
15
出版 2005
书本目录:
“... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”获取全文
电子
电子书
16
出版 2006
书本目录:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”获取全文
电子
电子书
17
出版 2014
书本目录:
“... Sentence Similarity Based on Concepts -- Materialized View Construction Based on Clustering Technique...”获取全文
电子
电子书
18
出版 2008
书本目录:
“... in Context-Aware Collaborative Ubiquitous-Computing Environments -- Understanding Distributed Program...”获取全文
电子
电子书
19
出版 2010
书本目录:
“... -- Innovations in Computation and Application -- Fuzzy Decision Making for IJV Performance Based on Statistical...”获取全文
电子
电子书
20
出版 2006
书本目录:
“...H — HCI at the Human Scale -- “Looking At the Computer but Doing It On Land”: Children’s...”获取全文
电子
电子书



