IST Austria Library

Your search returned 78 results.

Not what you expected? Check for suggestions
1.
STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985 / edited by K. Mehlhorn.

by Annual Symposium on Theoretical Aspects of Computer Science (2nd : 1985 : Saarbrücken, Germany) | Mehlhorn, Kurt, 1949-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1985Online 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.
Combinatorics and computer science : 8th Franco-Japanese and 4th Franco-Chinese conference, Brest, France, July 3-5, 1995 : selected papers / Michel Deza, Reinhardt Euler, Ioannis Manoussakis (eds.).

by Deza, M, 1939- | Euler, Reinhardt, 1950- | Manoussakis, Ioannis, 1957-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1996Online 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.
Advances in computing science--ASIAN 2002 : Internet computing and modeling, grid computing, peer-to-peer computing, and cluster computing : 7th Asian Computing Science Conference, Hanoi, Vietnam, December 4-6, 2002 : proceedings / Alain Jean-Marie, ed.

by Asian Computing Science Conference (7th : 2002 : Hanoi, Vietnam) | Jean-Marie, A. (Alain), 1943-.

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
4.
Regulated agent-based social systems : first international workshop, RASTA 2002, Bologna, Italy, July 16, 2002 : revised selected and invited papers / Gabriela Lindemann, Daniel Moldt, Mario Paolucci (eds.).

by RASTA 2002 (2002 : Bologna, Italy) | Lindemann, Gabriela | Moldt, Daniel | Paolucci, Mario | International Joint Conference on Autonomous Agents and Multiagent Systems (1st : 2002 : Bologna, Italy).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©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
5.
Latin 2004 : theoretical informatics : 6th Latin American symposium, Buenos Aires, Argentina, April 5-8, 2004 : proceedings / Martin Farach-Colton (ed.).

by Latin American Symposium on Theoretical Informatics (6th : 2004 : Buenos Aires, Argentina) | Farach-Colton, Martin.

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
6.
Computing and combinatorics : 10th annual international conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004 : proceedings / Kyung-Yong Chwa, J. Ian Munro (eds.).

by COCOON (Conference) (10th : 2004 : Cheju-do, Korea) | Chwa, Kyung-Yong, 1946- | Munro, J. Ian.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2004Other title: COCOON 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.
STACS 2004 : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004 : proceedings / Volker Diekert, Michel Habib, eds.

by Annual Symposium on Theoretical Aspects of Computer Science (21st : 2004 : Montpellier, France) | Diekert, Volker, 1955- | Habib, M. (Michel).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 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
8.
Metainformatics : international symposium, MIS 2003, Graz, Austria, September 17-20, 2003 : revised papers / David L. Hicks (ed.).

by MIS 2003 (2003 : Graz, Austria) | Hicks, David L. (David Lane), 1962-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: MIS 2003.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.
Computational science - ICCS 2006 : 6th international conference, Reading, UK, May 28-31, 2006 ; proceedings / Vassil N. Alexandrov [and others] (eds.).

by ICCS 2006 (2006 : Reading, Great Britain) | Alexandrov, Vassil, 1962-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2006Other title: Computational science | ICCS 2006.Online access: Click here to access online | Click here to access online | Click here to access online | Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
10.
Computing and combinatorics : 12th annual international conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006 : proceedings / Danny Z. Chen, D.T. Lee (eds.).

by COCOON (Conference) (12th : 2006 : Taipei, Taiwan) | Chen, Danny Z | Lee, Der-Tsai.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Other title: COCOON 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
11.
The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings / ed. by B.T. Denvir [and others].

by Denvir, B. T [edt] | Workshop on the Analysis of Concurrent Systems (12-09-1983 - 16-09-1983 : Cambridge).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©1985Online 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.
STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedings / Wolfgang Thomas, Pascal Weil (eds.).

by Annual Symposium on Theoretical Aspects of Computer Science (24th : 2007 : Aachen, Germany) | Thomas, Wolfgang, 1947- | Weil, Pascal.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: Symposium on Theoretical Aspects of Computer Science | Theoretical aspects of computer science.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.
STACS 2005 : 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005 : proceedings / Volker Diekert, Bruno Durand (eds.).

by Annual Symposium on Theoretical Aspects of Computer Science (22nd : 2005 : Stuttgart, Germany) | Diekert, Volker, 1955- | Durand, B. (Bruno).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: 22nd Annual Symposium on Theoretical Aspects of Computer Science | Symposium on Theoretical Aspects of Computer Science | Theoretical aspects of computer science.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.
Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers / Zhiming Liu, Keijiro Araki (eds.).

by ICTAC (Colloquium) (1st : 2004 : Guiyang Shi, China) | Liu, Zhiming, 1961- | Araki, Keijirō, 1954-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: ICTAC 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
15.
Computational science and its applications, ICCSA 2005 : international conference, Singapore, May 9-12, 2005 : proceedings / Osvaldo Gervasi [and others] (eds.).

by ICCSA 2005 (2005 : Singapore) | Gervasi, Osvaldo.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: ICCSA 2005.Online access: Click here to access online | Click here to access online | Click here to access online | Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
16.
Computational science -- ICCS 2005. Part I : 5th international conference, Atlanta, GA, USA, May 22-25, 2005 : proceedings / Vaidy S. Sunderam [and others] (eds.).

by ICCS 2005 (2005 : Atlanta, Ga.) | Sunderam, Vaidy S [edt].

Edition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 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.
Metainformatics : international symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004 : revised selected papers / Uffe Kock Wiil (ed.).

by MIS 2004 (2004 : Salzburg, Austria) | Wiil, Uffe Kock.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: MIS 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.
Abstraction, reformulation and approximation : 6th international symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005 : proceedings / Jean-Daniel Zucker, Lorenza Saitta (eds.).

by SARA 2005 (2005 : Airth, Scotland) | Zucker, Jean-Daniel | Saitta, Lorenza, 1944-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: SARA 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.
Computing and combinatorics : 11th annual international conference, COCOON 2005, Kunming, China, August 16-29, 2005 : proceedings / Lusheng Wang (ed.).

by COCOON (Conference) (11th : 2005 : Kunming Shi, China) | Wang, Lusheng, 1962-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: COCOON 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
20.
Fundamentals of computation theory : 15th international symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005 : proceedings / Maciej Liskiewicz, Rüdiger Reischuk (eds.).

by FCT (Symposium) (15th : 2005 : Lübeck, Germany) | Liśkiewicz, Maciej | Reischuk, Rüdiger.

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

Powered by Koha