Randomness and Completeness in Computational Complexity

Randomness and Completeness in Computational Complexity

Εμφάνιση άλλων εκδόσεων (1)

This book contains a revised version of the dissertation the author wrote at the Department of Computer Science of the University of Chicago. The thesis was submitted to the Faculty of Physical Sciences in conformity with the requirements for the PhD degree in June 1999. It was honored with the 1999...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Melkebeek, Dieter van (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
Έκδοση:	1st ed. 2000.
Σειρά:	Lecture Notes in Computer Science, 1950
Θέματα:	Computer programming. Computers. Algorithms. Computer logic. Programming Techniques. Theory of Computation. Algorithm Analysis and Problem Complexity. Computation by Abstract Devices. Logics and Meanings of Programs.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Mathematics of Program Construction 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings /
Έκδοση: (1998)

Machines, Computations, and Universality Third International Conference, MCU 2001 Chisinau, Moldava, May 23-27, 2001 Proceedings /
Έκδοση: (2001)

Fundamentals of Computation Theory 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001. Proceedings /
Έκδοση: (2001)

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings /
Έκδοση: (2002)

Formal and Natural Computing Essays Dedicated to Grzegorz Rozenberg /
Έκδοση: (2002)

Implementation and Application of Automata 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers /
Έκδοση: (2001)

DNA Computing 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers /
Έκδοση: (2001)

Theoretical Computer Science 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings /
Έκδοση: (2003)

Theoretical Computer Science 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings /
Έκδοση: (2001)

FST TCS 2000: Foundations of Software Technology and Theoretical Science 20th Conference, New Delhi, India, December13-15, 2000 Proceedings /
Έκδοση: (2000)

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings /
Έκδοση: (2018)

Parallel Problem Solving from Nature - PPSN V 5th International Conference, Amsterdam, The Netherlands, September 27-30, 1998, Proceedings /
Έκδοση: (1998)

CONCUR 2002 - Concurrency Theory 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings /
Έκδοση: (2002)

Implementation and Application of Automata 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers /
Έκδοση: (2003)

Implementation and Application of Automata 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers /
Έκδοση: (2002)

Perspectives of Systems Informatics 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers /
Έκδοση: (2003)

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings /
Έκδοση: (2018)

Computability and Complexity in Analysis 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers /
Έκδοση: (2001)

Algorithms - ESA 2001 9th Annual European Symposium, Aarhus, Denmark, August 28-31, 2001, Proceedings /
Έκδοση: (2001)

Distributed Computing 18th International Conference, DISC 2004, Amsterdam, The Netherlands, October 4-8, 2004. Proceedings /
Έκδοση: (2004)

Distributed Computing 16th International Conference, DISC 2002. Toulouse, France, October 28-30, 2002, Proceedings /
Έκδοση: (2002)

Tools and Algorithms for the Construction and Analysis of Systems 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings /
Έκδοση: (2002)

Algorithmic Learning Theory 13th International Conference, ALT 2002, Lübeck, Germany, November 24-26, 2002, Proceedings /
Έκδοση: (2002)

Integrated Formal Methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. /
Έκδοση: (2002)

Typed Lambda Calculi and Applications Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings /
Έκδοση: (1997)

Typed Lambda Calculi and Applications 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings /
Έκδοση: (1999)

Foundations of Software Science and Computation Structures First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings /
Έκδοση: (1998)

Logic Program Synthesis and Transformation 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings /
Έκδοση: (1997)

Distributed Algorithms 11th International Workshop, WDAG '97, Saarbrücken, Germany, September 24-26, 1997, Proceedings /
Έκδοση: (1997)

Distributed Computing 12th International Symposium, DISC'98, Andros, Greece, September 24 -26, 1998, Proceedings /
Έκδοση: (1998)

Advances in Computing Science - ASIAN 2000 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings /
Έκδοση: (2000)

Tools and Algorithms for the Construction and Analysis of Systems 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /
Έκδοση: (2003)

CONCUR 2000 - Concurrency Theory 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings /
Έκδοση: (2000)

CONCUR'97: Concurrency Theory 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings /
Έκδοση: (1997)

CONCUR 2003 - Concurrency Theory 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings /
Έκδοση: (2003)

Algorithmic Learning Theory 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001. Proceedings. /
Έκδοση: (2001)

Algorithmic Learning Theory 11th International Conference, ALT 2000 Sydney, Australia, December 11-13, 2000 Proceedings /
Έκδοση: (2000)

CONCUR '98 Concurrency Theory 9th International Conference, Nice, France, September 8-11, 1998, Proceedings /
Έκδοση: (1998)

Internet Programming Languages ICCL'98 Workshop,Chicago, IL, USA, May 13, 1998, Proceedings /
Έκδοση: (1999)

The Essence of Computation Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones /
Έκδοση: (2002)

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

Cannot write session to /tmp/vufind_sessions/sess_1th2qocifk6jsgglah8m77jrpo