Swarm Intelligence: From Natural to Artificial Systems

By: Eric Bonabeau, Guy Theraulaz, Marco Dorigo

1999

Swarm Intelligence

By: Russell C. Eberhart, Yuhui Shi, James Kennedy

2001

Particle Swarm Optimization

By: Maurice Clerc

2006

Fundamentals of Computational Swarm Intelligence

By: Andries P. Engelbrecht

2005

Set Theory

By: Thomas Jech

2002

Set Theory An Introduction To Independence Proofs

By: Kenneth Kunen

1983

Notes on Set Theory

By: Yiannis Moschovakis

2005

Introduction to Set Theory, Revised and Expanded

By: Karel Hrbacek, Thomas Jech

1999

Introduction to the Theory of Computation

By: Michael Sipser

2012

Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1

By: Piergiorgio Odifreddi

1992

Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets

By: Robert I. Soare

2014

Computability: An Introduction to Recursive Function Theory

By: Nigel Cutland

1980

Proof Theory: The First Step into Impredicativity

By: Wolfram Pohlers

2008

Basic Proof Theory

By: A. S. Troelstra, H. Schwichtenberg

2000

Handbook of Proof Theory

By: S.R. Buss

1998

Computational Complexity

By: Christos Papadimitriou

1993

A Computational Introduction to Number Theory and Algebra

By: Victor Shoup

2009

The Probabilistic Method

By: Noga Alon, Joel H. Spencer

2016

Statistics, 4th Edition

By: David Freedman, Robert Pisani, Roger Purves

2007

Godel's Incompleteness Theorems

By: Raymond M. Smullyan

1992

An Introduction to Gödel's Theorems

By: Peter Smith

2013

Inexhaustibility: A Non-Exhaustive Treatment

By: Torkel Franzén

2004

Gödel's Theorem

By: Torkel Franzén

2005

Linear Algebra and Its Applications, 4th Edition

By: Gilbert Strang

2006

Artificial Intelligence: A Modern Approach

By: Stuart Russell, Peter Norvig

2009

Introduction to Information Retrieval

By: Christopher D. Manning, Prabhakar Raghavan, Hinrich Schütze

2008

Scientific Computing

By: Michael T. Heath

2002

An Introduction to MultiAgent Systems: Second Edition

By: Michael Wooldridge

2009

Mining of Massive Datasets

By: Jure Leskovec, Anand Rajaraman, Jeffrey David Ullman

2014

Extremal Combinatorics: With Applications in Computer Science

By: Stasys Jukna

2011