IST Austria Library

Refine your search

Your search returned 505 results.

Not what you expected? Check for suggestions
1.
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
2.
Web engineering : 4th international conference, ICWE 2004, Munich, Germany, July 26-30, 2004 : proceedings / Nora Koch, Piero Fraternali, Martin Wirsing (eds.).

by ICWE (Conference) (4th : 2004 : Munich, Germany) | Koch, Nora, 1951- | Fraternali, Piero | Wirsing, M. (Martin) | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2004Other title: ICWE 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
3.
Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings / Farn Wang (ed.).

by ATVA (Symposium) (2nd : 2004 : Taipei, Taiwan) | Wang, Farn | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2004Other title: ATVA 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.
UbiComp 2004 : ubiquitous computing : 6th international conference, Nottingham, UK, September 7-10, 2004 : proceedings / Nigel Davies, Elizabeth Mynatt, Itiro Siio (eds.).

by UbiComp (Conference) (6th : 2004 : Nottingham, England) | Davies, Nigel, 1964- | Mynatt, Elizabeth D | Siio, Itiro.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Other title: Ubiquitous computing.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
5.
Ambient intelligence : second European symposium, EUSAI 2004, Eindhoven, the Netherlands, November 8-11, 2004 : proceedings / Panos Markopoulos [and others] (eds.).

by EUSAI 2004 (2004 : Eindhoven, Netherlands) | Markopoulos, P. (Panos) | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2004Other title: EUSAI 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.
Approximation, randomization, and combinatorial optimization : algorithms and techniques : 7th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2004, and 8th International Workshop on Randomization and Computation, RANDOM 2004, Cambridge, MA, USA, August 22-24, 2004 : proceedings / Klaus Jansen [and others] (eds.).

by International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (7th : 2004 : Cambridge, Mass.) | Jansen, Klaus | International Workshop on Randomization and Approximation Techniques in Computer Science (8th : 2004 : Cambridge, Mass.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Other title: APPROX 2004 | RANDOM 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.
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
8.
Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003 : revised lectures / Frank S. de Boer [and others] (eds.).

by FMCO (Symposium) (2nd : 2003 : Leiden, Netherlands) | Boer, Frank S. de | LINK (Online service).

Material type: Text Text; Format: available online remote Publisher: Berlin : 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
9.
Implementation and application of automata : 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings / Oscar H. Ibarra, Zhe Dang (eds.).

by CIAA (Conference) (8th : 2003 : Santa Barbara, Calif.) | Ibarra, Oscar H | Dang, Zhe, 1967-.

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
10.
Recent advances in parallel virtual machine and message passing interface : 11th European PVM/MPI Users' Group Meeting, Budapest, Hungary, September 19-22, 2004 : proceedings / [edited by] Dieter Kranzlml̈ler, Peter Kacsuk [and] Jack Dongarra.

by European PVM/MPI Users' Group Meeting (11th : 2004 : Budapest, Hungary) | Kranzlmüller, Dieter, 1969- | Kacsuk, Peter | Dongarra, J. J | LINK (Online service).

Material type: Text Text; Format: available online remote Publisher: Berlin : 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
11.
Foundations of information and knowledge systems : third international symposium, FoIKS 2004 : Wilheminenburg [sic] Castle, Austria, February 17-20, 2004 : proceedings / Dietmar Seipel, Jose Maria Turull-Torres (eds.).

by FoIKS 2004 (2004 : Vienna, Austria) | Seipel, Dietmar | Turull-Torres, Jose Maria.

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
12.
Distributed multimedia information retrieval : SIGIR 2003 Workshop on Distributed Information Retrieval, Toronto, Canada, August 1, 2003 : revised, selected, and invited papers / Jamie Callan, Fabio Crestani, Mark Sanderson (eds.).

by Callan, Jamie, 1959- | Crestani, Fabio | Sanderson, Mark (Information scientist) | SIGIR Workshop on Distributed Information Retrieval (2003 : Toronto, Ont.).

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
13.
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
14.
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
15.
Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday / Juhani Karhumäki [and others].

by Salomaa, Arto | Karhumäki, Juhani.

Material type: Text Text; Format: available online remote festschrift ; 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.
Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings / Alessio Lomuscio, Donald Nute (eds.).

by International Workshop on Deontic Logic in Computer Science (7th : 2004 : Madeira, Madeira Islands) | Lomuscio, Alessio | Nute, Donald, 1947-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: DEON 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
17.
Constraint databases : first international symposium, CDB 2004, Paris, France, June 12-13, 2004 : proceedings / Bart Kuijpers, Peter Revesz, editors.

by CDB 2004 (2004 : Paris, France) | Kuijpers, Bart | Revesz, Peter (Peter Z.).

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
18.
Rough sets and current trends in computing : 4th international conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004 : proceedings / Shusaku Tsumoto [and others] (eds.).

by RSCTC (Conference) (4th : 2004 : Uppsala, Sweden) | Tsumoto, Shusaku, 1963-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: RSCTC 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
19.
Intelligent information technology : 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004 ; proceedings / Gautam Das, Ved P. Gulati (eds.).

by International Conference on Information Technology (7th : 2004 : Hyderabad, India) | Das, Gautam | Gulati, V. P. (Ved Prakash).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Other title: CIT 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.
Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 ; advanced lectures / Marco Bernardo, Jane Hillston (eds.).

by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th : 2007 : Bertinoro, Italy) | Bernardo, Marco | Hillston, J. (Jane), 1963-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: Formal methods for the design of computer, communication and software systems | SFM 2007.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