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