The P=NP Question and GΓΆdelβ€™s Lost Letter

The P=NP Question and GΓΆdelβs Lost Letter

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Lipton, Richard J
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA Springer Science+Business Media, LLC 2010
Θέματα:	Computer science Information theory Computer software Algorithms Logic, Symbolic and mathematical Computer Science Theory of Computation Mathematics of Computing History of Computing Λογική, Συμβολική και μαθηματική Algorithm Analysis and Problem Complexity
Διαθέσιμο Online:	http://dx.doi.org/10.1007/978-1-4419-7155-5

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

Algorithmic Randomness and Complexity
ανά: Downey, Rodney G
Έκδοση: (2010)

The P=NP Question and Gödel’s Lost Letter
ανά: Lipton, Richard J.
Έκδοση: (2010)

Dissemination of Information in Communication Networks Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
ανά: Hromkovic, Juraj
Έκδοση: (2005)

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
ανά: KratochvΓl, Jan
Έκδοση: (2010)

Parameterized and Exact Computation 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
ανά: Raman, Venkatesh
Έκδοση: (2010)

Theoretical Aspects of Local Search
ανά: Michiels, Wil
Έκδοση: (2007)

Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
ανά: Lee, Der-Tsai
Έκδοση: (2010)

Super-Recursive Algorithms
ανά: Burgin, Mark
Έκδοση: (2005)

Logic and the Foundations of Game and Decision Theory β LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
ανά: Bonanno, Giacomo
Έκδοση: (2010)

Contemporary Cryptology
ανά: Catalano, Dario
Έκδοση: (2005)

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
ανά: Dovier, Agostino
Έκδοση: (2010)

High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings
ανά: Wu, Yanwen
Έκδοση: (2010)

The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
ανά: Ebert, Christian
Έκδοση: (2010)

Multivariate Public Key Cryptosystems
ανά: Ding, Jintai
Έκδοση: (2006)

Theory of Computation
ανά: Kozen, Dexter 1951-
Έκδοση: (2006)

Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23β24, 2006, Santiago, Chile
ανά: Navarro, Gonzalo
Έκδοση: (2006)

Bioinspired Computation in Combinatorial Optimization Algorithms and Their Computational Complexity
ανά: Neumann, Frank
Έκδοση: (2010)

Cognitive Research A Formal Approach
ανά: Gergely, TamΓ's
Έκδοση: (2010)

Triangulations Structures for Algorithms and Applications
ανά: Loera, JesΓΊs A
Έκδοση: (2010)

Natural Computing 4th International Workshop on Natural Computing Himeji, Japan, September 2009 Proceedings
ανά: Peper, F
Έκδοση: (2010)

Combinatorial Optimization in Communication Networks
ανά: Cheng, Maggie Xiaoyan
Έκδοση: (2006)

Parameterized Complexity Theory
ανά: Flum, JΓΆrg
Έκδοση: (2006)

Complexity Theory and Cryptology An Introduction to Cryptocomplexity
ανά: Rothe, JΓΆrg
Έκδοση: (2005)

A Modern Perspective on Type Theory From its Origins until Today
ανά: Kamareddine, Fairouz
Έκδοση: (2005)

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
ανά: Bollig, Benedikt
Έκδοση: (2006)

SAT 2005 Satisfiability Research in the Year 2005
ανά: Giunchiglia, Enrico
Έκδοση: (2006)

Computation Engineering Applied Automata Theory and Logic
ανά: Gopalakrishnan, Ganesh
Έκδοση: (2006)

Evolvable Hardware
ανά: Higuchi, Tetsuya
Έκδοση: (2006)

Game of Life Cellular Automata
ανά: Adamatzky, Andrew
Έκδοση: (2010)

Coordination of Large-Scale Multiagent Systems
ανά: Scerri, Paul
Έκδοση: (2006)

Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies
ανά: Zomaya, Albert Y.
Έκδοση: (2006)

Transactions on Petri Nets and Other Models of Concurrency IV
ανά: Jensen, K. (Kurt), 1950-
Έκδοση: (2010)

Genetic Programming Theory and Practice VII
ανά: Riolo, Rick
Έκδοση: (2010)

Genetic Programming Theory and Practice II
ανά: OβReilly, Una-May
Έκδοση: (2005)

Genetic Programming Theory and Practice III
ανά: Yu, Tina
Έκδοση: (2006)

Mathematical Software β ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
ανά: Fukuda, Komei
Έκδοση: (2010)

A Short Course in Quantum Information Theory An Approach From Theoretical Physics
ανά: DiΓ³si, Lajos
Έκδοση: (2007)

Interactive Computation The New Paradigm
ανά: Goldin, Dina
Έκδοση: (2006)

Universal Artificial Intellegence Sequential Decisions Based on Algorithmic Probability
ανά: Hutter, Marcus
Έκδοση: (2005)

Modelling Autonomic Communication Environments 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings
ανά: Brennan, Rob
Έκδοση: (2010)

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