Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion computer » recursion chapter, decoration computer, recreation computer
computer circuits » computers circuits, converter circuits
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion computer » recursion chapter, decoration computer, recreation computer
computer circuits » computers circuits, converter circuits
1
Taula de continguts:
“... and Recursive Definitions -- Proofs by Induction -- Games and Strategies -- Part II: Modelling Computing Systems...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
2
Publicat 2005
Taula de continguts:
“... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...”Obtenir text complet
Electrònic
eBook
3
Publicat 2005
Taula de continguts:
“... and Recursive Types Logically -- The Language ?: Circuits, Computations and Classical Logic -- Checking Risky...”Obtenir text complet
Electrònic
eBook
4
Publicat 2005
Taula de continguts:
“...-Approximation Algorithm for Block Sorting -- Computational and Structural Complexity -- On the Power...”Obtenir text complet
Electrònic
eBook
5
Publicat 2015
Taula de continguts:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Obtenir text complet
Electrònic
eBook
6
Publicat 2008
Taula de continguts:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Obtenir text complet
Electrònic
eBook
7
Publicat 2006
Taula de continguts:
“... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”Obtenir text complet
Electrònic
eBook
8
Publicat 2005
Taula de continguts:
“... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...”Obtenir text complet
Electrònic
eBook
9
Publicat 2014
Taula de continguts:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Obtenir text complet
Electrònic
eBook
10
Publicat 2013
Taula de continguts:
“... -- Quantum Field Theory for Legspinners -- Bicompletions of Distance Matrices -- Partial Recursive Functions...”Obtenir text complet
Electrònic
eBook
11
Publicat 2010
Taula de continguts:
“... Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing...”Obtenir text complet
Electrònic
eBook
12
Taula de continguts:
“.../Q Modulator Errors -- 4. Direct Digital Synthesizers -- 5. Recursive Oscillators -- 6. Cordic...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook