IST Austria Library

Your search returned 161 results.

Not what you expected? Check for suggestions
121.
Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings / H. Kirchner, W. Wechler, eds.

by Kirchner, H. (Hélène) | Wechler, Wolfgang | Centre national de la recherche scientifique (France) | Institut national de recherche en informatique et en automatique (France) | International Conference on Algebraic and Logic Programming (2nd : 1990 : Nancy, France).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1990Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
122.
Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / Luke Ong, Ruy de Queiroz (eds.).

by Workshop on Logic, Language, Information and Computation (19th : 2012 : Buenos Aires, Argentina) | Ong, Luke | Queiroz, Ruy J. G. B. de.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: WoLLIC 2012.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
123.
Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings / Chris Hawblitzel, Dale Miller (eds.).

by CPP 2012 (2012 : Kyoto, Japan) | Hawblitzel, Chris | Miller, Dale (Dale A.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: CPP 2012.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
124.
Applied algebra, algebraic algorithms, and error-correcting codes : 10th international symposium, AAECC-10, San Juan de Puerto Rico, Puerto Rico, May 10-14, 1993 : proceedings / Gérard Cohen, Teo Mora, Oscar Moreno (eds.).

by AAECC-10 (1993 : San Juan, P.R.) | Cohen, G. (Gérard), 1951- | Mora, Teo | Moreno, Oscar, 1946-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : 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
125.
WALCOM: Algorithms and computation : 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings / Subir Kumar Ghosh, Takeshi Tokuyama (eds.).

by WALCOM (Workshop) (7th : 2013 : Kharagpur, India) | Ghosh, Subir Kumar | Tokuyama, Takeshi.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Other title: WALCOM 2013.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
126.
Artificial Intelligence and Symbolic Mathematical Computing : International Conference AISMC-1 Karlsruhe, Germany, August 3-6, 1992 Proceedings / edited by Jacques Calmet, John A. Campbell.

by Calmet, Jacques | Campbell, John A.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : 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
127.
Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 Proceedings / edited by Nachum Dershowitz, Naomi Lindenstrauss.

by Dershowitz, Nachum | Lindenstrauss, Naomi.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 1995Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
128.
Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '96 Karlsruhe, Germany, September 18-20, 1996 Proceedings / edited by Jacques Calmet, Carla Limongelli.

by International Symposium DISCO '96 (1996 : Karlsruhe, Germany) | Calmet, Jacques | Limongelli, Carla.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 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
129.
Efficient Graph Rewriting and Its Implementation / edited by Heiko Dörr.

by Dörr, Heiko, 1962-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 1995Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
130.
Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3-5, 1994, Selected papers / edited by Jacques Calmet, John A. Campbell.

by AISMC (Conference) (2nd : 1994 : Cambridge, England) | Calmet, Jacques | Campbell, J. A, 1940-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer-Verlag, ©1995Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
131.
STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11-13, 1988 Proceedings / edited by Robert Cori, Martin Wirsing.

by Annual Symposium on Theoretical Aspects of Computer Science (5th : 1988 : Bordeaux, France) | Cori, Robert | Wirsing, M. (Martin).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Language: English, French Publisher: Berlin, Heidelberg : Springer-Verlag, 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
132.
Symbolic and Algebraic Computation : International Symposium ISSAC '88 Rome, Italy, July 4-8, 1988 Proceedings / edited by P. Gianni.

by International Symposium on Symbolic and Algebraic Computation (1988 : Rome, Italy) | Gianni, P. (Patrizia), 1952-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 1989Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
133.
Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3 Steyr, Austria, September 23-25, 1996 Proceedings / edited by Jacques Calmet, John A. Campbell, Jochen Pfalzgraf.

by Calmet, Jacques | Campbell, John A | Pfalzgraf, Jochen.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 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
134.
Graph drawing : 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised selected papers / Walter Didimo, Maurizio Patrignani (eds.).

by GD (Symposium) (20th : 2012 : Redmond, Wash.) | Didimo, Walter | Patrignani, Maurizio.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Other title: GD 2012.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
135.
Information theory, combinatorics, and search theory : in memory of Rudolf Ahlswede / Harout Aydinian, Ferdinando Cicalese, Christian Deppe (eds.).

by Aydinian, Harout | Cicalese, Ferdinando | Deppe, Christian.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
136.
Applied algebra, algebraic algorithms, and error-correcting codes : 11th international symposium, AAECC-11, Paris, France, July 1995 : proceedings / Gérard Cohen, Marc Giusti, Teo Mora (eds.).

by AAECC-11 (1995 : Paris, France) | Cohen, G. (Gérard), 1951- | Giusti, Marc | Mora, Teo.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1995Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
137.
Formal concept analysis : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, proceedings / Peggy Cellier, Felix Distel, Bernhard Ganter (eds.).

by International Conference on Formal Concept Analysis (11th : 2013 : Dresden, Germany) | Cellier, Peggy [editor.] | Distel, Felix [editor.] | Ganter, Bernhard [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
138.
Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013. Proceedings / Masahito Hasegawa (ed.).

by International Conference on Typed Lambda Calculi and Applications (11th : 2013 : Eindhoven, Netherlands) | Hasegawa, Masahito, 1970- [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, [2013]Copyright date: ©2013Other title: TLCA 2013.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
139.
Mathematics and computation in music : 4th International Conference, MCM 2013, Montreal, QC, Canada, June 12-14, 2013 : proceedings / Jason Yust, Jonathan Wild, John Ashley Burgoyne (eds.).

by MCM (Conference) (4th : 2013 : Montréal, Québec) | Yust, Jason | Wild, Jonathan | Burgoyne, John Ashley.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Other title: MCM 2013.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
140.
Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report / edited by Bernhard Möller, Helmut Partsch, Steve Schuman.

by Möller, Bernhard | Partsch, Helmut | Schuman, Steve.

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