在您的搜尋 主題建議
在您的搜尋 主題建議
搜索替代詞:
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming relational » programming vocational, programming translational, programming relaxations
relational practices » relational practice, relations practices, operational practices
practices tools » practice tools, practical tools, practical tool
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming relational » programming vocational, programming translational, programming relaxations
relational practices » relational practice, relations practices, operational practices
practices tools » practice tools, practical tools, practical tool
1
書本目錄:
“... Maps and Mechanisms -- Functional Thinking -- Thinking Practically -- Side-Effect Programming...”
獲取全文
獲取全文
電子
電子書
2
書本目錄:
“... -- Functions, Relations, and Filtering -- Using and Applying VEE Pro Library Functions -- Using the Sequencer...”
獲取全文
獲取全文
電子
電子書
3
出版 2012
書本目錄:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”獲取全文
電子
電子書
4
書本目錄:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
獲取全文
獲取全文
電子
電子書
5
書本目錄:
“... -- The Objective Part of Caml -- Digression: OCaml Is Not Pure -- Digression: Functional Programming -- Practical...”
獲取全文
獲取全文
電子
電子書
6
7
出版 2008
書本目錄:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”獲取全文
電子
電子書
8
9
書本目錄:
“... Methods -- 7. Semidefinite Optimization: Selected Special Cases, The S-Procedure, The Function log°det...”
獲取全文
獲取全文
電子
電子書
10
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
出版 2013
書本目錄:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”獲取全文
電子
電子書
11
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
出版 2005
書本目錄:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”獲取全文
電子
電子書
12
書本目錄:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
獲取全文
獲取全文
電子
電子書
13
出版 2010
書本目錄:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”獲取全文
電子
電子書
14
出版 2010
書本目錄:
“... Design -- A Reconfigurable Implementation of the Tate Pairing Computation over GF(2 m ) -- Session 3...”獲取全文
電子
電子書
15
16
出版 2006
書本目錄:
“... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”獲取全文
電子
電子書
17
出版 2010
書本目錄:
“...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...”獲取全文
電子
電子書
18
出版 2008
書本目錄:
“... -- Functional Verification of Power Gated Designs by Compositional Reasoning -- A Practical Approach to Word...”獲取全文
電子
電子書
19
20
出版 2011
書本目錄:
“...How to Read this Guide to Geometric Algebra in Practice -- Part I: Rigid Body Motion -- Rigid Body...”獲取全文
電子
電子書



