IST Austria Library

Your search returned 16 results.

Not what you expected? Check for suggestions
1.
The Mathematica GuideBook for Symbolics [electronic resource] / by Michael Trott.

by Trott, Michael [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2006Online 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.
Computer Algebra Recipes [electronic resource] : An Introductory Guide to the Mathematical Models of Science / by Richard H. Enns, George C. McGuire.

by Enns, Richard H [author.] | McGuire, George C [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2006Online 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.
Computer Algebra Recipes [electronic resource] : An Advanced Guide to Scientific Modeling / by Richard H. Enns, George C. McGuire.

by Enns, Richard H [author.] | McGuire, George C [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 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
4.
Optimization—Theory and Practice [electronic resource] / by Wilhelm Forst, Dieter Hoffmann.

by Forst, Wilhelm [author.] | Hoffmann, Dieter [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 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
5.
Relational Methods in Computer Science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, the Netherlands, October 1621, 2001 Revised Papers / edited by Harrie C.M. Swart.

by Swart, Harrie C. M.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2002Online 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.
Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement / edited by Werner Kuich, George Rahonis.

by Kuich, Werner, 1941- | Rachōnēs, Geōrgios, 1965-.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2011Online 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.
Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers / Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.).

by International Workshop on Automated Deduction in Geometry (8th : 2010 : Munich, Germany) | Schreck, Pascal | Narboux, Julien | Richter-Gebert, Jürgen, 1963-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2011Other title: ADG 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
8.
Combinatorial algorithms : 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, revised selected papers / Costas S. Iliopoulos, William F. Smyth (eds.).

by International Workshop on Combinatorial Algorithms (22nd : 2011 : Victoria, B.C.) | Iliopoulos, C. S. (Costas S.) | Smyth, Bill.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2011Other title: IWOCA 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
9.
Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / Jean-Pierre Jouannaud, Zhong Shao (eds.).

by CPP (Conference) (1st : 2011 : Kʻen-ting, Taiwan) | Jouannaud, Jean-Pierre | Shao, Zhong, 1968-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2011Online 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.
Principles of distributed systems : 15th international conference, OPODIS 2011, Toulouse, France, December 13-16, 2011 : proceedings / Antonio Fernández Anta, Giuseppe Lipari, Matthieu Roy (eds.).

by OPODIS (Conference) (15th : 2011 : Toulouse, France) | Anta, Antonio Fernández | Lipari, Giuseppe, 1971- | Roy, Matthieu.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2011Other title: OPODIS 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
11.
Algebraic and numeric biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised selected papers / Katsuhisa Horimoto, Masahiko Nakatsui, Nikolaj Popov (eds.).

by ANB 2010 (2010 : Hagenberg im Mühlkreis, Austria) | Horimoto, Katsuhisa | Nakatsui, Masahiko | Popov, Nikolaj.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: ANB 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
12.
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
13.
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
14.
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
15.
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
16.
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