Refine your search

Your search returned 389 results.

Not what you expected? Check for suggestions
1.
Combinatorial geometry and its algorithmic applications the Alcalá lectures

by Pach, János | Šārîr, Micha [Author].

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Providence, RI American Math. Soc. 2009Online access: table of contents | content text Availability: Items available for reference: Books at groups (1). Location(s): Wagner Group .
2.
Optimization algorithms on matrix manifolds / P.-A. Absil, R. Mahony, R. Sepulchre.

by Absil, P.-A | Mahony, R. (Robert), 1967- | Sepulchre, R. (Rodolphe), 1967-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Princeton, N.J. ; Woodstock : Princeton University Press, c2008Availability: No items available Checked out (1).
3.
Generic inference a unifying theory for automated reasoning

by Pouly, Marc, 1980- | Kohlas, Jürg, 1939- | ebrary, Inc.

Material type: Text Text; Format: print available online remote; Literary form: Not fiction Language: English Publisher: Hoboken, New Jersey Wiley 2011Online access: table of contents Availability: Items available for loan: Library (1). Location(s): 519-2011.
4.
Network models / edited by M.O. Ball [and others].

by Ball, M. O. (Michael O.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Amsterdam ; New York : Elsevier, 1995Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): ebooks .
5.
Understanding machine learning from theory to algorithms Shai Shalev-Shwartz (The Hebrew University, Jerusalem), Shai Ben-David (University of Waterloo, Canada)

by Shalev-Shwartz, Shai [author] | Ben-David, Shai [author].

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Cambridge New York, NY; Port Melbourne Delhi Singapore Cambrige University Press [2014]Online access: statement of content | table of contents Availability: Items available for loan: Library (1). Items available for reference: Library [Call number: 006-2014] (1), Books at groups (1).
Checked out (3).
Location(s): 006-2014.
6.
Concentration of measure for the analysis of randomized algorithms / Devdatt Dubhashi, Alessandro Panconesi.

by Dubhashi, Devdatt | Panconesi, Alessandro.

Edition: 1st paperback editionMaterial type: Text Text; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University Press, 2012Online access: contributor biographical information | publisher description | table of contents only Availability: Items available for loan: Library (1). Items available for reference: Books at groups (1).
Location(s): 518-2009.
7.
Power laws, scale-free networks and genome biology / [edited by] Eugene V. Koonin, Yuri I. Wolf, Georgy P. Karev.

by Koonin, Eugene V | Wolf, Yuri I | Karev, Georgy P.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Georgetown, Tex. : New York, N.Y. : Landes Bioscience/Eurekah.com ; Springer Science+Business Media, c2006Online access: Table of contents only | Publisher description Availability: No items available Checked out (1).
8.
Randomized algorithms / Rajeev Motwani, Prabhakar Raghavan.

by Motwani, Rajeev | Raghavan, Prabhakar.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University Press, 1995Online access: table of contents | publisher description Availability: Items available for loan: Library (1). Location(s): 004-199x.
9.
Algorithms and complexity : 4th Italian conference, CIAC 2000, Rome, Italy, March 1-3, 2000 : proceedings / Giancarlo Bongiovanni, Giorgio Gambosi, Rossella Petreschi (eds.).

by Italian Conference on Algorithms and Complexity (4th : 2000 : Rome, Italy) | Bongiovanni, Giancarlo | Gambosi, G. (Giorgio), 1955- | Petreschi, Rossella, 1950-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Algorithms in bioinformatics : First International Workshop, WABI 2001, Aarhus, Denmark, August 28-31, 2001 proceedings / Olivier Gascuel, Bernard M.E. Moret (eds.).

by Gascuel, Olivier, 1956- | Moret, B. M. E. (Bernard M. E.) | WABI (Workshop) (1st : 2001 : Århus, Denmark).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Stochastic algorithms : foundations and applications : international symposium, SAGA 2001, Berlin, Germany, December 13-14, 2001 : proceedings / Kathleen Steinhöfel, ed.

by SAGA 2001 (2001 : Berlin, Germany) | Steinhöfel, Kathleen.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Other title: SAGA 2001.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
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 .
13.
Algorithms in bioinformatics : 4th international workshop, WABI 2004, Bergen, Norway, September 17-21, 2004 : proceedings / Inge Jonassen, Junhyong Kim (eds.).

by WABI 2004 (2004 : Bergen, Norway) | Jonassen, Inge | Kim, Junhyong | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2004Other title: WABI 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Stochastic algorithms : foundations and applications : second international symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003 : proceedings / Andreas Albrecht, Kathleen Steinhöfel (eds.).

by SAGA 2003 (2003 : Hatfield, Hertfordshire, England) | Albrecht, A. (Andreas) | Steinhöfel, Kathleen.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Rewriting techniques and applications : 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004, proceedings / Vincent Van Oostrom, (Ed.).

by International Conference on Rewriting Techniques and Applications (15th : 2004 : Aachen, Germany) | Oostrom, Vincent van, 1966-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York, NY : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Primality testing in polynomial time : from randomized algorithms to "primes" is in P / Martin Dietzfelbinger.

by Dietzfelbinger, Martin.

Edition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Combinatorial and algorithmic aspects of networking : First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004 : revised selected papers / Alejandro López-Ortiz, Angèle Hamel (eds.).

by Workshop on Combinatorial and Algorithmic Aspects of Networking (1st : 2004 : Banff, Alta.) | López-Ortiz, Alejandro | Hamel, Angèle.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: CAAN 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Algorithms in bioinformatics : 6th international workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006 : proceedings / Philipp Bücher, Bernard M.E. Moret (eds.).

by WABI (Workshop) (6th : 2006 : Zurich, Switzerland) | Bücher, Philipp | Moret, B. M. E. (Bernard M. E.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Other title: WABI 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Rewriting techniques and applications : 4th International Conference, RTA- 91, Como, Italy, April 10-12, 1991 : proceedings / Ronald V. Book (Ed.).

by Book, Ronald V [edt] | International Conference on Rewriting Techniques and Applications, RTA-91 (4 : 1991 - 12-04-1991 : Como, Italy).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 1991Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Towards dynamic randomized algorithms in computational geometry / Monique Teillaud.

by Teillaud, Monique, 1961- [aut].

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

Powered by Koha