Your search returned 1343 results.

Not what you expected? Check for suggestions
E-BOOKS
Computation Theory and Logic [electronic resource] / edited by Egon Börger.

by Börger, Egon [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 270Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Other title: In Memory of Dieter Rötting. 24.8.1937 - 4.6.1984. On the Occasion of the 50th Anniversary of His Birth.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Automata, Languages and Programming [electronic resource] : 20th International Colloquium, ICALP 93 Lund, Sweden, July 5–9, 1993 Proceedings / edited by Andrzej Lingas, Rolf Karlsson, Svante Carlsson.

by Lingas, Andrzej [editor.] | Karlsson, Rolf [editor.] | Carlsson, Svante [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 700Source: 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
Advanced Environments, Tools, and Applications for Cluster Computing [electronic resource] : NATO Advanced Research Workshop, IWCC 2001 Mangalia, Romania, September 1–6, 2001 Revised Papers / edited by Dan Grigoras, Alex Nicolau, Bernard Toursel, Bertil Folliot.

by Grigoras, Dan [editor.] | Nicolau, Alex [editor.] | Toursel, Bernard [editor.] | Folliot, Bertil [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2326Source: 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
High Performance Computing [electronic resource] : 4th International Symposium, ISHPC 2002 Kansai Science City, Japan, May 15–17, 2002 Proceedings / edited by Hans P. Zima, Kazuki Joe, Mitsuhisa Sato, Yoshiki Seo, Masaaki Shimasaki.

by Zima, Hans P [editor.] | Joe, Kazuki [editor.] | Sato, Mitsuhisa [editor.] | Seo, Yoshiki [editor.] | Shimasaki, Masaaki [editor.] | SpringerLink (Online service).

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

E-BOOKS
Conceptual Modeling — ER ’99 [electronic resource] : 18th International Conference on Conceptual Modeling Paris, France, November 15–18, 1999 Proceedings / edited by Jacky Akoka, Mokrane Bouzeghoub, Isabelle Comyn-Wattiau, Elisabeth Métais.

by Akoka, Jacky [editor.] | Bouzeghoub, Mokrane [editor.] | Comyn-Wattiau, Isabelle [editor.] | Métais, Elisabeth [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1728Source: 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
Computer Science Logic [electronic resource] : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers / edited by E. Börger, G. Jäger, H. Kleine Büning, S. Martini, M. M. Richter.

by Börger, E [editor.] | Jäger, G [editor.] | Kleine Büning, H [editor.] | Martini, S [editor.] | Richter, M. M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 702Source: 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
Algorithms and Data Structures [electronic resource] : Third Workshop, WADS '93 Montréal, Canada, August 11–13, 1993 Proceedings / edited by Frank Dehne, Jörg-Rüdiger Sack, Nicola Santoro, Sue Whitesides.

by Dehne, Frank [editor.] | Sack, Jörg-Rüdiger [editor.] | Santoro, Nicola [editor.] | Whitesides, Sue [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 709Source: 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] : 9th International Conference, FCT '93 Szeged, Hungary, August 23–27, 1993 Proceedings / edited by Zoltán Ésik.

by Ésik, Zoltán [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 710Source: 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
Mathematical Foundations of Computer Science 1993 [electronic resource] : 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings / edited by Andrzej M. Borzyszkowski, Stefan Sokołowski.

by Borzyszkowski, Andrzej M [editor.] | Sokołowski, Stefan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 711Source: 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
Internet Programming Languages [electronic resource] : ICCL’98 Workshop Chicago, IL, USA, May 13, 1998 Proceedings / edited by Henri E. Bal, Boumediene Belkhouche, Luca Cardelli.

by Bal, Henri E [editor.] | Belkhouche, Boumediene [editor.] | Cardelli, Luca [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1686Source: 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
Mathematical Models for the Semantics of Parallelism [electronic resource] : Advanced School Rome, Italy, September 24 – October 1, 1986 Proceedings / edited by Marisa Venturini Zilli.

by Zilli, Marisa Venturini [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 280Source: 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
Graph Reduction [electronic resource] : Proceedings of a Workshop Santa Fé, New Mexico, USA September 29–October 1, 1986 / edited by Joseph H. Fasel, Robert M. Keller.

by Fasel, Joseph H [editor.] | Keller, Robert M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 279Source: 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
CONCUR'93 [electronic resource] : 4th Intrenational Conference on Concurrency Theory Hildesheim, Germany, August 23–26, 1993 Proceedings / edited by Eike Best.

by Best, Eike [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 715Source: 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
Trends, Techniques, and Problems in Theoretical Computer Science [electronic resource] : 4th International Meeting of Young Computer Scientists Smolenice, Czechoslovakia, October 13–17, 1986 Selected Contributions / edited by Alica Kelemenová, Jozef Kelemen.

by Kelemenová, Alica [editor.] | Kelemen, Jozef [editor.] | SpringerLink (Online service).

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

E-BOOKS
DNA Computing [electronic resource] : 7th International Workshop on DNA-Based Computers, DNA7 Tampa, FL, USA, June 10–13, 2001 Revised Papers / edited by Nataša Jonoska, Nadrian C. Seeman.

by Jonoska, Nataša [editor.] | Seeman, Nadrian C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2340Source: 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
Distributed Algorithms [electronic resource] : 7th International Workshop, WDAG'93 Lausanne, Switzerland, September 27–29, 1993 Proceedings / edited by André Schiper.

by Schiper, André [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 725Source: 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
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Seventh Conference, Pune, India December 17–19, 1987 Proceedings / edited by Kesav V. Nori.

by Nori, Kesav V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 287Source: 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
Automata Implementation [electronic resource] : Third International Workshop on Implementing Automata, WIA’98 Rouen, France, September 17–19, 1998 Revised Papers / edited by Jean-Marc Champarnaud, Djelloul Ziadi, Denis Maurel.

by Champarnaud, Jean-Marc [editor.] | Ziadi, Djelloul [editor.] | Maurel, Denis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1660Source: 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
Hybrid Systems [electronic resource] / edited by Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel.

by Grossman, Robert L [editor.] | Nerode, Anil [editor.] | Ravn, Anders P [editor.] | Rischel, Hans [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 736Source: 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
New Directions in Rough Sets, Data Mining, and Granular-Soft Computing [electronic resource] : 7th International Workshop, RSFDGrC’99, Yamaguchi, Japan, November 9-11, 1999. Proceedings / edited by Ning Zhong, Andrzej Skowron, Setsuo Ohsuga.

by Zhong, Ning [editor.] | Skowron, Andrzej [editor.] | Ohsuga, Setsuo [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha