Super-Recursive Algorithms

Super-Recursive Algorithms

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Burgin, Mark
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	New York, NY Springer Science+Business Media Inc. 2005
Σειρά:	Monographs in Computer Science
Θέματα:	Information theory Computer software Computer Science Theory of Computation Algorithm Analysis and Problem Complexity
Διαθέσιμο Online:	http://dx.doi.org/10.1007/b138114

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

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

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

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)

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

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

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

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

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

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

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

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

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II
ανά: Hsu, Ching-Hsien
Έκδοση: (2010)

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I
ανά: Hsu, Ching-Hsien
Έκδοση: (2010)

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

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

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

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

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

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

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

Information Computing and Applications First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings
ανά: Zhu, Rongbo
Έκδοση: (2010)

Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II
ανά: Zhu, Rongbo
Έκδοση: (2010)

Exact Exponential Algorithms
ανά: Fomin, Fedor V
Έκδοση: (2010)

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

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

Search Computing Challenges and Directions
ανά: Ceri, Stefano
Έκδοση: (2010)

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

Multiobjective Evolutionary Algorithms and Applications
ανά: Tan, K.C
Έκδοση: (2005)

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

Complexity Theory Exploring the Limits of Efficient Algorithms
ανά: Wegener, Ingo
Έκδοση: (2005)

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

Evolutionary Multiobjective Optimization Theoretical Advances and Applications
ανά: Abraham, Ajith
Έκδοση: (2005)

Randomized Algorithms for Analysis and Control of Uncertain Systems
ανά: Tempo, Roberto
Έκδοση: (2005)

Algorithmic Number Theory 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings
ανά: Hanrot, Guillaume
Έκδοση: (2010)

Introduction to Reliable Distributed Programming
ανά: Guerraoui, Rachid
Έκδοση: (2006)

Discrete Mathematics Using a Computer
ανά: OβDonnell, John
Έκδοση: (2006)

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

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

Trustworthly Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
ανά: Wirsing, Martin
Έκδοση: (2010)

Transactions on Computational Science XI Special Issue on Security in Computing, Part II
ανά: Gavrilova, Marina L
Έκδοση: (2010)

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