1
منشور في 2005
جدول المحتويات: ... -- On the Number of Random Digits Required in MonteCarlo Integration of Definable Functions -- Pure Nash Equilibria...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2005
جدول المحتويات: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2006
جدول المحتويات: ... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2005
جدول المحتويات: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2007
جدول المحتويات: ... Stack Based GP Language for Vector Processing -- Genetic Programming with Fitness Based on Model...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2010
جدول المحتويات: ... Science -- Roles, Stacks, Histories: A Triple for Hoare -- Forward with Hoare -- Probabilistic Programming...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2013
جدول المحتويات: ... Recursive Probabilistic Systems.- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model...
احصل على النص الكامل
الكتروني كتاب الكتروني