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