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)

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)

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

Super-Recursive Algorithms
ανά: Burgin, Mark
Έκδοση: (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)

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

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

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

A Modern Perspective on Type Theory From its Origins until Today
ανά: Kamareddine, Fairouz
Έκδοση: (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)

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

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

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

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

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

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)

Algorithmes dβapproximation
ανά: Vazirani, Vijay V.
Έκδοση: (2006)

Systems, Control, Modeling and Optimization Proceedings of the 22nd IFIP TC7 Conference held from July 18β22, 2005, in Turin, Italy
ανά: Ceragioli, F.
Έκδοση: (2006)

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

Algorithms and Programming Problems and Solutions
ανά: Shen, A. 1958- (Alexander)
Έκδοση: (2010)

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

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

Fete of Combinatorics and Computer Science
ανά: Katona, Gyula O. H
Έκδοση: (2010)

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

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)

The Mathematica GuideBook for Numerics
ανά: Trott, Michael
Έκδοση: (2006)

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

The Past and Future of Information Systems: 1976β2006 and Beyond IFIP 19th World Computer Congress, TC-8, Information System Stream, August 21β23, 2006, Santiago, Chile
ανά: Avison, D. E.
Έκδοση: (2006)

Reflections on the Work of C.A.R. Hoare
ανά: Roscoe, A.W
Έκδοση: (2010)

History of Computing and Education 2 (HCE2) IFIP 19th World Computer Congress, WG 9.7, TC 9: History of Computing, Proceedings of the Second Conference on the History of Computing and Education, August 21β24, 2006, Santiago, Chile
ανά: Impagliazzo, John
Έκδοση: (2006)

The LLL Algorithm Survey and Applications
ανά: Nguyen, Phong Q
Έκδοση: (2010)

Quantum approach to informatics /
ανά: Stenholm, Stig
Έκδοση: (2005)

A Concise Introduction to Mathematical Logic
ανά: Rautenberg, Wolfgang
Έκδοση: (2010)

A Concise Introduction to Mathematical Logic
ανά: Rautenberg, Wolfgang
Έκδοση: (2006)

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

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

Online computation and competitive analysis /
ανά: Borodin, Allan, 1941-
Έκδοση: (2005)

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

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

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