Your search returned 451 results.

Not what you expected? Check for suggestions
E-BOOKS
Automata, Languages and Programming [electronic resource] : 10th Colloquium Barcelona, Spain, July 18–22, 1983 / edited by Josep Diaz.

by Diaz, Josep [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 154Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1983Online 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
Information Security and Privacy [electronic resource] : 5th Australasian Conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000. Proceedings / edited by E. P. Dawson, A. Clark, Colin Boyd.

by Dawson, E. P [editor.] | Clark, A [editor.] | Boyd, Colin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1841Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
SPIN Model Checking and Software Verification [electronic resource] : 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings / edited by Klaus Havelund, John Penix, Willem Visser.

by Havelund, Klaus [editor.] | Penix, John [editor.] | Visser, Willem [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1885Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
Stochastic Algorithms: Foundations and Applications [electronic resource] : International Symposium, SAGA 2001 Berlin, Germany, December 13–14, 2001 Proceedings / edited by Kathleen Steinhöfel.

by Steinhöfel, Kathleen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2264Source: 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
Spatial Information Theory A Theoretical Basis for GIS [electronic resource] : International Conference COSIT '95 Semmering, Austria, September 21–23, 1995 Proceedings / edited by Andrew U. Frank, Werner Kuhn.

by Frank, Andrew U [editor.] | Kuhn, Werner [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 988Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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 2002 [electronic resource] : 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings / edited by Krzysztof Diks, Wojciech Rytter.

by Diks, Krzysztof [editor.] | Rytter, Wojciech [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2420Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Frontiers of Combining Systems [electronic resource] : 4th International Workshop, FroCoS 2002 Santa Margherita Ligure, Italy, April 8–10, 2002 Proceedings / edited by Alessandro Armando.

by Armando, Alessandro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2309Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Algorithms and Computation [electronic resource] : Third International Symposium, ISAAC'92 Nagoya, Japan, December 16–18, 1992 Proceedings / edited by Toshihide Ibaraki, Yasuyoshi Inagaki, Kazuo Iwama, Takao Nishizeki, Masafumi Yamashita.

by Ibaraki, Toshihide [editor.] | Inagaki, Yasuyoshi [editor.] | Iwama, Kazuo [editor.] | Nishizeki, Takao [editor.] | Yamashita, Masafumi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 650Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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
Methodologies for Knowledge Discovery and Data Mining [electronic resource] : Third Pacific-Asia Conference, PAKDD-99 Beijing, China, April 26–28, 1999 Proceedings / edited by Ning Zhong, Lizhu Zhou.

by Zhong, Ning [editor.] | Zhou, Lizhu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1574Source: 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
Software Engineering Education [electronic resource] : 8th SEI CSEE Conference New Orleans, LA, USA, March 29–April 1, 1995 Proceedings / edited by Rosalind L. Ibrahim.

by Ibrahim, Rosalind L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 895Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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
Algebraic Methodology and Software Technology [electronic resource] : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings / edited by Armando M. Haeberer.

by Haeberer, Armando M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1548Source: 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
Symbolic and Quantitative Approaches to Reasoning and Uncertainty [electronic resource] : European Conference, ECSQARU '95 Fribourg, Switzerland, July 3–5, 1995 Proceedings / edited by Christine Froidevaux, Jürg Kohlas.

by Froidevaux, Christine [editor.] | Kohlas, Jürg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 946Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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] : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1055Source: 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
Hybrid and Real-Time Systems [electronic resource] : International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings / edited by Oded Maler.

by Maler, Oded [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1201Source: 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
Automated Deduction—CADE-14 [electronic resource] : 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings / edited by William McCune.

by McCune, William [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1249Source: 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
Compiler Construction [electronic resource] : 7th International Conference, CC'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings / edited by Kai Koskimies.

by Koskimies, Kai [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1383Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Principles and Practice of Constraint Programming — CP96 [electronic resource] : Second International Conference, CP96 Cambridge, MA, USA, August 19–22, 1996 Proceedings / edited by Eugene C. Freuder.

by Freuder, Eugene C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1118Source: 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
Information Security Practice and Experience [electronic resource] : Third International Conference, ISPEC 2007, Hong Kong, China, May 7-9, 2007. Proceedings / edited by Ed Dawson, Duncan S. Wong.

by Dawson, Ed [editor.] | Wong, Duncan S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4464Source: 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
Cooperative Information Agents XI [electronic resource] : 11th International Workshop, CIA 2007, Delft, The Netherlands, September 19-21, 2007. Proceedings / edited by Matthias Klusch, Koen V. Hindriks, Mike P. Papazoglou, Leon Sterling.

by Klusch, Matthias [editor.] | Hindriks, Koen V [editor.] | Papazoglou, Mike P [editor.] | Sterling, Leon [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4676Source: 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
Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living [electronic resource] : 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part II / edited by Sigeru Omatu, Miguel P. Rocha, José Bravo, Florentino Fernández, Emilio Corchado, Andrés Bustillo, Juan M. Corchado.

by Omatu, Sigeru [editor.] | Rocha, Miguel P [editor.] | Bravo, José [editor.] | Fernández, Florentino [editor.] | Corchado, Emilio [editor.] | Bustillo, Andrés [editor.] | Corchado, Juan M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5518Source: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha