Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming function » programming functional, programming functionals, programme function
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming function » programming functional, programming functionals, programme function
1
Published 2006
Table of Contents:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”View full text
Electronic
eBook
4
Published 2012
Table of Contents:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”View full text
Electronic
eBook
5
Table of Contents:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
View full text
View full text
Electronic
eBook
6
Published 2011
Table of Contents:
“... mediated transcriptional control of hypertrophic gene programs underlying cardiac hypertrophy -- Molecular...”View full text
Electronic
eBook
7
Table of Contents:
“...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”
View full text
View full text
Electronic
eBook
8
9
Published 2015
Table of Contents:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... Constraints in the Biochemical Abstract Machine BIOCHAM -- Tools for Program Development -- Declarative...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... -- Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles -- Component...”View full text
Electronic
eBook
12
by Lent, Craig S., 1956-.
Published 2013
Table of Contents:
“... Graphical User Interface Chapter 10: Transferring a MATLAB Program into a GUI Tool Chapter 11: GUI...”Published 2013
Book
13
Published 2008
Table of Contents:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”View full text
Electronic
eBook
14
15
by Koohi, Sina Zangbari
Published 2020
Subjects:
“...Parallel programming (Computer science) - Research...”Published 2020
View full text
Thesis
16
Published 2006
Table of Contents:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“... -- Computation of Gröbner Bases -- Markov Bases and Designed Experiments -- Convex Polytopes and Gröbner Bases...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“...Evolutionary Computation: from Genetic Algorithms to Genetic Programming -- Automatically Defined...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook