IST Austria Library

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 .
Log in to add tags
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).
Place hold Log in to add tags
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.
Place hold Log in to add tags
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 .
Place hold Log in to add tags
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.
Place hold Log in to add tags
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.
Place hold Log in to add tags
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).
Place hold Log in to add tags
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.
Place hold Log in to add tags
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 .
Place hold Log in to add tags
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 .
Place hold Log in to add tags
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 .
Place hold Log in to add tags
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 .
Place hold Log in to add tags
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 .
Place hold Log in to add tags
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 .
Place hold Log in to add tags
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 .
Place hold Log in to add tags
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 .
Place hold Log in to add tags
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 .
Place hold Log in to add tags
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 .
Place hold Log in to add tags
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 .
Place hold Log in to add tags
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 .
Place hold Log in to add tags

Powered by Koha