在您的搜尋 主題建議
搜索替代詞:
programmed construction » programmed instruction, program construction, programed instruction
interactive computer » interfaces computer, internet computer
program programmed » program program, programming programmed, programmes programme
construction https » instruction https, conservation https, construction history
1
封面圖片
出版 2008
書本目錄: “... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
2
封面圖片
出版 2007
書本目錄: “... -- Equational Systems and Free Constructions (Extended Abstract) -- Categorical Views on Computations on Trees...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
3
封面圖片
出版 2014
書本目錄: “...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
4
封面圖片
出版 2005
書本目錄: “... -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
5
封面圖片
書本目錄: “...Part I Getting Started -- Building Your First Game Application -- Programming -- Game Programming...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
6
封面圖片
出版 2013
書本目錄: “... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
7
封面圖片
出版 2005
書本目錄: “... Understanding of Communication-Oriented Concerns in Human-Computer Interaction: A Lexicon-Based Approach -- A...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
8
封面圖片
出版 2005
書本目錄: “... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
9
封面圖片
書本目錄: “...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
10
封面圖片
出版 2007
書本目錄: “... Tractable Classes of Horn Clauses -- Infering Ownership Types for Encapsulated Object-Oriented Program...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
11
封面圖片
出版 2014
書本目錄: “... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
12
封面圖片
出版 2010
書本目錄: “... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
13
封面圖片
出版 2008
書本目錄: “... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
14
封面圖片
出版 2010
書本目錄: “... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
15
封面圖片
出版 2005
書本目錄: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
16
封面圖片
出版 2006
書本目錄: “... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
17
封面圖片
出版 2012
書本目錄: “...MetiTarski: Past and Future -- Computer-Aided Cryptographic Proofs -- A Differential Operator...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
18
封面圖片
出版 2014
書本目錄: “...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
19
封面圖片
出版 2015
書本目錄: “... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
20
封面圖片
書本目錄: “... to Manage Anger and Correct Thinking Errors -- Chapter 6. Equipping with Social Interaction Skills...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
檢索工具: 得到RSS訂閱 — 推薦此搜索 — 保存搜索