IST Austria Library

Your search returned 81 results.

Not what you expected? Check for suggestions
1.
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
2.
Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers / Enrico Giunchiglia, Armando Tacchella (eds.).

by SAT 2003 (2003 : Santa Margherita Ligure, Italy) | Giunchiglia, Enrico | Tacchella, Armando.

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
3.
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
4.
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
5.
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 .
Place hold Log in to add tags
6.
Combinatorial pattern matching : 15th annual symposium, CPM 2004, Istanbul, Turkey, July 5-7, 2004 : proceedings / Suleyman Cenk Sahinalp, S. Muthukrishnan, Ugur Dogrusoz (eds.).

by Sahinalp, Suleyman Cenk | Muthukrishnan, S | Dogrusoz, Ugur.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Other title: CPM 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
7.
Automata, languages and programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings / Josep Diaz [and others] (eds.).

by International Colloquium on Automata, Languages, and Programming (31st : 2004 : Turku, Finland) | Díaz, J. (Josep), 1950- | European Association for Theoretical Computer Science.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Other title: ICALP 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
8.
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 .
Place hold Log in to add tags
9.
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
10.
Algorithms and computation : 15th international symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004 ; proceedings / Rudolf Fleischer, Gerhard Trippen (eds.).

by ISAAC (Conference) (15th : 2004 : Hong Kong, China) | Fleischer, Rudolf, 1964- | Trippen, Gerhard.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Other title: ISAAC 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
11.
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
12.
Algorithm theory, SWAT '92 : third Scandinavian workshop on algorithm theory, Helsinki, Finland, July 8-10, 1992 : proceedings / O. Nurmi, E. Ukkonen (eds.).

by Nurmi, O. (Otto), 1953- [edt] | Ukkonen, E. (Esko), 1950- [edt] | Scandinavian Workshop on Algorithm Theory, SWAT (3 : 1992 : Helsinki, Finland).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©1992Other title: Algorithm theory | SWAT '92.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
13.
Applied algebra, algebraic algorithms and error-correcting codes : 17th international symposium, AAECC-17, Bangalore, India, December 16-20, 2007 : proceedings / Serdar Boztaş, Hsiao-Feng (Francis) Lu (eds.).

by AAECC-17 (2007 : Bangalore, India) | Boztaş, Serdar | Lu, Hsiao-Feng.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: AAECC-17.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.
Experimental and efficient algorithms : 4th international workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005 : proceedings / Sotiris E. Nikoletseas (ed.).

by WEA (Workshop) (4th : 2005 : Thēra, Greece) | Nikoletseas, Sotiris.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: WEA 2005.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
15.
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 .
Place hold Log in to add tags
16.
Combinatorial pattern matching : 16th annual symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005 : proceedings / Alberto Apostolico, Maxime Crochemore, Kunsoo Park (eds.).

by CPM (Symposium) (16th : 2005 : Cheju-do, Korea) | Apostolico, Alberto, 1948- | Crochemore, Maxime, 1947- | Park, Kunsoo.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: CPM 2005.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
17.
Algorithmic applications in management : first international conference, AAIM 2005, Xian, China, June 22-25, 2005 : proceedings / Nimrod Megiddo, Yinfeng Xu, Binhai Zhu (eds.).

by AAIM 2005 (2005 : Xi'an, Shaanxi Sheng, China) | Xu, Yinfeng | Zhu, Binhai, 1966- | Megiddo, Nimrod.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: AAIM 2005.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.
Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings / Fahiem Bacchus, Toby Walsh (eds.).

by SAT 2005 (2005 : St. Andrews, Scotland) | Bacchus, Fahiem | Walsh, Toby.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: SAT 2005.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.
Computer algebra and geometric algebra with applications : 6th international workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and international workshop, GIAE 2004, Xian, China, May 24-28, 2004 : revised selected papers / Hongbo Li, Peter J. Olver, Gerald Sommer (eds.).

by International Workshop on Mathematics Mechanization (6th : 2004 : Shanghai, China) | Li, Hungbo | Olver, Peter J | Sommer, Gerald, 1945- | GIAE 2004 (2004 : Xi'an, Shaanxi Sheng, China).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: IWMM 2004 | GIAE 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
20.
Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers / Holger H. Hoos, David G. Mitchell (eds.).

by SAT 2004 (2004 : Vancouver, B.C.) | Hoos, Holger H | Mitchell, David G., Ph. D.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: Satisfiability testing | SAT 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

Powered by Koha