-
Graph-Theoretic Concepts in Computer Science – 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers
Golumbic, Martin Charles ; Stern, Michael ; Levy, Avivit ; Morgenstern, Gila 2012 Springer Berlin Heidelberg
-
Parameterized and Exact Computation – 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings
Thilikos, Dimitrios M. ; Woeginger, Gerhard J. 2012 Springer Berlin Heidelberg
-
Formal Techniques for Distributed Systems – Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
Giese, Holger ; Rosu, Grigore 2012 Springer Berlin Heidelberg
-
How the World Computes – Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
Cooper, Stuart B. ; Dawar, Anuj ; Löwe, Benedikt 2012 Springer Berlin Heidelberg
-
Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems – 9th International Conference, CPAIOR 2012, Nantes, France, May 28 – June1, 2012. Proceedings
Beldiceanu, Nicolas ; Jussien, Narendra ; Pinson, Eric 2012 Springer Berlin Heidelberg
-
Parameterized and Exact Computation – 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers
Marx, Dániel ; Rossmanith, Peter 2012 Springer Berlin Heidelberg
-
Graph-Theoretic Concepts in Computer Science – 37th International Workshop, WG 2011, Teplá Monastery, Czech Republic, June 21-24, 2011. Revised Papers
Kolman, Petr ; Kratochvíl, Jan 2011 Springer Berlin Heidelberg
-
On Equivalence of Parameterized Inapproximability of k-Median, k-Max-Coverage, and 2-CSP
C.S., Karthik ; Lee, Euiwoong ; Manurangsi, Pasin
-
Formal Techniques for Distributed Systems – Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
Bruni, Roberto ; Dingel, Juergen 2011 Springer Berlin Heidelberg
-
Theory and Practice of Algorithms in (Computer) Systems – First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings
Marchetti-Spaccamela, Alberto ; Segal, Michael 2011 Springer Berlin Heidelberg
-
Combinatorial Algorithms – 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers
Iliopoulos, Costas S. ; Smyth, William F. 2011 Springer Berlin Heidelberg
-
Algorithms and Computation – 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I
Rahman, Md. Saidur ; Nakano, Shin-ichi 2010 Springer Berlin Heidelberg
-
Parameterized and Exact Computation – 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
2010 Springer Berlin Heidelberg
-
Parameterized and Exact Computation – First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004. Proceedings
Raman, Venkatesh ; Saurabh, Saket 2004 Springer Berlin Heidelberg
-
Parameterized Complexity of Path Set Packing
Aravind, N. R. ; Saxena, Roopam
-
Parameterized and exact computation – third international workshop ; proceedings
Grohe, Martin 2008 Springer
-
Pathfinding in Self-Deleting Graphs
Dvořák, Michal ; Knop, Dušan ; Opler, Michal ; Pokorný, Jan ; Suchý, Ondřej ; Szilágyi, Krisztina 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Parameterized and exact computation – second international workshop ; proceedings
Bodlaender, Hans L. 2006 Springer
-
An approach to parameterized first-order specifications: semantics, correctness, parameter passing
Reif, Wolfgang ; Bjørner, Dines ; Broy, Manfred ; Pottosin, Igor V. 1993 Universität Augsburg
-
Space-efficient parameterized algorithms on graphs of low shrubdepth
Bergougnoux, Benjamin ; Chekan, Vera ; Ganian, Robert ; Kanté, Mamadou Moustapha ; Mnich, Matthias ; Oum, Sang-il ; Pilipczuk, Michał ; Leeuwen, Erik Jan van 2023 Technische Universität Hamburg. Universitätsbibliothek