Your search returned 10753 results.

Not what you expected? Check for suggestions
E-BOOKS
Correct System Design [electronic resource] : Recent Insights and Advances / edited by Ernst-Rüdiger Olderog, Bernhard Steffen.

by Olderog, Ernst-Rüdiger [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).

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

E-BOOKS
Algorithmic Learning Theory [electronic resource] : Third Workshop, ALT '92 Tokyo, Japan, October 20–22, 1992 Proceedings / edited by Shuji Doshita, Koichi Furukawa, Klaus P. Jantke, Toyaki Nishida.

by Doshita, Shuji [editor.] | Furukawa, Koichi [editor.] | Jantke, Klaus P [editor.] | Nishida, Toyaki [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 743Source: 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): .

E-BOOKS
Algorithmic Learning Theory [electronic resource] : 4th International Workshop, ALT '93 Tokyo, Japan, November 8–10, 1993 Proceedings / edited by Klaus P. Jantke, Shigenobu Kobayashi, Etsuji Tomita, Takashi Yokomori.

by Jantke, Klaus P [editor.] | Kobayashi, Shigenobu [editor.] | Tomita, Etsuji [editor.] | Yokomori, Takashi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 744Source: 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): .

E-BOOKS
Machine Learning and Data Mining in Pattern Recognition [electronic resource] : First International Workshop, MLDM’99 Leipzig, Germany, September 16–18, 1999 Proceedings / edited by Petra Perner, Maria Petrou.

by Perner, Petra [editor.] | Petrou, Maria [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1715Source: 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): .

E-BOOKS
Active Technologies for Network and Service Management [electronic resource] : 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM’99 Zurich, Switzerland, October 11–13, 1999 Proceedings / edited by Rolf Stadler, Burkhard Stiller.

by Stadler, Rolf [editor.] | Stiller, Burkhard [editor.] | SpringerLink (Online service).

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

E-BOOKS
Intelligent Perceptual Systems [electronic resource] : New Directions in Computational Perception / edited by Vito Roberto.

by Roberto, Vito [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 745Source: 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): .

E-BOOKS
Advances in Learning Classifier Systems [electronic resource] : 4th International Workshop, IWLCS 2001 San Francisco, CA, USA, July 7–8, 2001 Revised Papers / edited by Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson.

by Lanzi, Pier Luca [editor.] | Stolzmann, Wolfgang [editor.] | Wilson, Stewart W [editor.] | SpringerLink (Online service).

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

E-BOOKS
Cooperative Buildings. Integrating Information, Organizations, and Architecture [electronic resource] : Second International Workshop, CoBuild’99, Pittsburgh, PA, USA, October 1-2, 1999. Proceedings / edited by Norbert A. Streitz, Jane Siegel, Volker Hartkopf, Shin’ichi Konomi.

by Streitz, Norbert A [editor.] | Siegel, Jane [editor.] | Hartkopf, Volker [editor.] | Konomi, Shin’ichi [editor.] | SpringerLink (Online service).

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

E-BOOKS
Web Information Systems – WISE 2006 [electronic resource] : 7th International Conference on Web Information Systems Engineering, Wuhan, China, October 23-26, 2006. Proceedings / edited by Karl Aberer, Zhiyong Peng, Elke A. Rundensteiner, Yanchun Zhang, Xuhui Li.

by Aberer, Karl [editor.] | Peng, Zhiyong [editor.] | Rundensteiner, Elke A [editor.] | Zhang, Yanchun [editor.] | Li, Xuhui [editor.] | SpringerLink (Online service).

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

E-BOOKS
Interactive Distributed Multimedia Systems and Telecommunication Services [electronic resource] : 6th International Workshop, IDMS’99 Toulouse, France, October 12–15, 1999 Proceedings / edited by Michel Diaz, Philippe Owezarski, Patrick Sénac.

by Diaz, Michel [editor.] | Owezarski, Philippe [editor.] | Sénac, Patrick [editor.] | SpringerLink (Online service).

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

E-BOOKS
ESEC '87 [electronic resource] : 1st European Software Engineering Conference Strasbourg, France, September 9–11, 1987 Proceedings / edited by Howard Nichols, Dan Simpson.

by Nichols, Howard [editor.] | Simpson, Dan [editor.] | SpringerLink (Online service).

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

E-BOOKS
FM’99 — Formal Methods [electronic resource] : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II / edited by Jeannette M. Wing, Jim Woodcock, Jim Davies.

by Wing, Jeannette M [editor.] | Woodcock, Jim [editor.] | Davies, Jim [editor.] | SpringerLink (Online service).

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

E-BOOKS
FM’99 — Formal Methods [electronic resource] : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I / edited by Jeannette M. Wing, Jim Woodcock, Jim Davies.

by Wing, Jeannette M [editor.] | Woodcock, Jim [editor.] | Davies, Jim [editor.] | SpringerLink (Online service).

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

E-BOOKS
Artificial Perception and Music Recognition [electronic resource] / edited by Andranick S. Tanguiane.

by Tanguiane, Andranick S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 746Source: 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): .

E-BOOKS
Symbolic and Quantitative Approaches to Reasoning and Uncertainty [electronic resource] : European Conference ECSQARU '93 Granada, Spain, November 8–10, 1993 Proceedings / edited by Michael Clarke, Rudolf Kruse, Serafín Moral.

by Clarke, Michael [editor.] | Kruse, Rudolf [editor.] | Moral, Serafín [editor.] | SpringerLink (Online service).

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

E-BOOKS
Parallel Symbolic Computing: Languages, Systems, and Applications [electronic resource] : US/Japan Workshop Cambridge, MA, USA, October 14–17, 1992 Proceedings / edited by Robert H. Halstead, Takayasu Ito.

by Halstead, Robert H [editor.] | Ito, Takayasu [editor.] | SpringerLink (Online service).

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

E-BOOKS
Fundamentals of Computation Theory [electronic resource] : International Conference FCT '87 Kazan, USSR, June 22–26, 1987 Proceedings / edited by Lothar Budach, Rais Gatič Bukharajev, Oleg Borisovič Lupanov.

by Budach, Lothar [editor.] | Bukharajev, Rais Gatič [editor.] | Lupanov, Oleg Borisovič [editor.] | SpringerLink (Online service).

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

E-BOOKS
Electronic Dictionaries and Automata in Computational Linguistics [electronic resource] : LITP Spring School on Theoretical Computer Science Saint-Pierre d'Oléron, France, May 25–29, 1987 Proceedings / edited by Maurice Gross, Dominique Perrin.

by Gross, Maurice [editor.] | Perrin, Dominique [editor.] | SpringerLink (Online service).

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

E-BOOKS
Automated and Algorithmic Debugging [electronic resource] : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings / edited by Peter A. Fritzson.

by Fritzson, Peter A [editor.] | SpringerLink (Online service).

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

E-BOOKS
Spatio-Temporal Image Processing [electronic resource] : Theory and Scientific Applications / edited by Bernd Jähne.

by Jähne, Bernd [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha