搜索替代詞:
constructive computers » construction computers, construction computer, constructive completeness
computers programming » computer programming, computer program, computer programs
programming from » programming problems
from concepts » from concept
concepts a » concepts _
1
Sestoft, Peter., Sestoft, Peter.
出版 2012
書本目錄: ...Preface -- Introduction -- Interpreters and Compilers -- From Concrete Syntax to Abstract Syntax...
獲取全文
電子 電子書
2
出版 2012
書本目錄: ...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...
獲取全文
電子 電子書
3
出版 2010
書本目錄: ...Invited Talk -- A Risk-Driven Decision Table for Software Process Selection -- Process Alignment...
獲取全文
電子 電子書
4
出版 2010
書本目錄: ... in Computer Education -- Existence Precedes Essence - Meaning of the Stored-Program Concept -- Recession...
獲取全文
電子 電子書
5
出版 2015
書本目錄: ... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...
獲取全文
電子 電子書
6
出版 2005
書本目錄: ... -- Efficiently Computing a Linear Extension of the Sub-hierarchy of a Concept Lattice -- A Generic Algorithm...
獲取全文
電子 電子書
7
Hunt, John., Hunt, John.
出版 2014
書本目錄: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
獲取全文
電子 電子書
8
Addis, Tom., Addis, Tom., Addis, Jan.
出版 2010
書本目錄: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
獲取全文
電子 電子書
9
出版 2013
書本目錄: ... -- Itemset-Based Variable Construction in Multi-relational Supervised Learning -- A Declarative Modeling...
獲取全文
電子 電子書
10
書本目錄: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
獲取全文
電子 電子書
11
出版 2010
書本目錄: ... -- Three Roots for Leibniz’s Contribution to the Computational Conception of Reason -- Development of a...
獲取全文
電子 電子書
12
出版 2008
書本目錄: ... Tracing Closed Itemset and Transaction Set Simultaneously -- Extracting Concepts from Religious Knowledge...
獲取全文
電子 電子書
13
出版 2013
書本目錄: ... an Error-Tolerant Construction of EL⊥-Ontologies from Data Using Formal Concept Analysis -- Using Pattern...
獲取全文
電子 電子書
14
出版 2006
書本目錄: ... for CommUnity -- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application -- From OBJ...
獲取全文
電子 電子書
15
書本目錄: ...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...
獲取全文
電子 電子書
16
Raynal, Michel., Raynal, Michel.
出版 2013
書本目錄: ... to Atomic Bits: A Lower Bound and an Optimal Construction -- Chap. 13 - Bounded Constructions of Atomic b...
獲取全文
電子 電子書
17
書本目錄: ... Structure and Algorithm -- Concept Types and Concept Tokens -- Forms of Thinking -- The Major Constructions...
獲取全文
電子 電子書
18
McLaughlin, Michael
出版 2014
主題: ...PL/SQL (Computer program language)....
圖書
19
出版 2010
書本目錄: ... Versus 130/30 Models -- Distortion Risk Measures in Portfolio Optimization -- A Benefit from the Modern...
獲取全文
電子 電子書
20
出版 2014
書本目錄: ... Dispute -- Negotiating Construction Dispute -- Mediation as a Form of Assisted Negotiation....
獲取全文
電子 電子書