Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs development » program development, programmes development, programs developmental
function select » function selection, function subject, function self
select programs » selected programs, selecting programs, set programs
https » http
programs development » program development, programmes development, programs developmental
function select » function selection, function subject, function self
select programs » selected programs, selecting programs, set programs
https » http
1
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
2
Table of Contents:
“... to Ecosystem Service -- 1.5. Functional Diversity Quantification -- 2. Functional Groups -- 2.1 Selecting Trait...”
View full text
View full text
Electronic
eBook
3
Published 2011
Table of Contents:
“... and PDGF coordinate embryonic coronary vascularization -- The E2F pathway in cardiac development...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... Constraints in the Biochemical Abstract Machine BIOCHAM -- Tools for Program Development -- Declarative...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Unfolding with Ancestor Stacks for Full Prolog -- Program Development -- Schema-Guided Synthesis...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“...: Systematic Stress Testing of Concurrent Software -- Program Development -- ARM: Automatic Rule Miner...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
8
Published 2015
Table of Contents:
“...Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types...”View full text
Electronic
eBook
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 2013
Table of Contents:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... -- Computational Interpretations of Analysis via Products of Selection Functions -- The Peirce Translation...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”View full text
Electronic
eBook
13
Table of Contents:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
View full text
View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... of Unsplittable Flow on a Path -- Content Placement via the Exponential Potential Function Method -- Blocking...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”View full text
Electronic
eBook
16
Table of Contents:
“...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...”
View full text
View full text
Electronic
eBook
17
Table of Contents:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
View full text
View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... Needs -- Why the Development Outcome Does Not Meet the Product Owners’ Expectations? -- Functional Size...”View full text
Electronic
eBook