Your search returned 246 results.

Not what you expected? Check for suggestions
BOOKS
Perturbation Methods, Bifurcation Theory and Computer Algebra

by Rang, Richard H | Armbruster, Dieter.

Series: Applied Mathematical Sciences, V.65Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 34, Shelf No: 1 Call number: 517.95 RAN.

BOOKS
Groups and Computation II Workshop, Rutgers University, USA, 1995

by Finkelstein, Larry. Ed | Kantor, William, M. Ed.

Series: Discrete Mathematics and Theoretical Computer Science, V.28Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; AMS ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 FIN.

BOOKS
Groups and Computation : Workshop, Rutgers Univ., USA, 1991

by Finkelstein, Larry. Ed | Kantor, William M. Ed.

Series: Discrete Mathematics and Theoretical Computer Science,Vol.11Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; AMS ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 FIN.

BOOKS
Fundamental problems of Algorithmic Algebra

by Yap, Chee-Keng.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Oxford ; OUP ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 29, Shelf No: 15 Call number: 512 YAP.

BOOKS
Ideals, Varieties, and Algorithms : Introductrion to Computational Algebraic Geometry and Commutative Algebra

by Cox, David | Little, John | O'Shea, Donal.

Series: Undergraduate Texts in MathematicsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 31, Shelf No: 38 Call number: 516 COX.

BOOKS
Mathematics for Computer Algebra

by Mignotte, Maurice.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 29, Shelf No: 10 Call number: 512 MIG.

BOOKS
Computational methods in commutative algebra and algebraic geometry

by Vasconcelos, Wolmer V., 1937- | Eisenbud, David.

Series: Algorithms and computation in mathematics ; v. 2Edition: Corr. 3rd printing.Material type: Text Text;Language: ; Format: print Publication details: Berlin, New York : ; Springer ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 30, Shelf No: 3 Call number: 512.64 VAS.

BOOKS
Ideals, varieties, and algorithms An introduction to computational algebraic geometry and commutative algebra

by Cox, David | Little, John | O'shea, Donal.

Series: Undergraduate texts in mathematicsEdition: 2Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 31, Shelf No: 38 Call number: 516 COX.

E-BOOKS
Probabilistic Group Theory, Combinatorics, and Computing [electronic resource] : Lectures from the Fifth de Brún Workshop / edited by Alla Detinko, Dane Flannery, Eamonn O'Brien.

by Detinko, Alla [editor.] | Flannery, Dane [editor.] | O'Brien, Eamonn [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 2070Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Computational Methods and Function Theory [electronic resource] : Proceedings of a Conference, held in Valparaíso, Chile, March 13–18, 1989 / edited by Stephan Ruscheweyh, Edward B. Saff, Luis C. Salinas, Richard S. Varga.

by Ruscheweyh, Stephan [editor.] | Saff, Edward B [editor.] | Salinas, Luis C [editor.] | Varga, Richard S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1435Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Algebraic Logic and Universal Algebra in Computer Science [electronic resource] : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings / edited by Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi.

by Bergman, Clifford H [editor.] | Maddux, Roger D [editor.] | Pigozzi, Don L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 425Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Computer Algebra in Scientific Computing [electronic resource] : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov.

by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Mayr, Ernst W [editor.] | Vorozhtsov, Evgenii V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8136Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish.

by Gonthier, Georges [editor.] | Norrish, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8307Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Theory and Applications of Relational Structures as Knowledge Instruments [electronic resource] : COST Action 274, TARSKI. Revised Papers / edited by Harrie Swart, Ewa Orłowska, Gunther Schmidt, Marc Roubens.

by Swart, Harrie [editor.] | Orłowska, Ewa [editor.] | Schmidt, Gunther [editor.] | Roubens, Marc [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2929Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Finite Fields and Applications [electronic resource] : 7th International Conference, Fq7, Toulouse, France, May 5-9, 2003. Revised Papers / edited by Gary L. Mullen, Alain Poli, Henning Stichtenoth.

by Mullen, Gary L [editor.] | Poli, Alain [editor.] | Stichtenoth, Henning [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2948Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Relational and Kleene-Algebraic Methods in Computer Science [electronic resource] : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers / edited by Rudolf Berghammer, Bernhard Möller, Georg Struth.

by Berghammer, Rudolf [editor.] | Möller, Bernhard [editor.] | Struth, Georg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3051Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Algorithmic Number Theory [electronic resource] : 6th International Symposium, ANTS-VI, Burlington, VT, USA, June 13-18, 2004, Proceedings / edited by Duncan Buell.

by Buell, Duncan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3076Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Rewriting Techniques and Applications [electronic resource] : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings / edited by Vincent Oostrom.

by Oostrom, Vincent [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3091Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Algebraic Methodology and Software Technology [electronic resource] : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings / edited by Charles Rattray, Savitri Maharaj, Carron Shankland.

by Rattray, Charles [editor.] | Maharaj, Savitri [editor.] | Shankland, Carron [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3116Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Computational Neuroscience: Cortical Dynamics [electronic resource] : 8th International Summer School on Neural Nets, Erice, Italy, October 31-November 6, 2003, Revised Lectures / edited by Péter Érdi, Anna Esposito, Maria Marinaro, Silvia Scarpetta.

by Érdi, Péter [editor.] | Esposito, Anna [editor.] | Marinaro, Maria [editor.] | Scarpetta, Silvia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3146Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha