在您的搜尋 主題建議
搜索替代詞:
proceedings programs » proceedings program, processing programs, procedures programs
general computing » neural computing, general computer, dental computing
programs java » program java, programs a, programs case
https » http
1
封面圖片
出版 2013
書本目錄: “... -- This Java: An Extension of Java with Exact Types -- Semantics of Probabilistic Programs: A Weak Limit...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
2
封面圖片
出版 2006
書本目錄: “...Separating Concerns with Domain Specific Languages -- Event-Based Programming Without Inversion...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
3
封面圖片
出版 2010
書本目錄: “... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
4
封面圖片
出版 2007
書本目錄: “... in Reasoning About Relationships -- Inheritance and Derivation -- JavaGI: Generalized Interfaces for Java...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
5
封面圖片
出版 2010
書本目錄: “...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
6
封面圖片
出版 2007
書本目錄: “... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
7
封面圖片
出版 2005
書本目錄: “... Add Reduction Rules and Close -- Towards a Type System for Analyzing JavaScript Programs -- Java JR...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
8
封面圖片
出版 2006
書本目錄: “...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
9
封面圖片
出版 2015
書本目錄: “...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
10
封面圖片
出版 2014
書本目錄: “... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
11
封面圖片
出版 2007
書本目錄: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
12
封面圖片
出版 2005
書本目錄: “...Invited Talks -- Randomized Algorithms for Program Analysis and Verification -- Validating a Modern...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
13
封面圖片
出版 2012
書本目錄: “... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
14
封面圖片
出版 2010
書本目錄: “... Refactoring of Concurrent Java Code -- Programming Coordinated Behavior in Java -- JCoBox: Generalizing Active...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
15
封面圖片
出版 2012
書本目錄: “... Sets of Simple Linear Loops -- Definite Expression Aliasing Analysis for Java Bytecode -- Using...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
16
封面圖片
出版 2008
書本目錄: “... Parallelization -- Static Nonconcurrency Analysis of OpenMP Programs -- CCRG OpenMP Compiler: Experiments...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
17
封面圖片
出版 2005
書本目錄: “... -- Job Scheduling Policy for High Throughput Grid Computing -- High Performance Task Scheduling Algorithm...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
18
封面圖片
出版 2010
書本目錄: “... of Runtime Enforcement, with Results -- Enforcing Secure Object Initialization in Java -- Flexible Scheduler...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
19
封面圖片
出版 2006
書本目錄: “... -- An Enhanced Parallel Version of Kiva–3V, Coupled with a 1D CFD Code, and Its Use in General Purpose Engine...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
20
封面圖片
出版 2006
書本目錄: “...Invited Papers -- Global Optimization of Probabilistically Constrained Linear Programs...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
檢索工具: 得到RSS訂閱 — 推薦此搜索 — 保存搜索