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
Muhammad Zain, Zuhaira
出版 2012
主题: ...Blogs - Computer programs...
获取全文
Thesis
13
出版 2006
书本目录: ... Construction Project Histories for Estimating and Defect Detection -- Case Studies of Intelligent Context-Aware...
获取全文
电子 电子书
14
出版 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...
获取全文
电子 电子书