1
Wydane 2005
Spis treści: ... -- On the Number of Random Digits Required in MonteCarlo Integration of Definable Functions -- Pure Nash Equilibria...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2005
Spis treści: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Wydane 2006
Spis treści: ... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Wydane 2005
Spis treści: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Wydane 2007
Spis treści: ... Stack Based GP Language for Vector Processing -- Genetic Programming with Fitness Based on Model...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Wydane 2010
Spis treści: ... Science -- Roles, Stacks, Histories: A Triple for Hoare -- Forward with Hoare -- Probabilistic Programming...
Dokumenty pełnotekstowe
Elektroniczne E-book
7
Wydane 2013
Spis treści: ... Recursive Probabilistic Systems.- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model...
Dokumenty pełnotekstowe
Elektroniczne E-book