1
书本目录: ... and Recursive Definitions -- Proofs by Induction -- Games and Strategies -- Part II: Modelling Computing Systems...
获取全文
电子 电子书
2
出版 2005
书本目录: ... and Recursive Types Logically -- The Language ?: Circuits, Computations and Classical Logic -- Checking Risky...
获取全文
电子 电子书
3
出版 2015
书本目录: ... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...
获取全文
电子 电子书
4
出版 2006
书本目录: ... Approach -- A New Scaling Kernel-Based Fuzzy System with Low Computational Complexity -- Bulk Synchronous...
获取全文
电子 电子书
5
出版 2008
书本目录: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
获取全文
电子 电子书
6
出版 2014
书本目录: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
获取全文
电子 电子书
7
Vankka, Jouko., Vankka, Jouko.
出版 2005
书本目录: .../Q Modulator Errors -- 4. Direct Digital Synthesizers -- 5. Recursive Oscillators -- 6. Cordic...
获取全文
电子 电子书