1
Được phát hành 2005
Mục lục: ... -- On the Number of Random Digits Required in MonteCarlo Integration of Definable Functions -- Pure Nash Equilibria...
lấy văn bản
Điện tử eBook
2
Được phát hành 2005
Mục lục: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
lấy văn bản
Điện tử eBook
3
Được phát hành 2006
Mục lục: ... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...
lấy văn bản
Điện tử eBook
4
Được phát hành 2005
Mục lục: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
lấy văn bản
Điện tử eBook
5
Được phát hành 2007
Mục lục: ... Stack Based GP Language for Vector Processing -- Genetic Programming with Fitness Based on Model...
lấy văn bản
Điện tử eBook
6
Được phát hành 2010
Mục lục: ... Science -- Roles, Stacks, Histories: A Triple for Hoare -- Forward with Hoare -- Probabilistic Programming...
lấy văn bản
Điện tử eBook
7
Được phát hành 2013
Mục lục: ... Recursive Probabilistic Systems.- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model...
lấy văn bản
Điện tử eBook