IST Austria Library

Your search returned 52 results.

Not what you expected? Check for suggestions
41.
Formal grammar : 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised selected papers / Philippe de Groote, Mark-Jan Nederhof (eds.).

by FG (Conference) (15th : 2010 : Copenhagen, Denmark) | De Groote, Philippe | Nederhof, Mark-Jan | FG (Conference) (16th : 2011 : Ljubljana, Slovenia).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: FG 2010 | FG 2011.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
42.
Languages alive : essays dedicated to Jürgen Dassow on the occasion of his 65th birthday / Henning Bordihn, Martin Kutrib, Bianca Truthe (eds.).

by Bordihn, Henning | Kutrib, Martin | Truthe, Bianca.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
43.
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
44.
Relational and algebraic methods in computer science : 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings / Wolfram Kahl, Timothy G. Griffin (eds.).

by RAMiCS (Conference) (13th : 2012 : Cambridge, England) | Kahl, W. (Wolfram) | Griffin, Timothy G.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: RAMiCS 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
45.
Computational methods in systems biology : 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings / David Gilbert, Monika Heiner (eds.).

by CMSB (Conference) (10th : 2012 : London, England) | Gilbert, David, Dr | Heiner, Monika, 1954-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: CMSB 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
46.
Research in cryptology : 4th Western European Workshop, WEWoRC 2011, Weimar, Germany, July 20-22, 2011, Revised selected papers / Frederik Armknecht, Stefan Lucks (eds.).

by Western European Workshop on Research in Cryptology (4th : 2011 : Weimar, Thuringia, Germany) | Armknecht, Frederik | Lucks, Stefan.

Source: Springer - LINK.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: WEWoRC 2011.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
47.
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
48.
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
49.
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
50.
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
51.
Intelligent computer mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger (eds.).

by CICM (Conference) (6th : 2013 : Bath, England) | Carette, Jacques (Computer scientist) [editor.] | Aspinall, D [editor.] | Lange, Christoph [editor.] | Sojka, Petr [editor.] | Windsteiger, Wolfgang [editor.] | MKM (Conference) (12th : 2013 : Bath, England) | Calculemus (Symposium) (20th : 2013 : Bath, England) | DML (Workshop) (6th : 2013 : Bath, England).

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
52.
Computer algebra and polynomials : applications of algebra and number theory / Jaime Gutierrez, Josef Schicho, Martin Weimann (eds.).

by Gutierrez, Jaime, 1959- [edt] | Schicho, Josef, 1964- [editor.] | Weimann, Martin [editor.] | Workshop on Computer Algebra and Polynomials (2013 : Radon Institute for Computational and Applied Mathematics).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2015]Copyright date: ©2015Online 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