Your search returned 18639 results.

Not what you expected? Check for suggestions
BOOKS
Response of the nuclear system to external forces : proceedings, V La Rabida International Summer School, Spain, 1994 : (LNP 441)

by Arias, J M. Ed | Gallardo, M I. Ed | Lozano, M. Ed.

Series: Lecture notes in physics ; 00441Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 37, Shelf No: 22 Call number: 53 LNP.

BOOKS
Logical Foundations for Cognitive Agents : (AI) Contributions in honor of Ray Reiter

by Levesque, Hector J. Ed | Pirri, Fiora. Ed.

Series: Artificial IntelligenceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 8 Call number: 681.3 LEV.

BOOKS
People and Ideas in Theoretical Computer Science

by Calude, C S. Ed.

Series: Springer Series in Disc. Maths. & Theoretical Comp.ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Singapore ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 42 Call number: 681.3 CAL.

BOOKS
Logic Programming Paradigm : 25 Year Perspective (AI)

by Apt, K R., Marek, V W., Ed | Truszczynski, Mirek., Ed | Warren, David S. Ed.

Series: Artificial IntelligenceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 38 Call number: 681.3 APT.

BOOKS
Principles of Program Analysis

by Nielson, Flemming | Nielson, Hanne Riis | Hankin, Chris.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 49 Shelf No: 13 Call number: 681.3 NIE.

BOOKS
Complexity and Approximation : Combinatorial Optimization Problems and their approximability properties

by Ausiello;Crescenzi;Gambosi | Kann; Marchetti-Spaccamela | Protasi.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:35 Shelf No:47 Call number: 519.3 AUS.

BOOKS
Geometrical Methods in the Theory of Ordinary Differential Equations

by Arnold, V I.

Edition: Ist & 2ndMaterial type: Text Text;Language: ; Format: print Publication details: New York ; Springer ; 1983; 1988Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 33, Shelf No: 29 Call number: 517.91 ARN.

BOOKS
Pattern Formation in continuous and coupled systems, Survey Volume. (IMA 115)

by Golubitsky, Martin. Ed | Luss, Dan. Ed | Strogatz, Steven H. Ed.

Series: IMA Volumes in Mathematics and its Applications, Vol. 115Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 38, Shelf No: 13 Call number: 530.1 GOL.

BOOKS
Noncommutative Algebra

by Farb, Benson | Dennis, R Keith.

Series: Graduate texts in mathematics ; 0144Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 30, Shelf No: 47 Call number: 514.7 FAR.

BOOKS
Foundations of Software Technology and Theoretical Computer Science, Proceedings of the 17th Conference, Kharagpur, India, 1997

by Ramesh, S. Ed | Sivakumar, G. Ed.

Series: Lecture notes in computer science ; 01346Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 20 Call number: 681 LNCS.

BOOKS
Foundations of Software Technology and Theoretical Computer Science, Proceedings,14th Conference, Madras, India, 1994

by Thiagarajan, P S. Ed.

Series: Lecture notes in computer science ; 00880Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Multiple Copies Section, Shelf No: 15 Call number: 681 LNCS.

BOOKS
Non-Newtonian Gravity, Search for-

by Fischbach, E | Talmadge, C L.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 38, Shelf No: 27 Call number: 530.12 FIS.

BOOKS
High-temperature superconductor thin films at microwave frequencies

by Hein, M.

Series: Springer tracts in modern physics ; 00155Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 37, Shelf No: 36 Call number: 53 STMP.

BOOKS
Mathematical Foundations of Computer Science 1998 : LNCS 1450; Proceedings, 23rd International Symposium, Brno, 1998

by Brim, Lubos., Ed | Gruska, Jozef., Ed | Zlatuska, Jiri., Ed.

Series: Lecture notes in computer science ; 01450Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS.

BOOKS
Computing and Combinatorics : Proceedings, 4th Annual International Conference, Taipei, Taiwan, 1998

by Hsu, Wen-Lian. Ed | Kao, Ming-Yang. Ed.

Series: Lecture notes in computer science ; 01449Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS.

BOOKS
Combinatorial Pattern Matching - Proceedings, 9th Annual Symposium, New Jersey, USA, 1998

by Farach-Colton, Martin. Ed.

Series: Lecture notes in computer science ; 01448Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS.

BOOKS
Randomization and Approximation Techniques in Computer Science : Proceedings, International Workshop, Bologna, 1997

by Rolim, Jose. Ed.

Series: Lecture notes in computer science ; 01269Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 19 Call number: 681 LNCS.

BOOKS
Algorithm Theory - SWAT 1998 : Proceedings 6th Skandinavian Workshop, 1998

by Arnborg, Stefan. (Ed.) | Ivansson, Lars. (Ed.).

Series: Lecture notes in computer science ; 1432Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer ; 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS.

BOOKS
Calculus with Graphing Calculators : Guided exploration with Review - Vols. 1 & 2 , Workshop, 1998

by Hastings, Nancy Baxter | Reynolds, Barbara E.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 31, Shelf No: 42 Call number: 517 BAX.

BOOKS
Monte Carlo Statistical Methods : STS

by Robert, Christian P | Casella, George.

Series: Springer Texts in StatisticsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 40, Shelf No: 25 Call number: 531.19 ROB.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha