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