Your search returned 53 results.

Not what you expected? Check for suggestions
21.
A Singular Introduction to Commutative Algebra [electronic resource] / by Gert-Martin Greuel, Gerhard Pfister.

by Greuel, Gert-Martin [author.] | Pfister, Gerhard [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, 2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
22.
Rational Algebraic Curves [electronic resource] : A Computer Algebra Approach / by J. Rafael Sendra, Franz Winkler, Sonia Pérez-Díaz.

by Sendra, J. Rafael [author.] | Winkler, Franz [author.] | Pérez-Díaz, Sonia [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, 2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
23.
Involution [electronic resource] : The Formal Theory of Differential Equations and its Applications in Computer Algebra / by Werner M. Seiler.

by Seiler, Werner M [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, 2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
24.
Advances in Combinatorial Mathematics [electronic resource] : Proceedings of the Waterloo Workshop in Computer Algebra 2008 / edited by Ilias S. Kotsireas, Eugene V. Zima.

by Kotsireas, Ilias S [editor.] | Zima, Eugene V [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, 2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
25.
Commutative Algebra: Constructive Methods [electronic resource] : Finite Projective Modules / by Henri Lombardi, Claude Quitté.

by Lombardi, Henri [author.] | Quitté, Claude [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
26.
The mathematics of language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings / Makoto Kanazawa [and others] (eds.).

by Mathematics of Language (12th : 2011 : Nara, Japan) | Kanazawa, Makoto, 1964-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg ; New York : Springer-Verlag Berlin Heidelberg, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
27.
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 .
28.
Logic, rationality, and interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings / Hans van Ditmarsch, Jérôme Lang, Shier Ju (eds.).

by LORI (Workshop) (3rd : 2011 : Guangzhou, China) | Ditmarsch, Hans van, 1959- | Lang, Jérôme | Ju, Shier.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg ; New York : Springer-Verlag GmbH Berlin Heidelberg, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
29.
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 .
30.
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 .
31.
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 .
32.
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 .
33.
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 .
34.
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 .
35.
Theory and Applications of Relational Structures as Knowledge Instruments : COST Action 274, TARSKI. Revised Papers / edited by Harrie Swart, Ewa Orłowska, Gunther Schmidt, Marc Roubens.

by Swart, Harrie | Orłowska, Ewa | Schmidt, Gunther, 1939- | Roubens, Marc.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
36.
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 .
37.
Parameterized and exact computation : 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised selected papers / edited by Dániel Marx, Peter Rossmanith.

by IPEC (Symposium) (6th : 2011 : Saarbrücken, Germany) | Marx, Dániel | Rossmanith, Peter.

Material type: Text Text; Format: available online remote; 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 .
38.
How the world computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe.

by Conference on Computability in Europe (8th : 2012 : Cambridge, England) | Cooper, S. B. (S. Barry) | Dawar, Anuj | Löwe, Benedikt.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: CiE 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
39.
Intelligent computer mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings / Johan Jeuring [and others] (eds.).

by AISC (Conference) (11th : 2012 : Bremen, Germany) | Jeuring, Johan, 1965- | Calculemus (Symposium) (19th : 2012 : Bremen, Germany) | DML 2012 (2012 : Bremen, Germany) | MKM 2012 (2012 : Bremen, Germany) | CICM (Conference) (5th : 2012 : Bremen, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: AISC 2012 | Calculemus 2012 | DML 2012 | MKM 2012 | CICM 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
40.
Arithmetic of finite fields : 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings / Ferruh Özbudak, Francisco Rodríguez-Henríquez (eds.).

by WAIFI (Workshop) (4th : 2012 : Bochum, Germany) | Özbudak, Ferruh | Rodríguez-Henríquez, Francisco.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: WAIFI 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha