在您的搜寻 主题建议
搜索替代词:
interfaces computing » interfaces comparing, interfaces computer, interface comparing
computing processing » computing proceeding, computing proceedings, computer processing
processing programs » processing programmed, processing problems, processing products
programs abstract » program abstract, program abstracts, programs abstraction
abstract theory » contract theory
1
封面图片
出版 2005
书本目录: “... -- Concurrent Clustered Programming -- A Theory of System Behaviour in the Presence of Node and Link Failures...”
获取全文
电子 电子书
加到收藏夹
Saved in:
2
封面图片
出版 2007
书本目录: “... for Interface and Product Line Theories -- Using History Invariants to Verify Observers -- Term Rewriting...”
获取全文
电子 电子书
加到收藏夹
Saved in:
3
封面图片
出版 2005
书本目录: “... -- Interface-Based Design -- The Dependent Delegate Dilemma -- System and Program Verification, Model Checking...”
获取全文
电子 电子书
加到收藏夹
Saved in:
4
封面图片
出版 2006
书本目录: “...Underlying theory -- Approximate and feasible learning -- Approximate design -- Problem formulation...”
获取全文
电子 电子书
加到收藏夹
Saved in:
5
封面图片
出版 2012
书本目录: “... Analysis of Weak Annoyances in Human Computer Interfaces -- Neural and Speech Indicators of Cognitive Load...”
获取全文
电子 电子书
加到收藏夹
Saved in:
6
封面图片
出版 2008
书本目录: “... of Embedded ECA Rule Engines: A Case Study -- Stochastic Process Algebra and SANs -- Towards State Space...”
获取全文
电子 电子书
加到收藏夹
Saved in:
7
封面图片
出版 2008
书本目录: “... Morphodynamical Prediction System on Cluster Computers -- Implementing a Parallel NetCDF Interface for Seamless...”
获取全文
电子 电子书
加到收藏夹
Saved in:
8
封面图片
出版 2012
书本目录: “... with an Undecidable First-Order Theory.- Open Bisimulation for Quantum Processes.- A Modular LTS for Open Reactive...”
获取全文
电子 电子书
加到收藏夹
Saved in:
9
封面图片
出版 2008
书本目录: “...Abductive Inference for Reasoning about Heaps -- A Sound Floating-Point Polyhedra Abstract Domain...”
获取全文
电子 电子书
加到收藏夹
Saved in:
10
封面图片
出版 2007
书本目录: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
获取全文
电子 电子书
加到收藏夹
Saved in:
11
封面图片
出版 2014
书本目录: “...Regular Articles -- Building PMCFG Parsers as Datalog Program Transformations -- Representing...”
获取全文
电子 电子书
加到收藏夹
Saved in:
12
封面图片
出版 2008
书本目录: “... -- Designing Programming Exercises with Computer Assisted Instruction -- The Strategy and Practice of Blended...”
获取全文
电子 电子书
加到收藏夹
Saved in:
13
封面图片
出版 2010
书本目录: “... Types -- Abnormal Change Detection of Image Quality Metric Series Using Diffusion Process and Stopping...”
获取全文
电子 电子书
加到收藏夹
Saved in:
14
封面图片
出版 2010
书本目录: “...: Ontology and Mereology of Domains -- Computer Science and State Machines -- A Small Step for Mankind...”
获取全文
电子 电子书
加到收藏夹
Saved in:
15
封面图片
出版 2010
书本目录: “... Collaborative Process -- A Three-Dimensional Abstraction Framework to Compare Multi-Agent System Models...”
获取全文
电子 电子书
加到收藏夹
Saved in:
16
封面图片
出版 2007
主题: “...Computer programming....”
获取全文
电子 电子书
加到收藏夹
Saved in:
17
封面图片
出版 2008
书本目录: “... Epistemic Interface Design -- Enhancing State-Space Tree Diagrams for Collaborative Problem Solving...”
获取全文
电子 电子书
加到收藏夹
Saved in:
18
封面图片
出版 2005
书本目录: “... -- Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation -- Graph Processes...”
获取全文
电子 电子书
加到收藏夹
Saved in:
19
封面图片
出版 2012
书本目录: “....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...”
获取全文
电子 电子书
加到收藏夹
Saved in:
20
封面图片
出版 2012
书本目录: “... Retrieval from Deformable Templates.- OWL-DL Domain-Models as Abstract Workflows.- Processes and Data...”
获取全文
电子 电子书
加到收藏夹
Saved in:
检索工具: 得到RSS订阅 — 推荐此搜索 — 保存搜索