Priporočene teme znotraj vašega iskanja.
Priporočene teme znotraj vašega iskanja.
Poišči alternative:
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming relations » programming relaxations, programming relational, programming operations
relations practices » relations practice, relations practitioners, relations principles
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 relations » programming relaxations, programming relational, programming operations
relations practices » relations practice, relations practitioners, relations principles
practices tools » practice tools, practical tools, practical tool
1
Kazalo:
“... Maps and Mechanisms -- Functional Thinking -- Thinking Practically -- Side-Effect Programming...”
Polni tekst
Polni tekst
Elektronski
eKnjiga
2
Kazalo:
“... -- Functions, Relations, and Filtering -- Using and Applying VEE Pro Library Functions -- Using the Sequencer...”
Polni tekst
Polni tekst
Elektronski
eKnjiga
3
4
Izdano 2012
Kazalo:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Polni tekst
Elektronski
eKnjiga
5
Kazalo:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Polni tekst
Polni tekst
Elektronski
eKnjiga
6
Kazalo:
“... -- The Objective Part of Caml -- Digression: OCaml Is Not Pure -- Digression: Functional Programming -- Practical...”
Polni tekst
Polni tekst
Elektronski
eKnjiga
7
Izdano 2008
Kazalo:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Polni tekst
Elektronski
eKnjiga
8
9
Kazalo:
“... Methods -- 7. Semidefinite Optimization: Selected Special Cases, The S-Procedure, The Function log°det...”
Polni tekst
Polni tekst
Elektronski
eKnjiga
10
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Izdano 2013
Kazalo:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”Polni tekst
Elektronski
eKnjiga
11
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Izdano 2005
Kazalo:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”Polni tekst
Elektronski
eKnjiga
12
Kazalo:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
Polni tekst
Polni tekst
Elektronski
eKnjiga
13
Izdano 2010
Kazalo:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Polni tekst
Elektronski
eKnjiga
14
Izdano 2010
Kazalo:
“... Design -- A Reconfigurable Implementation of the Tate Pairing Computation over GF(2 m ) -- Session 3...”Polni tekst
Elektronski
eKnjiga
15
16
Izdano 2006
Kazalo:
“... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”Polni tekst
Elektronski
eKnjiga
17
Izdano 2010
Kazalo:
“...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...”Polni tekst
Elektronski
eKnjiga
18
Izdano 2008
Kazalo:
“... -- Functional Verification of Power Gated Designs by Compositional Reasoning -- A Practical Approach to Word...”Polni tekst
Elektronski
eKnjiga
19
20
Izdano 2011
Kazalo:
“...How to Read this Guide to Geometric Algebra in Practice -- Part I: Rigid Body Motion -- Rigid Body...”Polni tekst
Elektronski
eKnjiga