Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integration computing » integration competing, interaction computing, integration computer
programs function » programs functional, programme function, programs fiction
https integration » states integration, its integration, gps integration
function https » functions https, fiction https
integration computing » integration competing, interaction computing, integration computer
programs function » programs functional, programme function, programs fiction
https integration » states integration, its integration, gps integration
function https » functions https, fiction https
1
Published 2008
Table of Contents:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”View full text
Electronic
eBook
3
Published 2011
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
4
Published 2011
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”View full text
Electronic
eBook
6
Table of Contents:
“... Integration -- Optimisation Framework -- Scientific Grid Workflows -- Related Work -- Conclusions....”
View full text
View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”View full text
Electronic
eBook
8
Table of Contents:
“... -- Integrating R with Other Phylogenetic and Functional Trait Analytical Software -- References -- Index....”
View full text
View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... with Integer Programming -- Hybrid Local Search for Constrained Financial Portfolio Selection Problems...”View full text
Electronic
eBook
10
by Clarkson, Douglas B., Clarkson, Douglas B., Fraley, Chris., Gu, Charles., Ramsay, James.
Published 2005
Table of Contents:
“...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...”Published 2005
View full text
Electronic
eBook
11
12
Table of Contents:
“... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....”
View full text
View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
14
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Integrable Dynamical Systems -- Generic, Type-Safe and Object Oriented Computer Algebra Software...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”View full text
Electronic
eBook
18
Table of Contents:
“... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
View full text
View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”View full text
Electronic
eBook