IST Austria Library

Your search returned 161 results.

Not what you expected? Check for suggestions
81.
Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings / Erich Grädel, Reinhard Kahle (eds.).

by CSL 2009 (2009 : Coimbra, Portugal) | Grädel, Erich, 1958- | Kahle, Reinhard, 1967- | European Association for Computer Science Logic.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
82.
Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday / Jens Palsberg (ed.).

by Palsberg, Jens.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
83.
Cryptographic hardware and embedded systems - CHES 2009 : 11th international workshop, Lausanne, Switzerland, September 6-9, 2009 ; proceedings / Christophe Clavier, Kris Gaj (eds.).

by CHES (Workshop) (11th : 2009 : Lausanne, Switzerland) | Clavier, Christophe | Gaj, Kris.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2009Other title: CHES 2009.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
84.
Algebra and coalgebra in computer science : third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings / Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (eds.).

by CALCO (Conference) (3rd : 2009 : Udine, Italy) | Kurz, Alexander, 1967- | Lenisa, Marina | Tarlecki, Andrzej.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
85.
Computer algebra in scientific computing : 11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 2009 : proceedings / Vladimir P. Gerdt, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.).

by CASC (Workshop : 2001- ) (11th : 2009 : Kōbe-shi, Japan) | Gerdt, V. P | Mayr, Ernst | Vorozhtsov, E. V. (Evgenii Vasilʹevich), 1946-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2009Other title: CASC 2009.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
86.
Selected areas in cryptography : 16th annual international workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, revised selected papers / Michael J. Jacobson Jr., Vincent Rijmen, Reihaneh Safavi-Naini (eds.).

by SAC (Conference) (16th : 2009 : Calgary, Alta.) | Jacobson, Michael J | Rijmen, Vincent, 1970- | Safavi-Naini, Reihanah.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
87.
Combinatorial algorithms : 20th international workshop, IWOCA 2009, Hradec nad [sic] Moravici, ̕ Czech Republic, June 28-July 2, 2009 : revised selected papers / Jiří Fiala, Jan Kratochvíl, Mirka Miller (eds.).

by International Workshop on Combinatorial Algorithms (20th : 2009 : Hradec and Moravicí, Czech Republic) | Fiala, Jiří, 1973- | Kratochvíl, Jan | Miller, Mirka, 1949-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2009Other title: IWOCA 2009.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
88.
Relations and kleene algebra in computer science : 11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings / Rudolf Berghammer, Ali Mohamed Joaua, Bernhard Möller (eds.).

by International Conference on Relational Methods in Computer Science (11th : 2009 : Doha, Qatar) | Berghammer, R. (Rudolf), 1952- | Jaoua, Ali Mohamed | Möller, Bernhard.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2009Other title: Relational methods in computer science | Applications of Kleene algebra | Kleene algebra | Relmics 2009 | AKA 2009.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
89.
EUROCAL '87 : European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987 : proceedings / J.H. Davenport (ed.).

by European Conference on Computer Algebra (1987 : Leipzig, Germany) | Davenport, James Harold, 1953-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : 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
90.
Algebraic methods : theory, tools, and applications / M. Wirsing, J.A. Bergstra, eds.

by Wirsing, M. (Martin) | Bergstra, J. A.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : 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
91.
Mathematical foundations of software development / Colloquium on Trees in Algebra and Programming (CAAP '85) ; edited by Hartmut Ehrig [and others].

by Colloquium on Trees in Algebra and Programming (10th : 1985 : Berlin, Germany) | Ehrig, Hartmut.

Material type: Text Text; Format: available online remote; 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
92.
Graph-theoretic concepts in computer science : 35th international workshop, WG 2009, Montpellier, France, June 24-26, 2009 : revised papers / Christophe Paul, Michel Habib (eds.).

by Conference on Graphtheoretic Concepts in Computer Science (35th : 2009 : Montpellier, France) | Paul, Christophe | Habib, M. (Michel).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2010Other title: WG 2009.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
93.
Applied algebra, algorithmics and error-correcting codes : 2nd International Conference, AAECC-2, Toulouse, France, October 1-5, 1984 : proceedings / edited by Alain Poli.

by AAECC-2 (1984 : Toulouse, France) | Poli, Alain, 1939-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Language: English, French Publisher: Berlin ; New York : Springer-Verlag, ©1986Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
94.
Symbolic and algebraic computation : EUROSAM '79, an International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979 / edited by Edward W. Ng.

by International Symposium on Symbolic and Algebraic Computation (2nd : 1979 : Marseille, France) | Ng, Edward W, 1939-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1979Other title: EUROSAM '79.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
95.
Proceedings / Algebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa, USA, June 1-4, 1988 ; C.H. Bergman, R.D. Maddux, D.L. Pigozzi (eds.).

by Algebraic Logic and Universal Algebra in Computer Science Conference (1988 : Ames, Iowa) | Bergman, C. H. (Clifford H.), 1953- | Maddux, R. D. (Roger D.), 1948- | Pigozzi, Don, 1935-.

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
96.
Theory and applications of satisfiability testing - SAT 2010 : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings / Ofer Strichman, Stefan Szeider (eds.).

by Strichman, Ofer | Szeider, Stefan | International Conference on Theory and Applications of Satisfiability Testing, SAT (13 : 11-07-2010 - 14-07-2010 : Edinburgh, Great Britain).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: New York : SpringerLink, 2010Other title: SAT 2010.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
97.
Intelligent computer mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings / Serge Autexier [and others] (eds.).

by AISC (Conference) (10th : 2010 : Paris, France) | Autexier, Serge | Calculemus 2010 (2010 : Paris, France) | MKM (Conference) (9th : 2010 : Paris, France).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2010Other title: AISC 2010 | Calculemus 2010 | MKM 2010.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
98.
Comparative genomics : international workshop, RECOMB-CG 2010, Ottawa, Canada, October 9-11, 2010 : proceedings / Eric Tannier (ed.).

by RECOMB-CG 2010 (2010 : Ottawa, Ont.) | Tannier, Eric.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2010Other title: RECOMB-CG 2010.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
99.
Cryptology and network security : 9th international conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010 : proceedings / Swee-Huay Heng, Rebecca N. Wright, Bok-Min Goi (eds.).

by International Conference on Cryptology and Network Security (9th : 2010 : Kuala Lampur, Malaysia) | Heng, Swee-Huay | Wright, Rebecca N, 1967- | Goi, Bok-Min.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2010Other title: CANS 2010.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
100.
Combinatorial optimization and applications : 4th international conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, proceedings. Part I / Weili Wu, Ovidiu Daescu (Eds.).

by COCOA (Conference) (4th : 2010 : Kailua-Kona, Hawaii) | Wu, Weili | Daescu, Ovidiu.

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