Your search returned 14 results.

Not what you expected? Check for suggestions
1.
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 .
2.
The complexity of valued constraint satisfaction problems

by Živný, Stanislav.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Berlin ;Heidelberg [u.a.] Springer 2012Online access: Inhaltsverzeichnis | Inhaltstext | Zentralblatt MATH Inhaltstext Availability: No items available Checked out (1).
Lists:
3.
Algorithms in bioinformatics : Second International Workshop, WABI 2002, Rome, Italy, September 17-21, 2002 : proceedings / Roderic Guigó, Dan Gusfield, ed.

by Guigó, Roderic, 1959- | Gusfield, Dan | WABI (Workshop) (2nd : 2002 : Rome, Italy).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Experimental and efficient algorithms : third international workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004 : proceedings / Celso C. Ribeiro, Simone L. Martins (eds.).

by WEA (Workshop) (3rd : 2004 : Angra dos Reis, Brazil) | Ribeiro, Celso C | Martins, Simone L | European Association for Theoretical Computer Science.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; London : Springer, ©2004Other title: WEA 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Parameterized and exact computation : first international workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004 : proceedings / Rod Downey, Michael Fellows, Frank Dehne (eds.).

by IWPEC (Workshop) (1st : 2004 : Bergen, Norway) | Downey, R. G. (Rod G.) | Fellows, M. R. (Michael Ralph), 1952- | Dehne, F. (Frank), 1960-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: IWPEC 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Logical approaches to computational barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006 : proceedings / Arnold Beckmann [and others] (eds.).

by Conference on Computability in Europe (2nd : 2006 : Swansea, Wales) | Beckmann, Arnold.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Other title: Conference on Computability in Europe | CiE 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Algorithm engineering : 3rd International Workshop, WAE '99 London, UK, July 19-21, 1999 : proceedings / Jeffrey S. Vitter, Christos D. Zaroliagis, eds.

by International Workshop on Algorithm Engineering (3rd : 1999 : London, England) | Vitter, Jeffrey Scott, 1955- | Zaroliagis, Christos D, 1963- | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 1999Other title: WAE '99.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Machines, computations, and universality : 4th international conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004 ; revised selected papers / Maurice Margenstern (ed.).

by MCU 2004 (2004 : Saint Petersburg, Russia) | Margenstern, Maurice.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2005Other title: MCU 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
WALCOM, algorithms and computation : third international workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009 : proceedings / Sandip Das, Ryuhei Uehara (eds.).

by WALCOM (Workshop) (3rd : 2009 : Kolkata, India) | Das, Sandip | Uehara, Ryuhei.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Experimental algorithms : 8th international symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009 : proceedings / Jan Vahrenhold, (ed.).

by SEA (Symposium) (8th : 2009 : Dortmund, Germany) | Vahrenhold, Jan.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2009Other title: SEA 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Programs, proofs, processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 ; proceedings / Fernando Ferreira [and others] (eds.).

by Conference on Computability in Europe (6th : 2010 : Ponta Delgada, Azores) | Ferreira, Fernando.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2010Other title: CiE 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Handbook of satisfiability / edited by Armin Biere [and others].

by Biere, Armin.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Amsterdam ; Washington, DC : IOS Press, ©2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Computational complexity : a conceptual perspective / Oded Goldreich.

by Goldreich, Oded.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University Press, 2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.).

by Conference on Computability in Europe (9th : 2013 : Milan, Italy) | Bonizzoni, Paola | Brattka, Vasco, 1966- | Löwe, Benedikt.

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

Powered by Koha