Parameterized Complexity Theory

Parameterized Complexity Theory

Show other versions (1)

Bibliographic Details
Main Author:	Flum, JΓΆrg
Other Authors:	Grohe, Martin
Format:	Electronic Kit Book
Language:	English
Published:	Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006
Series:	Texts in Theoretical Computer Science. An EATCS Series
Subjects:	Information theory Computer science Computer software Logic design Computer Science Theory of Computation Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs
Online Access:	http://dx.doi.org/10.1007/3-540-29953-X

Similar Items

Complexity Theory and Cryptology An Introduction to Cryptocomplexity
by: Rothe, JΓΆrg
Published: (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
by: Bonanno, Giacomo
Published: (2010)

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
by: KratochvΓl, Jan
Published: (2010)

Algorithmic Randomness and Complexity
by: Downey, Rodney G
Published: (2010)

Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
by: Lee, Der-Tsai
Published: (2010)

Parameterized and Exact Computation 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
by: Raman, Venkatesh
Published: (2010)

Computer Science β Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
by: Ablayev, Farid
Published: (2010)

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
by: Frappier, Marc
Published: (2010)

Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
by: Calude, Cristian S
Published: (2010)

Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
by: Dams, Dennis
Published: (2010)

Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
by: KuΔera, AntonΓn
Published: (2010)

Hybrid Metaheuristics 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings
by: Blesa, Maria J.
Published: (2010)

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
by: Bollig, Benedikt
Published: (2006)

Algorithmic Learning Theory 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings
by: Hutter, Marcus
Published: (2010)

Principles and Practice of Constraint Programming β CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings
by: Cohen, David
Published: (2010)

Theory of Computation
by: Kozen, Dexter 1951-
Published: (2006)

Unconventional Computation 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings
by: Calude, Cristian S
Published: (2010)

Complexity Theory Exploring the Limits of Efficient Algorithms
by: Wegener, Ingo
Published: (2005)

Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
by: HlinΔnΓ½, Petr
Published: (2010)

Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings
by: Dediu, Adrian-Horia
Published: (2010)

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
by: Dawar, Anuj
Published: (2010)

Developments in Language Theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings
by: Gao, Yuan
Published: (2010)

Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies
by: Zomaya, Albert Y.
Published: (2006)

Time for Verification Essays in Memory of Amir Pnueli
by: Manna, Zohar
Published: (2010)

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
by: Dovier, Agostino
Published: (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
by: Wu, Yanwen
Published: (2010)

Super-Recursive Algorithms
by: Burgin, Mark
Published: (2005)

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I
by: Hsu, Ching-Hsien
Published: (2010)

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II
by: Hsu, Ching-Hsien
Published: (2010)

Coordination of Large-Scale Multiagent Systems
by: Scerri, Paul
Published: (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
by: Ebert, Christian
Published: (2010)

The P=NP Question and GΓΆdelβs Lost Letter
by: Lipton, Richard J
Published: (2010)

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
by: Ong, Luke
Published: (2010)

Dissemination of Information in Communication Networks Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
by: Hromkovic, Juraj
Published: (2005)

Theory and Applications of Satisfiability Testing β SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
by: Strichman, Ofer
Published: (2010)

Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
by: Blass, Andreas
Published: (2010)

Bioinspired Computation in Combinatorial Optimization Algorithms and Their Computational Complexity
by: Neumann, Frank
Published: (2010)

Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
by: Lilius, Johan
Published: (2010)

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
by: MΓ©ry, Dominique
Published: (2010)

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
by: Chatterjee, Krishnendu
Published: (2010)

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

Cannot write session to /tmp/vufind_sessions/sess_dplmvt1f62u4go6umg2ms06ldi