Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
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 practical » relational practice, relations practical, relational practices
practical tools » practical tips, analytical tools
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 practical » relational practice, relations practical, relational practices
practical tools » practical tips, analytical tools
1
Aurkibidea:
“... Maps and Mechanisms -- Functional Thinking -- Thinking Practically -- Side-Effect Programming...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
2
Aurkibidea:
“... -- Functions, Relations, and Filtering -- Using and Applying VEE Pro Library Functions -- Using the Sequencer...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2012
Aurkibidea:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Testu osoa
Baliabide elektronikoa
eBook
4
Aurkibidea:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
5
Aurkibidea:
“... -- The Objective Part of Caml -- Digression: OCaml Is Not Pure -- Digression: Functional Programming -- Practical...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
6
nork Cervo, Dalton, 1967-.
Argitaratua 2011
Gaiak:
“...Customer relations Data processing....”Argitaratua 2011
Liburua
7
Argitaratua 2008
Aurkibidea:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Testu osoa
Baliabide elektronikoa
eBook
8
9
Aurkibidea:
“... Methods -- 7. Semidefinite Optimization: Selected Special Cases, The S-Procedure, The Function log°det...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
10
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Argitaratua 2013
Aurkibidea:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”Testu osoa
Baliabide elektronikoa
eBook
11
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Argitaratua 2005
Aurkibidea:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”Testu osoa
Baliabide elektronikoa
eBook
12
Aurkibidea:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2010
Aurkibidea:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2010
Aurkibidea:
“... Design -- A Reconfigurable Implementation of the Tate Pairing Computation over GF(2 m ) -- Session 3...”Testu osoa
Baliabide elektronikoa
eBook
15
Gaiak:
“...Programming languages (Electronic computers)....”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2006
Aurkibidea:
“... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”Testu osoa
Baliabide elektronikoa
eBook
17
18
Argitaratua 2010
Aurkibidea:
“...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2008
Aurkibidea:
“... -- Functional Verification of Power Gated Designs by Compositional Reasoning -- A Practical Approach to Word...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2011
Aurkibidea:
“...How to Read this Guide to Geometric Algebra in Practice -- Part I: Rigid Body Motion -- Rigid Body...”Testu osoa
Baliabide elektronikoa
eBook