Your search returned 8 results.

Not what you expected? Check for suggestions
1.
Theory and applications of satisfiability testing--SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings / Hans Kleine Büning, Xishun Zhao (eds.).

by SAT 2008 (2008 : Guangzhou, China) | Kleine Büning, H. (Hans) | Zhao, Xishun.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2008Other title: Satisfiability testing | SAT 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Parameterized and exact computation : third international workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008 : proceedings / Martin Grohe, Rolf Niedermeier (eds.).

by IWPEC (Workshop) (3rd : 2008 : Victoria, B.C.) | Grohe, M. (Martin) | Niedermeier, Rolf.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2008Other title: IWPEC 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Theory and applications of satisfiability testing--SAT 2009 : 12th international conference, SAT 2009, Swansea, UK, June 30-July 3, 2009 : proceedings / Oliver Kullmann (ed.).

by SAT 2009 (2009 : Swansea, Wales) | Kullmann, Oliver.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Combinatorial algorithms : 20th international workshop, IWOCA 2009, Hradec nad [sic] Moravici, ̕ Czech Republic, June 28-July 2, 2009 : revised selected papers / Jiří Fiala, Jan Kratochvíl, Mirka Miller (eds.).

by International Workshop on Combinatorial Algorithms (20th : 2009 : Hradec and Moravicí, Czech Republic) | Fiala, Jiří, 1973- | Kratochvíl, Jan | Miller, Mirka, 1949-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2009Other title: IWOCA 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Parameterized and exact computation : 5th international symposium, IPEC 2010, Chennai, India, December 13-15, 2010 : proceedings / Venkatesh Raman, Saket Saurabh (eds.).

by IPEC (Symposium) (5th : 2010 : Chennai, India) | Raman, V. (Venkatesh), 1962- | Saurabh, Saket.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2010Other title: IPEC 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Combinatorial algorithms : 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, revised selected papers / Costas S. Iliopoulos, William F. Smyth (eds.).

by International Workshop on Combinatorial Algorithms (22nd : 2011 : Victoria, B.C.) | Iliopoulos, C. S. (Costas S.) | Smyth, Bill.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2011Other title: IWOCA 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Parameterized and exact computation : 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised selected papers / edited by Dániel Marx, Peter Rossmanith.

by IPEC (Symposium) (6th : 2011 : Saarbrücken, Germany) | Marx, Dániel | Rossmanith, Peter.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
WALCOM: Algorithms and computation : 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings / Subir Kumar Ghosh, Takeshi Tokuyama (eds.).

by WALCOM (Workshop) (7th : 2013 : Kharagpur, India) | Ghosh, Subir Kumar | Tokuyama, Takeshi.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Other title: WALCOM 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha