Your search returned 1401 results.

Not what you expected? Check for suggestions
E-BOOKS
Reachability Problems [electronic resource] : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings / edited by Matthew Hague, Igor Potapov.

by Hague, Matthew [editor.] | Potapov, Igor [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10506 | Lecture Notes in Computer Science ; 10506Edition: 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
Languages and Compilers for Parallel Computing [electronic resource] : 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers / edited by James Brodman, Peng Tu.

by Brodman, James [editor.] | Tu, Peng [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 8967 | Lecture Notes in Computer Science ; 8967Edition: 1st ed. 2015.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, 2015Online 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
Verification and Evaluation of Computer and Communication Systems [electronic resource] : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings / edited by Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar.

by Barkaoui, Kamel [editor.] | Boucheneb, Hanifa [editor.] | Mili, Ali [editor.] | Tahar, Sofiène [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10466 | Lecture Notes in Computer Science ; 10466Edition: 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
BOOKS
Statistical Mechanics Entropy, Order Parameters, and Complexity

by Sethna, James P.

Series: Oxford master series in physicsEdition: 2nd edition;Language: English Language: English Publication details: United Kingdom Oxford University Press 2021Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 42, Shelf No: 12 Call number: 536 SET.
Lists:

Place hold Log in to add tags
BOOKS
The Fokker-Planck equation methods of solution and applications

by Risken, H.

Edition: 2nd edMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer-Verlag 1996Availability: No items available : Checked out (1).
Lists:

Place hold Log in to add tags
E-BOOKS
Computer Simulations in Condensed Matter Systems: From Materials to Chemical Biology Volume 2 [electronic resource] / edited by Mauro Ferrario, Giovanni Ciccotti, Kurt Binder.

by Ferrario, Mauro [editor.] | Ciccotti, Giovanni [editor.] | Binder, Kurt [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 704Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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
Quantized Vortex Dynamics and Superfluid Turbulence [electronic resource] / edited by C. F. Barenghi, R. J. Donnelly, W. F. Vinen.

by Barenghi, C. F [editor.] | Donnelly, R. J [editor.] | Vinen, W. F [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 571Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Nonlinear Coherent Structures in Physics and Biology [electronic resource] : Proceedings of the 7th Interdisciplinary Workshop Held at Dijon, France, 4–6 June 1991 / edited by M. Remoissenet, M. Peyrand.

by Remoissenet, M [editor.] | Peyrand, M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 393Source: 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
Nonlinear Physics of Complex Systems [electronic resource] : Current Status and Future Trends / edited by Jürgen Parisi, Stefan C. Müller, Walter Zimmermann.

by Parisi, Jürgen [editor.] | Müller, Stefan C [editor.] | Zimmermann, Walter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 476Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Wireless Sensor Networks [electronic resource] : First EuropeanWorkshop, EWSN 2004, Berlin, Germany, January 19-21, 2004. Proceedings / edited by Holger Karl, Adam Wolisz, Andreas Willig.

by Karl, Holger [editor.] | Wolisz, Adam [editor.] | Willig, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2920Source: 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): .

Place hold Log in to add tags
E-BOOKS
Mobile and Ubiquitous Information Access [electronic resource] : Mobile HCI 2003 International Workshop, Udine, Italy, September 8, 2003, Revised and Invited Papers / edited by Fabio Crestani, Mark Dunlop, Stefano Mizzaro.

by Crestani, Fabio [editor.] | Dunlop, Mark [editor.] | Mizzaro, Stefano [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2954Source: 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): .

Place hold Log in to add tags
E-BOOKS
Metainformatics [electronic resource] : International Symposium, MIS 2003, Graz, Austria, September 17-20, 2003. Revised Papers / edited by David L. Hicks.

by Hicks, David L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3002Source: 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): .

Place hold Log in to add tags
E-BOOKS
Grid and Cooperative Computing [electronic resource] : Second International Workshop, GCC 2003, Shanhai, China, December 7-10, 2003, Revised Papers, Part I / edited by Minglu Li, Xian-He Sun, Qian-ni Deng, Jun Ni.

by Li, Minglu [editor.] | Sun, Xian-He [editor.] | Deng, Qian-ni [editor.] | Ni, Jun [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3032Source: 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): .

Place hold Log in to add tags
E-BOOKS
Knowledge Management in Electronic Government [electronic resource] : 5th IFIP International Working Conference, KMGov 2004, Krems, Austria, May 17-19, 2004. Proceedings / edited by Maria A. Wimmer.

by Wimmer, Maria A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3035Source: 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): .

Place hold Log in to add tags
E-BOOKS
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings / edited by Kurt Jensen, Andreas Podelski.

by Jensen, Kurt [editor.] | Podelski, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2988Source: 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): .

Place hold Log in to add tags
E-BOOKS
Model Checking Software [electronic resource] : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings / edited by Susanne Graf, Laurent Mounier.

by Graf, Susanne [editor.] | Mounier, Laurent [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2989Source: 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): .

Place hold Log in to add tags
E-BOOKS
Software Architecture [electronic resource] : First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004. Proceedings / edited by Flavio Oquendo, Brian C. Warboys, Ron Morrison.

by Oquendo, Flavio [editor.] | Warboys, Brian C [editor.] | Morrison, Ron [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3047Source: 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): .

Place hold Log in to add tags
E-BOOKS
Program Development in Computational Logic [electronic resource] : A Decade of Research Advances in Logic-Based Program Development / edited by Maurice Bruynooghe, Kung-Kiu Lau.

by Bruynooghe, Maurice [editor.] | Lau, Kung-Kiu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3049Source: 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): .

Place hold Log in to add tags
E-BOOKS
Natural Language Processing and Information Systems [electronic resource] : 9th International Conference on Applications of Natural Language to Information Systems, NLDB 2004, Salford, UK, June 23-25, 2004. Proceedings / edited by Farid Meziane, Elisabeth Métais.

by Meziane, Farid [editor.] | Métais, Elisabeth [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3136Source: 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): .

Place hold Log in to add tags
E-BOOKS
Software Reuse: Methods, Techniques, and Tools [electronic resource] : 8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2004. Proceedings / edited by Jan Bosch, Charles Krueger.

by Bosch, Jan [editor.] | Krueger, Charles [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3107Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004Online 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