IST Austria Library

Refine your search

Your search returned 1322 results.

Not what you expected? Check for suggestions
1.
Half-metallic alloys : fundamentals and applications / I. Galanakis, P.H. Dederichs (eds.).

by Galanakis, I. (Iosif) | Dederichs, P. H. (Peter H.), 1938-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Online 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.
Dynamics of coupled map lattices and of related spatially extended systems / [editors], J.-R. Chazottes, B. Fernandez.

by CML 2004 (2004 : Paris, France) | Chazottes, J.-R. (Jean-René) | Fernandez, B. (Bastien).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Online 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.
Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS '97), Port Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers / Burkhard Freitag [and others], (eds.).

by International Seminar on Logic Databases and the Meaning of Change (1996 : Schloss Dagstuhl) | Freitag, Burkhard, 1953- | Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases (1997 : Port Jefferson, N.Y.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1998Online 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.
Fundamental approaches to software engineering : first international conference, FASE '98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings / Egidio Astesiano, ed.

by FASE'98 (1998 : Lisbon, Portugal) | Astesiano, E. (Egidio), 1939- | ETAPS (Conference) (1st : 1998 : Lisbon, Portugal).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 1998Online 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.
Agents and multi-agent systems : formalisms, methodologies, and applications : based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997 / Wayne Wobcke, Maurice Pagnucco, Chengqi Zhang (eds.).

by Wobcke, Wayne, 1963- | Pagnucco, Maurice | Zhang, Chengqi | Australian Joint Artificial Intelligence Conference (10th : 1997 : Perth, W.A.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1998Other title: Agents and multi-agent systems (Online).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.
Infrastructure for agents, multi-agent systems, and scalable multi-agent systems : International Workshop on Infrastructure for Scalable Multi-Agent Systems, Barcelona, Spain, June 3-7, 2000 : revised papers / Tom Wagner, Omer Rana (eds.).

by International Workshop on Infrastructure for Scalable Multi-Agent Systems (2000 : Barcelona, Spain) | Wagner, Tom, 1966- | Rana, Omer.

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
7.
Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings / Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.).

by International Conference on Integrated Formal Methods (2nd : 2000 : Dagstuhl Castle, Germany) | Grieskamp, Wolfgang, 1960- | Santen, Thomas, 1965- | Stoddart, Bill, 1946-.

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
8.
Intelligent memory systems : Second International Workshop, IMS 2000, Cambridge, MA, USA, November 12, 2000 : revised papers / Frederic T. Chong, Christoforos Kozyrakis, Mark Oskin (eds.).

by IMS 2000 (2000 : Cambridge, Mass.) | Chong, Frederic T, 1968- | Kozyrakis, Christoforos, 1974- | Oskin, Mark, 1974-.

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
9.
Active media technology : 6th International Computer Science Conference, AMT 2001, Hong Kong, China, December 18-20, 2001 : proceedings / Jiming Liu [and others] (eds.).

by International Computer Science Conference (6th : 2001 : Hong Kong, China) | Liu, Jiming, 1962-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Berlin ; Heidelberg : 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
10.
Evolutionary computation in combinatorial optimization : 4th European conference, EvoCOP 2004, Coimbra, Portugal, April 5-7, 2004 : proceedings / Jens Gottlieb, Günther R. Raidl (eds.).

by EvoCOP (Conference) (2004 : Coimbra, Portugal) | Gottlieb, Jens | Raidl, Günther.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: EvoCOP 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.
High-speed networks and multimedia communications : 6th IEEE international conference, HSNMC 2003, Estoril, Portugal, July 23-25, 2003 : proceedings / Mário Marques Freire, Pascal Lorenz, Mike Myung-Ok Lee (eds.).

by HSNMC 2003 (2003 : Estoril, Portugal) | Freire, Mário Marques, 1969- | Lorenz, Pascal, 1965- | Lee, Mike Myung-Ok, 1959-.

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
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.
Product focused software process improvement : 5th international conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004 ; proceedings / Frank Bomarius, Hajimu Iida (eds.).

飯田, 元. by PROFES 2004 (2004 : Kansai Bunka Gakujutsu Kenkyū Toshi, Japan) | Bomarius, Frank | Iida, Hajimu.

Material type: Text Text; Format: available online remote; Literary form: Not fiction 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
14.
Functional and logic programming : 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings / Yukiyoshi Kameyama, Peter J. Stuckey (eds.).

亀山, 幸義. by Fuji International Symposium on Functional and Logic Programming | Kameyama, Yukiyoshi | Stuckey, Peter J.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Other title: FLOPS 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.
Modeling decisions for artificial intelligence : second international conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005 : proceedings / Vicenç Torra, Yasuo Narukawa, Sadaaki Miyamoto (eds.).

by MDAI (Conference) (2nd : 2005 : Tsukuba-shi, Japan) | Torra, Vicenç | Narukawa, Yasuo | Miyamoto, Sadaaki, 1950-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2005Other title: MDAI 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
16.
Computer aided systems theory - EUROCAST'99 : a selection of papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29-October 2, 1999 : proceedings / Franz Pichler, Roberto Moreno-Díaz, Peter Kopacek (eds.).

by International Workshop on Computer Aided Systems Theory (7th : 1999 : Vienna, Austria) | Pichler, Franz, 1936- | Moreno-Díaz, Roberto | Kopacek, Peter.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2000Other title: EUROCAST'99.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.
Knowledge discovery and emergent complexity in bioinformatics : first international workshop, KDECB 2006, Ghent, Belgium, May 10, 2006 : revised selected papers / Karl Tuyls [and others], (eds.).

by KDECB 2006 (2006 : Ghent, Belgium) | Tuyls, Karl.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Online 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.
Algorithmic learning theory : 7th International workshop, ALT '96, Sydney, Australia, October 23-25, 1996 : proceedings / Setsuo Arikawa, Arun K. Sharma (eds.).

by Arikawa, S. (Setsuo), 1941- [edt] | Sharma, Arun K, 1962- [edt] | International Workshop on Algorithmic Learning Theory ALT (7 : 1996 : Sydney).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©1996Other title: ALT '96 | ALT'96.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.
Natural language at the computer : Scientific Symposium on Syntax and Semantics for Text Processing and Man-Machine-Communication, held on the occasion of the 20th anniversary of the Science Center Heidelberg of IBM Germany, Heidelberg, FRG, February 25, 1988 : Proceedings / A. Blaser (ed.).

by Blaser, A. (Albrecht), 1933- [edt] | IBM Deutschland. Wissenschaftliches Zentrum | Scientific Symposium on Syntax and Semantics for Text Processing and Man-Machine-Communication ((Heidelberg, Germany) : 1988).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 1988Online 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.
Attribute grammar inversion and source-to-source translation / Daniel M. Yellin.

by Yellin, Daniel M [edt].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©1988Online 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