National Science Library of Georgia

Refine your search

Your search returned 38 results.

Sort
Results
Proof complexity / Jan Krajíček. by Series: Encyclopedia of mathematics and its applications ; 170.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2019
Online resources:
Availability: No items available.
Physical perspectives on computation, computational perspectives on physics / edited by Michael E. Cuffaro and Samuel C. Fletcher. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2018
Online resources:
Availability: No items available.
Geometry and complexity theory / J.M. Landsberg, Texas A&M University. by Series: Cambridge studies in advanced mathematics ; 169.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2017
Online resources:
Availability: No items available.
Bounded variable logics and counting : a study in finite models / Martin Otto. by Series: Lecture notes in logic ; 9.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Turing's legacy : developments from Turing's ideas in logic / edited by Rod Downey, Victoria University of Wellington. by Series: Lecture notes in logic ; 42.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2014
Online resources:
Availability: No items available.
Performance analysis of complex networks and systems / Piet Van Mieghem, Delft University of Technology. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2014
Other title:
  • Performance Analysis of Complex Networks & Systems
Online resources:
Availability: No items available.
Causality, probability, and time / Samantha Kleinberg, Stevens Institute of Technology, Hoboken, New Jersey. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2013
Other title:
  • Causality, Probability, & Time
Online resources:
Availability: No items available.
Forcing with random variables and proof complexity / Jan Krajíček. by Series: London Mathematical Society lecture note series ; 382.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Other title:
  • Forcing with Random Variables & Proof Complexity
Online resources:
Availability: No items available.
Logical foundations of proof complexity / Stephen Cook, Phuong Nguyen. by Series: Perspectives in logic
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2010
Online resources:
Availability: No items available.
P, NP, and NP-completeness : the basics of computational complexity / Oded Goldreich. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2010
Other title:
  • P, NP, & NP-Completeness
Online resources:
Availability: No items available.
Computational complexity : a conceptual perspective / Oded Goldreich. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2008
Online resources:
Availability: No items available.
Complexity and cryptography : an introduction / John Talbot, Dominic Welsh. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2006
Other title:
  • Complexity & Cryptography
Online resources:
Availability: No items available.
Strength, fracture and complexity [electronic resource].
Material type: Continuing resource Continuing resource; Format: electronic available online remote; Type of continuing resource: periodical
Publication details: Amsterdam [The Netherlands] : IOS Press, c2003-
In: Academic Search Premier
Availability: No items available.
Computation and complexity in economic behavior and organization / Kenneth R. Mount, Stanley Reiter. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2002
Other title:
  • Computation & Complexity in Economic Behavior & Organization
Online resources:
Availability: No items available.
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.