Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
interactive equations » interactive education, iterative equation, interactive educational
equations programming » equations programmed, relations programming, aquatics programming
programming function » programming functional, programming functionals, programme function
function https » functions https, fiction https
programming programming » programming programmed, programming program
interactive equations » interactive education, iterative equation, interactive educational
equations programming » equations programmed, relations programming, aquatics programming
programming function » programming functional, programming functionals, programme function
function https » functions https, fiction https
1
Published 2006
Table of Contents:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... -- A Characterization of Non-interactive Instance-Dependent Commitment-Schemes (NIC) -- Session A9...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Order -- Renormalization of Interacting Diffusions: A Program and Four Examples -- Reduced Mihlin...”View full text
Electronic
eBook
6
Table of Contents:
“...Finite Element Formulation -- Finite Element Equations for Heat Transfer -- FEM for Solid Mechanics...”
View full text
View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Programs with Function Symbols -- The Complexity of Temporal Logic with Until and Since over Ordinals...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....”View full text
Electronic
eBook
10
Table of Contents:
“...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...”
View full text
View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Normalization for the ?-Calculus with Recursive Equations on Types -- Embedding Pure Type Systems in the Lambda...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... -- Typing Asymmetric Client-Server Interaction -- Equational Reasoning on Ad Hoc Networks -- Towards a...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... -- Cardinality and Entropy for Bifuzzy Sets -- Some Remarks on the Solutions to the Functional Equation I(x,y...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“...-Invasive Man Machine Interaction -- A UML Profile for Developing Databases that Conform to the Third...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... and Self Reinforced Processes: M. Benaim -- 9 Wave Interaction with Floating Bodies in a Stratified...”View full text
Electronic
eBook
19
Published 2012
Table of Contents:
“....-Approximation of Sparse Controls in Semilinear Elliptic Equations.-A Non-standard Finite Element Method Based...”View full text
Electronic
eBook
20
Table of Contents:
“... by Verification -- 5. Introduction to Viscosity Solutions -- 6. Dynamic Programming Equation in the Viscosity...”
View full text
View full text
Electronic
eBook