Your search returned 18639 results.

Not what you expected? Check for suggestions
BOOKS
Logic and complexity

by Lassaigne, Richard | de Rougemont, Michel.

Series: Discrete maths and theoretical computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 8 Call number: 681.3 LAS.

BOOKS
Foundations of information and knowledge systems: 3rd international symposium, FOLKS 2004, Austria, February 2004: proceedings

by Seipel, Dietmar | Turull-Torres, Jose Maria Eds.

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

BOOKS
SOFSEM 2004: theory and practice of computer science: 30th conference on current trends in theory and practice of computer science, Merin, January, 2004, proceedings

by Van Emde Boas, Peter [et al.].

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

BOOKS
Theory and applications of satisfiability testing

by Giunchiglia, Enrico | Tacchella, Armando Eds.

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

BOOKS
Verification, model checking, and abstract interpretation; 5th international conference, VMCAI 2004 Venice, Italy January 2004: proceedings

by Steffen, Bernhard | Levi, Giorgio Eds.

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

BOOKS
Verification: theory and practice

by Dershowitz, Nachum Ed.

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

BOOKS
Vortices in unconventional superconductors and superfluids

by Huebener, R P | Schopohl, N | Volovik, G E Eds.

Series: Springer series in solid-state sciences ; 00132Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 42, Shelf No: 17 Call number: 536.312 HUE.

BOOKS
Introduction to optimization

by Pedregal, Pablo.

Series: Texts in applied mathematics; 46Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; c2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:35 Shelf No:48 Call number: 519.5 PED.

BOOKS
Primer for point and space groups

by Liboff, Richard L.

Series: Undergraduate texts in contemporary physicsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 29, Shelf No: 9 Call number: 512 LIB.

BOOKS
Numerical geometry of images theory, algorithms, and applications

by Kimmel, Ron.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 41, Shelf No: 31 Call number: 535 KIM.

BOOKS
Cell-Free: protein expression

by Swartz, James R Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 46, Shelf No: 40 Call number: 574 SWA.

BOOKS
Interfacial fluid dynamics and transport processes

by Narayanan, R. Eds | Schwabe, D Eds.

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

BOOKS
Capillarity and wetting phenomena drops, bubbles, pearls, waves

by de Gennes, Pierre-Gilles | Brochard-Wyart, Francoise | Quere, David.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 46, Shelf No: 5 Call number: 541 DEG.

BOOKS
Wave physics oscillations--solitons--chaos

by Nettel, Stephen.

Series: Advanced texts in physicsEdition: 3rd ed.Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin, New York : ; Springer-Verlag ; c2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 43, Shelf No: 6 Call number: 538 NET.

BOOKS
Kolmogorov legacy in physics a century of turbulence and complexity

by Livi, R | Vulpiani, A Eds.

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

BOOKS
New directions in statistical physics econophysics, bioinformatics, and pattern recognition

by Wille, Luc T. Ed.

Series: Springer complexityMaterial type: Text Text;Language: ; Format: print Publication details: New York ; Springer-Verlag ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 40, Shelf No: 27 Call number: 531.19 WIL.

BOOKS
Computation in living cells gene assembly in ciliates

by Ehrenfeucht, Andrzej [et al].

Series: Natural computing seriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 46, Shelf No: 28 Call number: 571.6 EHR.

BOOKS
Heterogeneous materials II: Nonlinear and breakdown properties and atomistic modeling

by Sahimi, Muhammad.

Series: Interdiscipnary applied mathematicsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: 2003; Springer Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:45 Shelf No:21 Call number: 539.2 SAH.

BOOKS
Elements of number theory

by Stillwell, John.

Series: Undergraduate texts in mathematicsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; c2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 37 Call number: 511 STI.

BOOKS
Essential mathematical biology

by Britton, Nicholas F.

Series: Springer undergraduate mathematics seriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: UK ; Springer ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 46, Shelf No: 24 Call number: 570 BRI.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha