1
出版 2015
書本目錄: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
獲取全文
電子 電子書
2
出版 2008
書本目錄: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
獲取全文
電子 電子書
3
出版 2014
書本目錄: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
獲取全文
電子 電子書
4
書本目錄: ... and Recursive Definitions -- Proofs by Induction -- Games and Strategies -- Part II: Modelling Computing Systems...
獲取全文
電子 電子書
5
出版 2005
書本目錄: ... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...
獲取全文
電子 電子書
6
出版 2005
書本目錄: ... and Recursive Types Logically -- The Language ?: Circuits, Computations and Classical Logic -- Checking Risky...
獲取全文
電子 電子書
7
出版 2005
書本目錄: ...-Approximation Algorithm for Block Sorting -- Computational and Structural Complexity -- On the Power...
獲取全文
電子 電子書
8
出版 2005
書本目錄: ... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...
獲取全文
電子 電子書
9
出版 2013
書本目錄: ... -- Quantum Field Theory for Legspinners -- Bicompletions of Distance Matrices -- Partial Recursive Functions...
獲取全文
電子 電子書
10
出版 2006
書本目錄: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
獲取全文
電子 電子書
11
出版 2010
書本目錄: ... Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing...
獲取全文
電子 電子書
12
Vankka, Jouko., Vankka, Jouko.
出版 2005
書本目錄: .../Q Modulator Errors -- 4. Direct Digital Synthesizers -- 5. Recursive Oscillators -- 6. Cordic...
獲取全文
電子 電子書