IST Austria Library

Your search returned 161 results.

Not what you expected? Check for suggestions
141.
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
142.
Algebra and coalgebra in computer science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings / Reiko Heckel, Stefan Milius (eds.).

by CALCO (Conference) (5th : 2013 : Warsaw, Poland) | Heckel, Reiko [editor.] | Milius, Stefan [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, 2013Other title: CALCO 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
143.
ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users Limerick, Ireland, September 7-9, 1995 Proceedings / edited by Jonathan P. Bowen, Michael G. Hinchey.

by Bowen, J. P. (Jonathan Peter), 1956- | Hinchey, Michael G. (Michael Gerard), 1969-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 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
144.
Electronic Dictionaries and Automata in Computational Linguistics : LITP Spring School on Theoretical Computer Science Saint-Pierre d'Oléron, France, May 25-29, 1987 Proceedings / edited by Maurice Gross, Dominique Perrin.

by Gross, Maurice | Perrin, Dominique.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 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
145.
Algebraic informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013 : proceedings / Traian Muntean, Dimitrios Poulakis, Robert Rolland (eds.).

by CAI (Conference) (5th : 2013 : Porquerolles Island, France) | Muntean, Traian [editor.] | Poulakis, Dimitrios [editor.] | Rolland, Robert [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, [2013]Copyright date: ©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
146.
Combinatorial algorithms : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, revised selected papers / edited by Thierry Lecroq, Laurent Mouchard.

by International Workshop on Combinatorial Algorithms (24th : 2013 : Rouen, France) | Lecroq, Thierry [editor.] | Mouchard, Laurent [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013Other title: 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, revised selected papers.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
147.
Algebraic and algorithmic aspects of differential and integral operators : 5th International Meeting, AADIOS 2012, held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012 : selected and invited papers / Moulay Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz (eds.).

by AADIOS (Meeting) (5th : 2012 : Sofia, Bulgaria) | Barkatou, Moulay [editor.] | Cluzeau, Thomas [editor.] | Regensburger, Georg [editor.] | Rosenkranz, Markus [editor.] | Applications of Computer Algebra Conference (2012 : Sofia, Bulgaria).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2014Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
148.
Certified programs and proofs : third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish.

by CPP (Conference) (3rd : 2013 : Melbourne, Vic.) | Gonthier, Georges [editor.] | Norrish, Michael [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2013Other title: CPP 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
149.
Intelligent computer mathematics : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : proceedings / Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban (Eds.).

by CICM (Conference) (2014 : Coimbra, Portugal) | Watt, Stephen M [editor.] | Davenport, James H [editor.] | Sexton, Alan P [editor.] | Sojka, Petr [editor.] | Urban, Josef [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2014]Copyright date: ©2014Other title: CICM 2014.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
150.
Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings / edited by Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller.

by Höfner, Peter [editor.] | Jipsen, Peter, 1964- [editor.] | Kahl, W. (Wolfram) [editor.] | Müller, M. E. (Martin E.), 1970- [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint : Springer, 2014Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
151.
Logic, language, information, and computation : 21st international workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014, proceedings / Ulrich Kohlenbach, Pablo Barceló, Ruy de Queiroz (eds.).

by Workshop on Logic, Language, Information and Computation (21st : 2014 : Valparaíso, Chile) | Kohlenbach, U. (Ulrich) [editor.] | Barceló, Pablo [editor.] | Queiroz, Ruy J. G. B. de [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2014]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
152.
Computer algebra in scientific computing : 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings / Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov (eds.).

by CASC (Workshop : 2001- ) (16th : 2014 : Poland, Warsaw) | Gerdt, V. P [editor.] | Koepf, Wolfram [editor.] | Seiler, Werner M [editor.] | Vorozhtsov, Evgenii V [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2014Other title: CASC 2014.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
153.
Artificial intelligence and symbolic computation : 12th international conference, AISC 2014, Seville, Spain, September 11-13, 2014 : proceedings / Gonzalo A. Aranda-Corral, Jacques Calmet, Francisco J. Martin-Mateos (eds.).

by AISC (Conference) (12th : 2014 : Seville, Spain) | Aranda-Corral, Gonzalo A [editor.] | Calmet, Jacques [editor.] | Martín-Mateos, Francisco, J [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham ; New York : Springer, [2014]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
154.
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
155.
Formal concept analysis : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings / Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego (eds.).

by International Conference on Formal Concept Analysis (13th : 2015 : Nerja, Spain) | Baixeries, Jaume [editor.] | Sacarea, Christian [editor.] | Ojeda-Aciego, Manuel, 1967- [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: ICFCA 2015.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
156.
Mathematics and computation in music : 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings / Tom Collins, David Meredith, Anja Volk (eds.).

by MCM (Conference) (5th : 2015 : London, England) | Collins, Tom [editor.] | Meredith, David [editor.] | Volk, Anja [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: MCM 2015.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
157.
Automated deduction in geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised selected papers / Francisco Botana, Pedro Quaresma (eds.).

by International Workshop on Automated Deduction in Geometry (10th : 2014 : Coimbra, Portugal) | Botana, Francisco [editor.] | Quaresma, Pedro [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: ADG 2014.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
158.
Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings / H. Kirchner, G. Levi, eds.

by Kirchner, H. (Hélène) | Levi, G. (Georgio), 1942-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1992Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
159.
Algebraic informatics : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings / Andreas Maletti (ed.).

by CAI (Conference) (6th : 2015 : Stuttgart, Germany) | Maletti, Andreas [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: CAI 2015.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
160.
CAAP '86 : 11th Colloquium on Trees in Algebra and Programming Nice, France, March 24-26, 1986 Proceedings / edited by Paul Franchi-Zannettacci.

by Franchi-Zannettacci, P. (Paul) | Franchi-Zannettacci, P. (Paul) [editor.].

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

Powered by Koha