Your search returned 25 results.

Not what you expected? Check for suggestions
1.
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 .
2.
Towards mechanized mathematical assistants : 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings / Manuel Kauers [and others] (eds.).

by Calculemus (Symposium) (14th : 2007 : Hagenberg im Mühlkreis, Austria) | Kauers, Manuel | MKM (Conference) (6th : 2007 : Hagenberg im Mühlkreis, Austria).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: Calculemus 2007 | MKM 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
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 .
4.
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 .
5.
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 .
6.
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 .
7.
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 .
8.
Applied algebra, algebraic algorithms, and error-correcting codes : 16th international symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006 : proceedings / Marc Fossorier [and others] (eds.).

by AAECC-16 (2006 : Las Vegas, Nev.) | Fossorier, Marc, 1964-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers / Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.).

by TYPES 2004 (2004 : Jouy-en-Josas, France) | Filliâtre, Jean-Christophe | Paulin-Mohring, Christine, 1962- | Werner, Benjamin.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2006Other title: TYPES 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Developments in language theory : 10th international conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006 : proceedings / Oscar H. Ibarra, Zhe Dang (eds.).

by Conference on Developments in Language Theory (10th : 2006 : 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, ©2006Other title: DLT 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday / Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.).

by Futatsugi, Kokichi | Jouannaud, Jean-Pierre | Meseguer, José | Goguen, Joseph.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote festschrift ; 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 .
12.
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 .
13.
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 .
14.
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 .
15.
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 .
16.
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 .
17.
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 .
18.
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 .
19.
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 .
20.
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 .

Powered by Koha