|
|
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; Format:
available online
 ; 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; Format:
available online
; 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.
|
|
|
|
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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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 .
|