Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
function rewriting » functions writing, function predicting, induction rewriting
rewriting https » writing https, rewriting type, screenwriting https
https function » its function, sites function, ups function
function rewriting » functions writing, function predicting, induction rewriting
rewriting https » writing https, rewriting type, screenwriting https
https function » its function, sites function, ups function
1
Julkaistu 2010
Sisällysluettelo:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2015
Sisällysluettelo:
“...Computers and the Mechanics of Communication. Outline of a Vision from the Work of Petri and Holt...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2015
Sisällysluettelo:
“... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2007
Sisällysluettelo:
“... -- Approximating Graphs by Graphs and Functions (Abstract) -- Traces, Feedback, and the Geometry of Computation...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2005
Sisällysluettelo:
“... and Approximability Results -- Quantum Algorithms for a Set of Group Theoretic Problems -- On the Computational...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2015
Sisällysluettelo:
“... Combinatorial Algorithm for the Planar Multi flow Problem with Demands Located on Three Holes -- Generalized LR...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2007
Sisällysluettelo:
“...1: Grid Computing -- An Opportunistic Algorithm for Scheduling Workflows on Grids -- A Service...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2013
Sisällysluettelo:
“... on k-Edge-Colored Graphs -- How to Pack Your Items When You Have to Buy Your Knapsack.-Computing...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2012
Sisällysluettelo:
“... -- Generating Functions of Timed Languages -- The Robust Set Problem: Parameterized Complexity and Approximation...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2007
Sisällysluettelo:
“... -- The Rewriting Calculus as a Combinatory Reduction System -- Relational Parametricity and Separation Logic...”Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2005
Sisällysluettelo:
“... Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract...”Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2006
Sisällysluettelo:
“... Distance in Tanner Graphs -- Multi-stack Boundary Labeling Problems -- Computing a Center-Transversal Line...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2005
Sisällysluettelo:
“... -- Probabilistic Analysis for a Multiple Depot Vehicle Routing Problem -- Computing the Expected Accumulated Reward...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2008
Sisällysluettelo:
“... of the Tiling Problem -- Remote Entrusting by Run-Time Software Authentication -- Trusted Computing — Special...”Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2013
Sisällysluettelo:
“...-compensation for Visually Impaired Computer Users with Variable Pupil Size -- Digital Filtering of the Pupil...”Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2006
Sisällysluettelo:
“... -- Sesqui-Pushout Rewriting -- Automata on Directed Graphs: Edge Versus Vertex Marking -- Conflict Detection...”Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2010
Sisällysluettelo:
“...: Homomorphism, Containment and Rewriting -- Enhancing Dung’s Preferred Semantics -- On the Distance of Databases...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2010
Sisällysluettelo:
“... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2008
Sisällysluettelo:
“... of Classical Computation in Measurement-Based Quantum Computation -- The Algebraic Counterpart of the Wagner...”Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2014
Sisällysluettelo:
“... Orders: An Application of Term Rewriting to the Region of Primitive Recursive Functions -- A Hoare Logic...”Hae kokoteksti
Elektroninen
E-kirja
- 1
- 2
- 3
- Seuraava »
- [3]