Your search returned 1795 results.

Not what you expected? Check for suggestions
E-BOOKS
A Tight, Practical Integration of Relations and Functions [electronic resource] / by Harold Boley.

by Boley, Harold [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1712Source: 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
The Generic Development Language Deva [electronic resource] : Presentation and Case Studies / by Matthias Weber, Martin Simons, Christine Lafontaine.

by Weber, Matthias [author.] | Simons, Martin [author.] | Lafontaine, Christine [author.] | SpringerLink (Online service).

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

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

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

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

Place hold Log in to add tags
E-BOOKS
Correct Hardware Design and Verification Methods [electronic resource] : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings / edited by Laurence Pierre, Thomas Kropf.

by Pierre, Laurence [editor.] | Kropf, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1703Source: 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
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES’ 98 Kloster Irsee, Germany, March 27–31, 1998 Selected Papers / edited by Thorsten Altenkirch, Bernhard Reus, Wolfgang Naraschewski.

by Altenkirch, Thorsten [editor.] | Reus, Bernhard [editor.] | Naraschewski, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1657Source: 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
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
Mathematical Foundations of Computer Science 1989 [electronic resource] : Porabka-Kozubnik, Poland August 28 – September 1, 1989 Proceedings / edited by Antoni Kreczmar, Grazyna Mirkowska.

by Kreczmar, Antoni [editor.] | Mirkowska, Grazyna [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Graph-Grammars and Their Application to Computer Science [electronic resource] : 3rd International Workshop Warrenton, Virginia, USA, December 2–6, 1986 / edited by Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld.

by Ehrig, Hartmut [editor.] | Nagl, Manfred [editor.] | Rozenberg, Grzegorz [editor.] | Rosenfeld, Azriel [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Fundamentals of Computation Theory [electronic resource] : International Conference FCT '89 Szeged, Hungary, August 21–25, 1989 Proceedings / edited by J. Csirik, J. Demetrovics, F. Gécseg.

by Csirik, J [editor.] | Demetrovics, J [editor.] | Gécseg, F [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
STACS 88 [electronic resource] : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings / edited by Robert Cori, Martin Wirsing.

by Cori, Robert [editor.] | Wirsing, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 294Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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
Logical Aspects of Computational Linguistics [electronic resource] : 4th International Conference, LACL 2001 Le Croisic, France, June 27–29, 2001 Proceedings / edited by Philippe Groote, Glyn Morrill, Christian Retoré.

by Groote, Philippe [editor.] | Morrill, Glyn [editor.] | Retoré, Christian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2099Source: 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
Machines, Languages, and Complexity [electronic resource] : 5th International Meeting of Young Computer Scientists Smolenice, Czechoslovakia, November 14–18, 1988 Selected Contributions / edited by J. Dassow, J. Kelemen.

by Dassow, J [editor.] | Kelemen, J [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Eurocal '87 [electronic resource] : European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings / edited by James H. Davenport.

by Davenport, James H [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 13th Conference Bombay, India, December 15–17, 1993 Proceedings / edited by Rudrapatna K. Shyamasundar.

by Shyamasundar, Rudrapatna K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 761Source: 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
Deductive and Object-Oriented Databases [electronic resource] : Third International Conference, DOOD'93 Phoenix, Arizona, USA, December 6–8, 1993 Proceedings / edited by Stefano Ceri, Katsumi Tanaka, Shalom Tsur.

by Ceri, Stefano [editor.] | Tanaka, Katsumi [editor.] | Tsur, Shalom [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 760Source: 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
Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets [electronic resource] / by Dirk A. Taubner.

by Taubner, Dirk A [author.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Foundations of Equational Logic Programming [electronic resource] / edited by Steffen Hölldobler.

by Hölldobler, Steffen [editor.] | SpringerLink (Online service).

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

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

Powered by Koha