Refine your search

Your search returned 420 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Combinatorial geometry and its algorithmic applications the Alcalá lectures

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

Series: Mathematical surveys and monographs ; 152Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Providence, RI American Math. Soc. 2009Online access: table of contents | content text Availability: Items available for reference: Books at groups: Not for loan (1).
Log in to add tags
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 Publication details: Princeton, N.J. ; Woodstock : Princeton University Press, c2008Availability: Not available: Checked out (1).
Place hold Log in to add tags
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 Publication details: Hoboken, New Jersey Wiley 2011Online access: table of contents Availability: Items available for loan: Library (1)Call number: 519-2011.
Place hold Log in to add tags
Network models / edited by M.O. Ball [and others].

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

Series: Handbooks in operations research and management science ; v. 7.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Amsterdam ; New York : Elsevier, 1995Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
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)Call number: 006-2014. Items available for reference: Books at groups: Not for loan (1). Library: Not for loan (1)Call number: 006-2014. Not available: Checked out (3). Lost (4).
Place hold Log in to add tags
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 Publication details: Cambridge ; New York : Cambridge University Press, 2012Online access: contributor biographical information | publisher description | table of contents only Availability: Items available for loan: Library (1)Call number: 518-2009. Items available for reference: Books at groups: Not for loan (1).
Place hold Log in to add tags
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.

Series: Molecular biology intelligence unit (Unnumbered)Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Georgetown, Tex. : New York, N.Y. : Landes Bioscience/Eurekah.com ; Springer Science+Business Media, c2006Online access: Table of contents only | Publisher description Availability: Not available: Checked out (1).
Place hold Log in to add tags
Randomized algorithms / Rajeev Motwani, Prabhakar Raghavan.

by Motwani, Rajeev | Raghavan, Prabhakar.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Cambridge ; New York : Cambridge University Press, 1995Online access: table of contents | publisher description Availability: Items available for loan: Library (1)Call number: 004-199x.
Place hold Log in to add tags
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-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1767.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2000Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
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).

Series: Serienbezeichnung | Lecture notes in computer science ; 2149.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 2264.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2001Other title: SAGA 2001.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
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).

Series: Serienbezeichnung | Lecture notes in computer science ; 2452.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
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).

Series: Serienbezeichnung | Lecture notes in computer science ; 3240. | Lecture notes in computer science. Lecture notes in bioinformatics.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer-Verlag, ©2004Other title: WABI 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 2827.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
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-.

Series: Serienbezeichnung | Lecture notes in computer science ; 3091.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York, NY : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Primality testing in polynomial time : from randomized algorithms to "primes" is in P / Martin Dietzfelbinger.

by Dietzfelbinger, Martin.

Series: Serienbezeichnung | Lecture notes in computer science. Tutorial. | Lecture notes in computer science ; 3000.Edition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 3405. | Hot topics (Berlin, Germany)Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005Other title: CAAN 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
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.).

Series: Serienbezeichnung | Lecture notes in computer science ; 4175. | Lecture notes in computer science. Lecture notes in bioinformatics.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2006Other title: WABI 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
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).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, 1991Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Towards dynamic randomized algorithms in computational geometry / Monique Teillaud.

by Teillaud, Monique, 1961- [aut].

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer-Verlag, 1993Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Pages

Powered by Koha