Your search returned 21 results.

Not what you expected? Check for suggestions
1.
Symbolic Integration I [electronic resource] : Transcendental Functions / by Manuel Bronstein.

by Bronstein, Manuel [author.] | SpringerLink (Online service).

Edition: Second Edition.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
From Vectors to Tensors [electronic resource] / by Juan Ramón Ruíz-Tolosa, Enrique Castillo.

by Ruíz-Tolosa, Juan Ramón [author.] | Castillo, Enrique [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Computability of Julia Sets [electronic resource] / by Mark Braverman, Michael Yampolsky.

by Braverman, Mark [author.] | Yampolsky, Michael [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Gröbner Bases, Coding, and Cryptography [electronic resource] / edited by Massimiliano Sala, Shojiro Sakata, Teo Mora, Carlo Traverso, Ludovic Perret.

by Sala, Massimiliano [editor.] | Sakata, Shojiro [editor.] | Mora, Teo [editor.] | Traverso, Carlo [editor.] | Perret, Ludovic [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Implementation and application of automata : 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings / Oscar H. Ibarra, Zhe Dang (eds.).

by CIAA (Conference) (8th : 2003 : Santa Barbara, Calif.) | Ibarra, Oscar H | Dang, Zhe, 1967-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Recent trends in algebraic development techniques : 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers / Jose Luiz Fiadeiro, Pierre-Yves Schobbens (eds.).

by WADT 2006 (2006 : La Roche-en-Ardenne, Belgium) | Fiadeiro, José Luiz, 1961- | Schobbens, Pierre-Yves, 1961-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2007Other title: WADT 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers / José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.).

by WADT 2004 (2004 : Barcelona, Spain) | Fiadeiro, José Luiz, 1961- | Mosses, Peter | Orejas, F. (Fernando).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: WADT 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Global optimization and constraint satisfaction : second international workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003 : revised selected papers / Christophe Jermann, Arnold Neumaier, Djamila Sam (eds.).

by COCOS 2003 (2003 : Lausanne, Switzerland) | Jermann, Christophe, 1975- | Neumaier, A | Sam, Djamila.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: COCOS 2003.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings / Jose Luiz Fiadeiro [and others] (eds.).

by CALCO (Conference) (1st : 2005 : Swansea, Wales) | Fiadeiro, José Luiz, 1961-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: CALCO 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274, TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers / Wendy MacCaull, Michael Winter, Ivo Düntsch (eds.).

by International Seminar on Relational Methods in Computer Science (8th : 2005 : St. Catharines, Ont.) | MacCaull, Wendy | Winter, Michael (Professor) | Düntsch, Ivo | European Cooperation in the Field of Scientific and Technical Research (Organization). COST Action 274 TARSKI (Project). Workshop (2005 : St. Catharines, Ont.) | International Workshop on Applications of Kleene Algebra (3rd : 2005 : St. Catharines, Ont.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Theory and applications of relational structures as knowledge instruments II : international workshops of COST Action 274, TARSKI, 2002-2005 : selected revised papers / Harrie de Swart [and others] (eds.).

by Swart, H. C. M. de | European Cooperation in the Field of Scientific and Technical Research (Organization). COST Action 274 TARSKI (Project).

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Other title: COST Action 274 TARSKI 2002-2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Computer algebra and parallelism : second international workshop, Ithaca, USA, May 9-11, 1990 : proceedings / R.E. Zippel (ed.).

by Zippel, R. E. (Richard E.), 1952-.

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 .
13.
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 .
14.
Graph drawing : 19th international symposium, GD 2011, Eindhoven, the Netherlands, September 21-23, 2011 : revised selected papers / Marc van Kreveld, Bettina Speckmann (eds.).

by GD (Symposium) (19th : 2011 : Eindhoven, Netherlands) | Kreveld, Marc van | Speckmann, Bettina.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: GD 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
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 .
16.
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 .
17.
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 .
18.
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 .
19.
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 .
20.
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 .

Powered by Koha