Theory of randomized search heuristics foundations and recent developments /

Simple adaptive strategies from regret-matching to uncoupled dynamics /
由: Hart, Sergiu
出版: (2013)

Heuristics in analytics : a practical perspective of what influences our analytical world /
由: Reis Pinheiro, Carlos Andre, 1940-
出版: (2014)

An introduction to the analysis of algorithms
由: Soltys, Michael, 1971-
出版: (2012)

A new heuristic measure of fragility and tail risks application to stress testing /
由: Taleb, Nassim N.
出版: (2012)

From a heuristic point of view : essays in honour of Carlo Cellucci /
出版: (2014)

Proportionate-type normalized least mean square algorithms
由: Wagner, Kevin
出版: (2013)

Engines of Order : A Mechanology of Algorithmic Techniques /
由: Rieder, Bernhard
出版: (2020)

Quantitative magnetic resonance imaging of the brain : applications for tissue segmentation and multiple sclerosis /
由: West, Janne
出版: (2014)

Meta-algorithmics patterns for robust, low cost, high quality systems /
由: Simske, Steven J.
出版: (2013)

Learning causal models of multivariate systems : and the value of it for the performance modeling of computer programs /
由: Lemeire, Jan
出版: (2007)

Fuzzy modeling and genetic algorithms for data mining and exploration
由: Cox, Earl
出版: (2005)

Handbook of satisfiability
出版: (2009)

Engineering optimization an introduction with metaheuristic applications /
由: Yang, Xin-She
出版: (2010)

lgorithms and ordering heuristics for distributed constraint satisfaction problems
由: Wahbi, Mohamed
出版: (2013)

Theory of computation
由: Tourlakis, George J.
出版: (2012)

Recursion theory : computational aspects of definability /
由: Chong, C.-T. (Chi-Tat), 1949-, et al.
出版: (2015)

The birth of model theory Löwenheim's theorem in the frame of the theory of relatives /
由: Badesa, Calixto
出版: (2004)

Simple theories and hyperimaginaries
由: Casanovas, Enrique, 1957-
出版: (2011)

Recursion theory for metamathematics
由: Smullyan, Raymond M.
出版: (1993)

Distribution models theory
出版: (2006)

Ways of proof theory
由: Schindler, Ralf
出版: (2010)

Institution-independent model theory
由: Diaconescu, Răzvan
出版: (2008)

Completeness theory for propositional logics
由: Pogorzelski, Witold, 1944-
出版: (2008)

The foundations of mathematics /
由: Stewart, Ian, 1945-
出版: (1977)

Foundations without foundationalism a case for second-order logic.
由: Shapiro, Stewart, 1951-
出版: (2000)

Foundation of abstract mathematics /
由: Kurtz, David C.
出版: (1992)

Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
出版: (1998)

Classical mathematical logic the semantic foundations of logic /
由: Epstein, Richard L.
出版: (2011)

Concentration of measure for the analysis of randomized algorithms
由: Dubhashi, Devdatt
出版: (2009)

Philosophy of mathematics set theory, measuring theories, and nominalism /
出版: (2008)

Computer search algorithms
出版: (2011)

Algorithms in invariant theory
由: Sturmfels, Bernd, 1962-
出版: (2008)

Stochastic multiplayer games theory and algorithms /
由: Ummels, Michael
出版: (2010)

An introduction to algorithm design and structured programming /
由: Reed Thomas A.
出版: (1988)

Computability in context computation and logic in the real world /
出版: (2011)

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein /
由: Hopkins, Burt C.
出版: (2011)