Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
computation programming » communication programming, computation programmatic, computing programming
programming functions » programming function, programming functionals, programming functional
function computation » function computing, function decomposition, section computational
functions logic » functional logic, functions limit, functions local
computation programming » communication programming, computation programmatic, computing programming
programming functions » programming function, programming functionals, programming functional
function computation » function computing, function decomposition, section computational
functions logic » functional logic, functions limit, functions local
1
Reversible Computation Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers /
Pubblicazione 2012
Soggetti:
“...Computer logic....”Testo
Elettronico
eBook
2
Sommario:
“...An Introduction to Reconfigurable Computing. What is RC? RC Architectures. How did RC originate...”
Testo
Testo
Elettronico
eBook
3
Pubblicazione 2013
Sommario:
“... -- Continuous Domain Theory in Logical Form -- Presheaf Models of Quantum Computation: An Outline -- Nothing Can...”Testo
Elettronico
eBook
4
Pubblicazione 2013
Sommario:
“... Associated to a Turing Machine -- Reversible Software and Languages Isomorphic Interpreters from Logically...”Testo
Elettronico
eBook
5
Pubblicazione 2005
Sommario:
“... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...”Testo
Elettronico
eBook
6
Sommario:
“...Introduction -- Part I: Mathematics for Computer Science -- Propositional Logic -- Sets -- Boolean...”
Testo
Testo
Elettronico
eBook
7
Sommario:
“... Sequences -- Computation-Theoretic Issues -- Computer-Architectural Issues -- Instruction Sequences...”
Testo
Testo
Elettronico
eBook
8
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Pubblicazione 2014
Sommario:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Testo
Elettronico
eBook
9
Pubblicazione 2015
Sommario:
“... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...”Testo
Elettronico
eBook
10
Pubblicazione 2010
Sommario:
“... Algorithms for Massive Graphs -- Special Sessions -- Proof Complexity of Non-classical Logics -- Optimal...”Testo
Elettronico
eBook
11
Pubblicazione 2005
Sommario:
“... Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract...”Testo
Elettronico
eBook
12
Pubblicazione 2005
Sommario:
“... and Recursive Types Logically -- The Language ?: Circuits, Computations and Classical Logic -- Checking Risky...”Testo
Elettronico
eBook
13
Pubblicazione 2005
Sommario:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Testo
Elettronico
eBook
14
Pubblicazione 2014
Sommario:
“... with Cauchy Matrices, Polynomials and Rational Functions -- First-Order Logic on CPDA Graphs -- Recognizing...”Testo
Elettronico
eBook
15
Pubblicazione 2010
Sommario:
“... Reachability Games -- Quotient Complexity of Closed Languages -- Right-Sequential Functions on Infinite Words...”Testo
Elettronico
eBook
16
Pubblicazione 2015
Sommario:
“... Data Access -- NEXP-Completeness and Universal Hardness Results for Justification Logic -- A...”Testo
Elettronico
eBook
17
Pubblicazione 2006
Sommario:
“... for Programming Chip Multiprocessors -- Functional Unit Chaining: A Runtime Adaptive Architecture for Reducing...”Testo
Elettronico
eBook
18
Pubblicazione 2008
Sommario:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Testo
Elettronico
eBook
19
Pubblicazione 2014
Sommario:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Testo
Elettronico
eBook
20
Pubblicazione 2015
Sommario:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”Testo
Elettronico
eBook
- 1
- 2
- 3
- 4
- Successivo »
- [4]