1
Addis, Tom., Addis, Tom., Addis, Jan.
出版 2010
書本目錄: ... 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
Hunt, John., Hunt, John.
出版 2014
書本目錄: ... 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
Cervo, Dalton, 1967-.
出版 2011
主題: ...Customer relations Data processing....
圖書
7
出版 2008
書本目錄: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
獲取全文
電子 電子書
8
主題: ...Computer communication systems....
獲取全文
電子 電子書
9
書本目錄: ... Methods -- 7. Semidefinite Optimization: Selected Special Cases, The S-Procedure, The Function log°det...
獲取全文
電子 電子書
10
出版 2013
書本目錄: ... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...
獲取全文
電子 電子書
11
出版 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
Lopez, Cesar., Lopez, Cesar.
出版 2014
主題: ...Programming languages (Electronic computers)....
獲取全文
電子 電子書
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
主題: ...Computer programming....
獲取全文
電子 電子書
20
出版 2011
書本目錄: ...How to Read this Guide to Geometric Algebra in Practice -- Part I: Rigid Body Motion -- Rigid Body...
獲取全文
電子 電子書