Randomness and completeness i computational complexity

Forcing with random variables and proof complexity
Autor: Krajíček, Jan, 1960-
Vydáno: (2011)

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected papers
Vydáno: (2001)

Computational complexity
Autor: Wagner, K.
Vydáno: (1986)

Computational complexity in graph theory doctoral thesis
Autor: Kára, Jan, 1980-
Vydáno: (2007)

Computational complexity in graph theory summary of the PhD thesis
Autor: Kára, Jan, 1980-
Vydáno: (2007)

Computational complexity and graph theory : graph coloring problems : doctoral thesis
Autor: Kráľ, Daniel
Vydáno: (2004)

Computational complexity and graph theory : graph coloring problems : abstract of doctoral thesis = Výpočetní složitost a teorie grafů
Autor: Kráľ, Daniel
Vydáno: (2004)

Computational complexity
Autor: Papadimitriou, Christos Ch., 1949-
Vydáno: (1994)

Causality, probability, and time
Autor: Kleinberg, Samantha, 1983-
Vydáno: (2013)

Computational complexity : a conceptual perspective
Autor: Goldreich, Oded, 1957-
Vydáno: (2008)

Sixth annual Structure in complexity theory conference : June 30 - July 3, 1991, University of Chicago, Illinois : proceedings
Vydáno: (1991)

Seventh annual Structure in complexity theory conference : June 22 -25, 1992, Boston university, Boston, Massachusetts : proceedings
Vydáno: (1992)

Structural information and communication complexity : 11th international colloquium, SIROCCO 2004, Smolenice Castle, Slowakia [i.e. Slovakia], June 21-23, 2004 : proceedings
Vydáno: (2004)

Computation engineering : applied automata theory and logic
Autor: Gopalakrishnan, Ganesh
Vydáno: (2006)

Geometry and complexity theory
Autor: Landsberg, J. M., 1963-
Vydáno: (2017)

Computer science logic : 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings
Vydáno: (2002)

The nature of computation
Autor: Moore, Cristopher, 1968-
Vydáno: (2011)

Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie
Autor: Hopcroft, John E., 1939-
Vydáno: (1990)

Computing and combinatorics : 13th annual international conference, COCOON 2007, Banff, Canada, July 16-19, 2007 : proceedings
Vydáno: (2007)

Conditionals, information, and inference : international workshop, WCII 2002, Hagen, Germany, May 13-15, 2002 : revised selected papers
Vydáno: (2005)

Turing machines with sublogarithmic space
Autor: Szepietowski, Andrzej
Vydáno: (1994)

Logic, language, and computation : 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 : revised selected papers
Vydáno: (2007)

{The }complete guide to Java database programming : JDBC, ODBC and SQL
Autor: Siple, Matthew D.
Vydáno: (1998)

XML Complete
Autor: Holzner, Steven, 1957-
Vydáno: (1998)

Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Vydáno: (2013)

Theoretical Aspects of Computing - ICTAC 2005 : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings
Vydáno: (2005)

Computer science logic : 10th international workshop, CSL '96, annual conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996. Selected papers
Vydáno: (1997)

Computational logic : CL 2000. First international conference, London, UK, July 24-28, 2000. Proceedings
Vydáno: (2000)

Knapsack problems
Autor: Kellerer, Hans
Vydáno: (2004)

Efficient checking of polynomials and proofs and the hardness of approximation problems
Autor: Sudan, Madhu
Vydáno: (1995)

Spiritual insights from the new science : complex systems and life
Autor: Larter, Raima, 1955-
Vydáno: (2021)

Case-Based Reasoning Research and Development : 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedings
Vydáno: (2009)

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997. Proceedings
Vydáno: (1997)

Parameterized and exact computation : first international workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004 : proceedings
Vydáno: (2004)

Parameterized and exact computation : second international workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006 : proceedings
Vydáno: (2006)

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings
Vydáno: (2001)