Computational complexity a modern approach

Computational complexity a modern approach

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Arora, Sanjeev (Συγγραφέας), Barak, Boaz (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge, NY Cambridge University Press 2009
Θέματα:	Λογική, Συμβολική και μαθηματική Πολυπλοκότητα

Παρόμοια τεκμήρια

Arithmetic, proof theory, and computational complexity
Έκδοση: (1993)

A first course in logic an introduction to model theory, proof theory, computability and complexity
ανά: Hedman, Shawn
Έκδοση: (2004)

Complexity and real computation
ανά: Blum, Lenore
Έκδοση: (1998)

Parameterized complexity
ανά: Downey, R. G.
Έκδοση: (1999)

Complexity and information
ανά: Traub, J. F. (Joseph Frederick), 1932-
Έκδοση: (1998)

Introduction to circuit complexity : a uniform approach /
ανά: Vollmer, Heribert
Έκδοση: (1999)

Descriptive complexity /
ανά: Immerman, Neil, 1953-
Έκδοση: (1999)

Computational complexity a conceptual perspective
ανά: Goldreich, Oded
Έκδοση: (2008)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2008)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2007)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2012)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2020)

Complexity metaphors, models and reality
Έκδοση: (1994)

Computability, complexity, logic /
ανά: Börger, E. 1946- (Egon)
Έκδοση: (1989)

Enter the complexity lab where chaos meets complexity
ανά: Roetzheim, William
Έκδοση: (1994)

Algebraic complexity theory /
ανά: Bürgisser, Peter, 1962-
Έκδοση: (1997)

Cellular automata and complexity : collected papers /
ανά: Wolfram, Stephen
Έκδοση: (1994)

Foundations of the logical theory of scientific knowledge (complex logic) /
ανά: Zinoviev, Aleksandr, 1922-2006
Έκδοση: (1973)

Computability and complexity from a programming perpective
ανά: Jones, Neil D.
Έκδοση: (1997)

Noisy information and computational complexity
ανά: Plaskota, Leszek
Έκδοση: (1996)

Arithmetic complexity of computations
ανά: Winograd, Shmuel
Έκδοση: (1980)

Logic for mathematics and computer science
ανά: Burris, Stanley N.
Έκδοση: (1998)

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
ανά: Hermes, Hans
Έκδοση: (1969)

Logic of mathematics a modern course of classical logic
ανά: Adamowicz, Zofia
Έκδοση: (1997)

Complexity and structure
ανά: Schöning, Uwe, 1955-
Έκδοση: (1986)

Computability and logic
ανά: Boolos, George S.
Έκδοση: (2002)

A mathematical introduction to logic /
ανά: Enderton, Herbert B.
Έκδοση: (2001)

A compendium of continuous lattices /
Έκδοση: (1980)

Mathematical logic a course with exercises
ανά: Cori, Rene

A treatise on many-valued logics
ανά: Gottwald, Siegfried
Έκδοση: (2001)

Introduction to mathematical proofs a transition
ανά: Roberts, Charles E.
Έκδοση: (2010)

A course in mathematical logic for mathematicians /
ανά: Manin, IU I.
Έκδοση: (1977)

Outlines of a formalist philosophy of mathematics
ανά: Curry, Haskell B. 1900- (Haskell Brooks)
Έκδοση: (1958)

Lincos : design of a language for cosmic intercourse /
ανά: Freudenthal, Hans, 1905-
Έκδοση: (1960)

Elements of the theory of computation
ανά: Lewis, Harry R., κ.ά.
Έκδοση: (1998)

Extensional Gödel functional interpretation : a consistency proof of classical analysis /
ανά: Luckhardt, Horst
Έκδοση: (1973)

Logic Colloquium : proceedings of a conference held in Oxford in July 1976 /
Έκδοση: (1977)

From Frege to Godel a source book in mathematical logic, 1879-1931
ανά: Van Heijenoort, Jean, 1912-1986
Έκδοση: (1967)

Topics in philoshophical logic
ανά: Rescher, Nicholas
Έκδοση: (1968)

Self-reference and modal logic /
ανά: Smorynski, C.
Έκδοση: (1985)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών