Skip to content
You are not logged in |Login  
     
Limit search to available items
Result page:    
Subjects (1-50 of 58)
Computational complexity.
2
book
BookPrinted Material
 

Bounded arithmetic, propositional logic, and complexity theory


Krajíček, Jan.
Cambridge [England] ; New York : Cambridge University Press, [1995]

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  QA9.56 .K73 1995    Available  ---
3
Bestseller
BestsellerE-book
 

Bounded arithmetic, propositional logic, and complexity theory


Krajíček, Jan.
Cambridge [England] ; New York, N.Y. : Cambridge University Press, 1995.

Rating:

Item Status

4
Bestseller
BestsellerE-book
 

Bounded variable logics and counting : a study in finite models


Otto, Martin, 1961- author.
Cambridge ; New York : Cambridge University Press, 2017.

Rating:

Item Status

5
Bestseller
BestsellerE-book
 

Causality, probability, and time


Kleinberg, Samantha, 1983- author.
Cambridge : Cambridge University Press, 2013.

Rating:

Item Status

6
Bestseller
BestsellerE-book
 

Chaos and complexity research compendium.



New York : Nova Science Publishers, Inc., [2013]

Rating:

Item Status

7
Bestseller
BestsellerE-book
 

Circuit complexity and neural networks


Parberry, Ian.
Cambridge, Mass. : MIT Press, [1994]

Rating:

Item Status

8
Bestseller
BestsellerE-book
 

Complex systems : theory and applications



New York : Nova Science Publishers, Inc., [2017]

Rating:

Item Status

9
Bestseller
BestsellerE-book
 

Complexity and control : towards a rigorous behavioral theory of complex dynamical systems


Ivancevic, Vladimir G., author.
New Jersey : World Scientific, [2015]

Rating:

Item Status

10
Bestseller
BestsellerE-book
 

Complexity and postmodernism : understanding complex systems


Cilliers, Paul, 1956-2011.
London ; New York : Routledge, 1998.

Rating:

Item Status

11
Bestseller
BestsellerE-book
 

Complexity dichotomies for counting problems.


Cai, Jin-yi, 1961- author.
Cambridge, United Kingdom : Cambridge University Press, 2017.

Rating:

Item Status

12
Bestseller
BestsellerE-book
 

Complexity : knots, colourings, and counting


Welsh, D. J. A.
Cambridge ; New York : Cambridge University Press, 1993.

Rating:

Item Status

13
Bestseller
BestsellerE-book
 

Computability : Turing, Gödel, Church, and beyond



Cambridge, Massachusetts : The MIT Press, [2013]

Rating:

Item Status

14
Bestseller
BestsellerE-book
 
15
book
BookPrinted Material
 

Computation and automata


Salomaa, Arto.
Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1985.

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  QA9.59 .S25 1985    Available  ---
16
Bestseller
BestsellerE-book
 

Computation and automata


Salomaa, Arto.
Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1985.

Rating:

Item Status

17
Bestseller
BestsellerE-book
 

Computation and complexity in economic behavior and organization


Mount, Kenneth R.
Cambridge ; New York : Cambridge University Press, 2002.

Rating:

Item Status

18
Bestseller
BestsellerE-book
 

Computational complexity : a conceptual perspective


Goldreich, Oded.
Cambridge ; New York : Cambridge University Press, 2008.

Rating:

Item Status

19
Bestseller
BestsellerE-book
 

Computational complexity and statistical physics



Oxford ; New York : Oxford University Press, 2006.

Rating:

Item Status

20
Bestseller
BestsellerE-book
 

Computer-aided verification of coordinating processes : the automata-theoretic approach


Kurshan, R. P., 1943- author.
Princeton, New Jersey : Princeton University Press, [1994]

Rating:

Item Status

21
Bestseller
BestsellerE-book
 

Coupled problems and multi-physics



Durnten-Zurich, Switzerland ; Enfield, New Hampshire : Trans Tech Publications, [2011]

Rating:

Item Status

22
Bestseller
BestsellerE-book
 

The engine of complexity : evolution as computation


Mayfield, John E.
New York : Columbia University Press, [2013]

Rating:

Item Status

23
Bestseller
BestsellerE-book
 

Explaining the computational mind


Miłkowski, Marcin, author.
Cambridge, Massachusetts : The MIT Press, [2013]

Rating:

Item Status

24
Bestseller
BestsellerE-book
 

Forcing with Random Variables and Proof Complexity.


Krajíček, Jan.
Cambridge : Cambridge University Press, 2010.

Rating:

Item Status

25
Bestseller
BestsellerE-book
 

Formal models, languages and applications



Singapore ; Hackensack, NJ. : World Scientific, [2006]

Rating:

Item Status

26
Bestseller
BestsellerE-book
 

Foundations of complex systems : emergence, information and predicition


Nicolis, G., 1939-
Hackensack, NJ : World Scientific, [2012]
2nd ed.

