Your search returned 606 results.

Not what you expected? Check for suggestions
E-BOOKS
Advances in Cryptology — CRYPTO’ 92 [electronic resource] : 12th Annual International Cryptology Conference Santa Barbara, California, USA August 16–20, 1992 Proceedings / edited by Ernest F. Brickell.

by Brickell, Ernest F [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Computer Science Logic [electronic resource] : 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings / edited by Jörg Flum, Mario Rodriguez-Artalejo.

by Flum, Jörg [editor.] | Rodriguez-Artalejo, Mario [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Logic and Theory of Algorithms [electronic resource] : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings / edited by Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe.

by Beckmann, Arnold [editor.] | Dimitracopoulos, Costas [editor.] | Löwe, Benedikt [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Fundamentals of Computation Theory [electronic resource] : 11th International Symposium, FCT'97 Kraków, Poland, September 1–3, 1997 Proceedings / edited by Bogdan S. Chlebus, Ludwik Czaja.

by Chlebus, Bogdan S [editor.] | Czaja, Ludwik [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Mathematical Foundations of Computer Science 1997 [electronic resource] : 22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25–29, 1997 Proceedings / edited by Igor Prívara, Peter Ružička.

by Prívara, Igor [editor.] | Ružička, Peter [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings / edited by Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger.

by Kauers, Manuel [editor.] | Kerber, Manfred [editor.] | Miner, Robert [editor.] | Windsteiger, Wolfgang [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Automata, Languages and Programming [electronic resource] : 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings / edited by Lars Arge, Christian Cachin, Tomasz Jurdziński, Andrzej Tarlecki.

by Arge, Lars [editor.] | Cachin, Christian [editor.] | Jurdziński, Tomasz [editor.] | Tarlecki, Andrzej [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira’s Scientific Legacy [electronic resource] : Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part I / edited by José Mira, José Manuel Ferrández, José R. Álvarez, Félix Paz, F. Javier Toledo.

by Mira, José [editor.] | Ferrández, José Manuel [editor.] | Álvarez, José R [editor.] | Paz, Félix [editor.] | Toledo, F. Javier [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Computability and Complexity [electronic resource] : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday / edited by Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond.

by Day, Adam [editor.] | Fellows, Michael [editor.] | Greenberg, Noam [editor.] | Khoussainov, Bakhadyr [editor.] | Melnikov, Alexander [editor.] | Rosamond, Frances [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10010 | Lecture Notes in Computer Science ; 10010Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Foundations of Software Science and Computation Structures [electronic resource] : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Javier Esparza, Andrzej S. Murawski.

by Esparza, Javier [editor.] | Murawski, Andrzej S [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10203 | Lecture Notes in Computer Science ; 10203Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
THESIS & DISSERTATION
No cover image available
Studies of ultra-relativistic macroscopic phenomena including real time correlations [HBNI Th230]

by Toshali Mitra [author].

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Chennai The Institute of Mathematical Sciences 2023Dissertation Note: Ph.D HBNIAdvisor(s): V. Ravindran.Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Call number: HBNI Th230.

Log in to add tags
BOOKS
Reality Rules II Picturing the World in Mathematics - The Frontier

by Casti, John L.

Series: Wiley Professional Paperback Series ; 2Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: New York John Wiley & Sons Inc 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 6 Call number: 51 CAS.

Place hold Log in to add tags
BOOKS
Modern Advanced Mathematics for Engineers

by Mitin, Vladimir V | Romanov, Dmitri A | Polis, Michael P.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: New York John Wiley & Sons 2001Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 15 Call number: 51 MIT.

Place hold Log in to add tags
E-BOOKS
Principles of Intuitionism [electronic resource] : Lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y. / by A. S. Troelstra.

by Troelstra, A. S [author.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Bifurcations in Hamiltonian Systems [electronic resource] : Computing Singularities by Gröbner Bases / by Henk Broer, Igor Hoveijn, Gerton Lunter, Gert Vegter.

by Broer, Henk [author.] | Hoveijn, Igor [author.] | Lunter, Gerton [author.] | Vegter, Gert [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1806Source: 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): .

Place hold Log in to add tags
E-BOOKS
Topology and Combinatorial Group Theory [electronic resource] : Proceedings of the Fall Foliage Topology Seminars held in New Hampshire 1986–1988 / edited by Paul Latiolais.

by Latiolais, Paul [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1440Source: 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): .

Place hold Log in to add tags
E-BOOKS
Wavelets and Singular Integrals on Curves and Surfaces [electronic resource] / by Guy David.

by David, Guy [author.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Spectral Theory of Random Schrödinger Operators [electronic resource] : A Genetic Introduction / by Reinhard Lang.

by Lang, Reinhard [author.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Elemental Methods in Ergodic Ramsey Theory [electronic resource] / by Randall McCutcheon.

by McCutcheon, Randall [author.] | SpringerLink (Online service).

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

Place hold Log in to add tags
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): .

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha