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