Rating:

Item Status

27
Bestseller
BestsellerE-book
 

Item Status

28
Bestseller
BestsellerE-book
 

Hypernetworks in the science of complex systems


Johnson, J. (Jeffrey), author.
London : Imperial College Press, [2013]

Rating:

Item Status

29
Bestseller
BestsellerE-book
 

In pursuit of the traveling salesman : mathematics at the limits of computation


Cook, William, 1957-
Princeton : Princeton University Press, 2012.

Rating:

Item Status

30
book
BookPrinted Material
 

Knapsack problems : algorithms and computer implementations


Martello, Silvano.
Chichester ; New York : J. Wiley & Sons, [1990]

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  QA267.7 .M37 1990    Available  ---
 Moore Stacks  QA267.7 .M37 1990    Available  ---
31
Bestseller
BestsellerE-book
 

Local activity principle


Mainzer, Klaus.
London : Imperial College Press ; Singapore : Distributed by World Scientific Pub. Co., [2013]

Rating:

Item Status

32
Bestseller
BestsellerE-book
 

Logic and automata : history and perspectives



Amsterdam : Amsterdam University Press, [2008]

Rating:

Item Status

33
Bestseller
BestsellerE-book
 

Logical foundations of proof complexity


Cook, Stephen, 1948-
Cambridge ; New York : Cambridge University Press ; Ithaca, NY : Association for Symbolic Logic, [2010]

Rating:

Item Status

34
book
BookPrinted Material
 

Meta math! : the quest for omega


Chaitin, Gregory J.
New York : Vintage Books, 2006.
1st Vintage Books ed.

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  QA276 .C435 2006    Available  ---
35
Bestseller
BestsellerE-book
 

Modern applications of automata theory



Singapore : World Scientific, [2012]

Rating:

Item Status

36
Bestseller
BestsellerE-book
 

Natural complexity : a modeling handbook


Charbonneau, Paul, 1961- author.
Princeton, NJ : Princeton University Press, [2017]

Rating:

Item Status

37
Bestseller
BestsellerE-book
 

The nature of change or the law of unintended consequences : an introductory text to designing compl


Mansfield, John, 1939-
London : Imperial College Press ; Singapore ; Hackensack, NJ : Distributed by World Scientific Pub., [2010]

Rating:

Item Status

38
Bestseller
BestsellerE-book
 

Neural network design and the complexity of learning


Judd, J. Stephen.
Cambridge, Mass. : MIT Press, [1990]

Rating:

Item Status

39
Bestseller
BestsellerE-book
 

A nonlinear dynamics perspective of Wolfram's new kind of science


Chua, Leon O., 1936-
Hackensack, N.J. : World Scientific, [2011]

Rating:

Item Status

40
Bestseller
BestsellerE-book
 

A nonlinear dynamics perspective of Wolfram's new kind of science.


Chua, Leon O., 1936-
Singapore ; New Jersey : World Scientific, [2007]

Rating:

Item Status

41
Bestseller
BestsellerE-book
 

A nonlinear dynamics perspective of Wolfram's new kind of science.


Chua, Leon O., 1936-
Singapore ; Hackensack, N.J. : World Scientific Pub. Co., [2006]

Rating:

Item Status

42
Bestseller
BestsellerE-book
 

A nonlinear dynamics perspective of Wolfram's new kind of science.


Chua, Leon O., 1936-
Hackensack, N.J. : World Scientific, [2009]

Rating:

Item Status

43
Bestseller
BestsellerE-book
 

Item Status

44
Bestseller
BestsellerE-book
 

A nonlinear dynamics perspective of Wolfram's new kind of science.


Chua, Leon O., 1936-
Singapore ; Hackensack, N.J. : World Scientific, 2013.

Rating:

Item Status

45
Bestseller
BestsellerE-book
 

P, NP, and NP-completeness : the basics of computational complexity


Goldreich, Oded.
Cambridge ; New York : Cambridge University Press, [2010]

Rating:

Item Status

46
Bestseller
BestsellerE-book
 

Physical perspectives on computation, computational perspectives on physics



Cambridge, United Kingdom : Cambridge University Press, [2018]

Rating:

Item Status

47
Bestseller
BestsellerE-book
 

Primers in complex systems


Stein, Daniel L.
Princeton : Princeton University Press, [2013]

Rating:

Item Status

48
book
BookPrinted Material
 

Proof complexity


Krajíček, Jan, author.
Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2019.

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  QA9.54 .K72 2019    Available  ---
49
Bestseller
BestsellerE-book
 

Randomness and complexity : from Leibniz to Chaitin



Singapore ; Hackensack, NJ : World Scientific, [2007]

Rating:

Item Status

50
Bestseller
BestsellerE-book
 

Randomness through computation : some answers, more questions



Singapore ; Hackensack, NJ : World Scientific, [2011]

Rating:

Item Status

Resources
More Information
Result page: