Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programming functionals » programming functional, programming function, programming fundamentals
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
functionals based » functional based, functionally based, functions based
programming functionals » programming functional, programming function, programming fundamentals
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
functionals based » functional based, functionally based, functions based
1
Argitaratua 2006
Aurkibidea:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2007
Aurkibidea:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2005
Aurkibidea:
“... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2012
Aurkibidea:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Testu osoa
Baliabide elektronikoa
eBook
5
Aurkibidea:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2011
Aurkibidea:
“... mediated transcriptional control of hypertrophic gene programs underlying cardiac hypertrophy -- Molecular...”Testu osoa
Baliabide elektronikoa
eBook
7
nork Benis-Sinaceur, Hourya., Benis-Sinaceur, Hourya., Panza, Marco., Sandu, Gabriel.
Argitaratua 2015
Aurkibidea:
“...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”Argitaratua 2015
Testu osoa
Baliabide elektronikoa
eBook
8
9
Argitaratua 2015
Aurkibidea:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2006
Aurkibidea:
“... Constraints in the Biochemical Abstract Machine BIOCHAM -- Tools for Program Development -- Declarative...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2005
Aurkibidea:
“... -- Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles -- Component...”Testu osoa
Baliabide elektronikoa
eBook
12
nork Lent, Craig S., 1956-.
Argitaratua 2013
Aurkibidea:
“... Graphical User Interface Chapter 10: Transferring a MATLAB Program into a GUI Tool Chapter 11: GUI...”Argitaratua 2013
Liburua
13
Argitaratua 2008
Aurkibidea:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”Testu osoa
Baliabide elektronikoa
eBook
14
Gaiak:
“...Programming languages (Electronic computers)....”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
15
nork Koohi, Sina Zangbari
Argitaratua 2020
Gaiak:
“...Parallel programming (Computer science) - Research...”Argitaratua 2020
Testu osoa
Thesis
16
Argitaratua 2006
Aurkibidea:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2013
Aurkibidea:
“... -- Computation of Gröbner Bases -- Markov Bases and Designed Experiments -- Convex Polytopes and Gröbner Bases...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2010
Aurkibidea:
“... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2008
Aurkibidea:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2008
Aurkibidea:
“... and Evaluating Complexity of Textual Case Bases -- Learning Similarity Functions from Qualitative Feedback...”Testu osoa
Baliabide elektronikoa
eBook