Refine your search

Your search returned 28 results.

Sort
Results
Computer algebra : European computer algebra conference, EUROCAM 82, Marseille, France, 5-7 Apr., 1982 / edited by Jacques Calmet

by European computer algebra conference (1982 : Marseille, France) | .

Series: Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1982Availability: Items available for loan: 1 Call number: 681.3:512 Eur:82.

Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop, Oxford, UK, Apr. 10-14, 2000 / edited by Roland Backhouse, Roy Crole and Jeremy Gibbons

by | .

Series: Edition: Language: English Publication details: Berlin ; Springer, ; 2002Availability: Items available for loan: 1 Call number: 681.3.06:512 Alg:00.

Computer algebra : European computer algebra conference, EUROCAL '83, 2nd, London, England, Mar.29-30, 1983 / edited by J.A. van Hulzen

by European computer algebra conference (2nd : 1983 : London, England) | .

Series: Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1983Availability: Items available for loan: 1 Call number: 681.3:512 Eur:2:83.

Computer algebra : systems and algorithms for algebraic computation / translated from the French by A. Davenport and J.H. Davenport

by Davenport, J.H | Siret, Y | Tournier, E | .

Series: Edition: Language: English Publication details: London ; Academic Press, ; 1988Availability: Items available for loan: 1 Call number: 512:681.3 Dav.

EUROCAL 87 : European conference on computer algebra : proceedings, Leipzig, GDR, June 2-5, 1987 / edited by J.H. Davenport

by European conference on computer algebra (1987 : Leipzig, GDR) | .

Series: Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1989Availability: Items available for loan: 1 Call number: 681.3:512 Eur:87.

Fundamentals of algebraic specification : equations and initial semantics

by Ehrig, H | Mahr, B | .

Series: Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1985Availability: Items available for loan: 1 Call number: 681.3.06:519.4 Ehr-1.

Algebraic methods : theory, tools and applications / edited by M. Wirsing and J.A. Bergstra

by | .

Series: Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1989Availability: Items available for loan: 1 Call number: 681.3:512.8 Alg:1:87.

EUROCAL 85 : europeean conference on computer algebra : proceedings, Linz, Austria, Apr.1-3, 1985 / edited by Bruno Buchberger

by Europeean conference on computer algebra (1985 : Linz, Austria) | .

Series: Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1985Availability: Items available for loan: 1 Call number: 681.3:512 Eur:85-1.

EUROCAL 85 : European conference on computer algebra : proceedings, Linz, Austria, Apr.1-3, 1985 / edited by Bob F. Caviness

by European conference on computer algebra (1985 : Linz, Austria) | .

Series: Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1985Availability: Items available for loan: 1 Call number: 681.3:512 Eur:85-2.

Computer algebra and differential equations

by Tournier, E | .

Series: Edition: Language: English Publication details: London ; : Academic Press, n.d. ; Availability: Items available for loan: 1 Call number: 512:681.3 Tou.

Pages

Powered by Koha