Your search returned 25 results.

Not what you expected? Check for suggestions
BOOKS
No cover image available
Handbook of theoretical computer science, B : Formal models and semantics

by Leeuwen, Jan Van., Ed.

Material type: Text Text;Language: ; Format: print Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 20, Shelf No: 13 Call number: 681.3(02) LEE.

Place hold Log in to add tags
BOOKS
Algorithms - ESA '94 Proceedings, Symposium, Netherlands, 1994

by van Leeuwen, Jan. Ed.

Series: Lecture notes in computer science ; 00855Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Computer Science Today - Recent Trends and Developments

by Leeuwen, Jan Van. Ed.

Series: Lecture notes in computer science ; 01000Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 17 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
No cover image available
Algorithms and Complexity : Handbook of Theoretical Computer Science, Vol. A

by Leeuwen, Jan Van., Ed.

Material type: Text Text Publication details: Cambridge ; CUP ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 29 Call number: 681.3(02) LEE.

Place hold Log in to add tags
E-BOOKS
Graph-Theoretic Concepts in Computer Science [electronic resource] : 28th International Workshop, WG 2002 Český Krumlov, Czech Republic, June 13–15, 2002 Revised Papers / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Luděk Kučera.

by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Kučera, Luděk [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2573Source: 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
Automata, Languages and Programming [electronic resource] : Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980 / edited by Jaco Bakker, Jan Leeuwen.

by Bakker, Jaco [editor.] | Leeuwen, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 85Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online 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] : 11th International Conference, ISAAC 2000 Taipei, Taiwan, December 18–20, 2000 Proceedings / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, D. T. Lee, Shang-Hua Teng.

by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Lee, D. T [editor.] | Teng, Shang-Hua [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1969Source: 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
Information Security [electronic resource] : Third International Workshop, ISW 2000 Wollongong, Australia, December 20–21, 2000 Proceedings / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Josef Pieprzyk, Jennifer Seberry, Eiji Okamoto.

by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Pieprzyk, Josef [editor.] | Seberry, Jennifer [editor.] | Okamoto, Eiji [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1975Source: 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
Object-Oriented Technology [electronic resource] : ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Jacques Malenfant, Sabine Moisan, Ana Moreira.

by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Malenfant, Jacques [editor.] | Moisan, Sabine [editor.] | Moreira, Ana [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1964Source: 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
Fast Software Encryption [electronic resource] : 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Bruce Schneier.

by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Schneier, Bruce [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1978Source: 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
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics [electronic resource] : International Conference IFIP TCS 2000 Sendai, Japan, August 17–19, 2000 Proceedings / edited by Jan Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito.

by Leeuwen, Jan [editor.] | Watanabe, Osamu [editor.] | Hagiya, Masami [editor.] | Mosses, Peter D [editor.] | Ito, Takayasu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1872Source: 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
The World Wide Web and Databases [electronic resource] : Third International Workshop WebDB 2000 Dallas, TX, USA, May 18–19,2000 Selected Papers / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Dan Suciu, Gottfried Vossen.

by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Suciu, Dan [editor.] | Vossen, Gottfried [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1997Source: 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
Constraints in Computational Logics [electronic resource] : Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Hubert Comon, Claude Marché, Ralf Treinen.

by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Comon, Hubert [editor.] | Marché, Claude [editor.] | Treinen, Ralf [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2002Source: 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
Distributed Algorithms [electronic resource] : 4th International Workshop Bari, Italy, September 24–26, 1990 Proceedings / edited by Jan Leeuwen, Nicola Santoro.

by Leeuwen, Jan [editor.] | Santoro, Nicola [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 486Source: 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
PARLE '91 Parallel Architectures and Languages Europe [electronic resource] : Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10–13, 1991 Proceedings / edited by Emile H. L. Aarts, Jan Leeuwen, Martin Rem.

by Aarts, Emile H. L [editor.] | Leeuwen, Jan [editor.] | Rem, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 505Source: 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
PARLE '91 Parallel Architectures and Languages Europe [electronic resource] : Volume II: Parallel Languages Eindhoven, The Netherlands, June 10–13, 1991 Proceedings / edited by Emile H. L. Aarts, Jan Leeuwen, Martin Rem.

by Aarts, Emile H. L [editor.] | Leeuwen, Jan [editor.] | Rem, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 506Source: 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
Automata, Languages and Programming [electronic resource] : 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings / edited by Fernando Orejas, Paul G. Spirakis, Jan Leeuwen.

by Orejas, Fernando [editor.] | Spirakis, Paul G [editor.] | Leeuwen, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2076Source: 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
Graph-Theoretic Concepts in Computer Science [electronic resource] : 19th International Workshop, WG '93 Utrecht, The Netherlands, June 16–18, 1993 Proceedings / edited by Jan Leeuwen.

by Leeuwen, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 790Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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 — ESA '94 [electronic resource] : Second Annual European Symposium Utrecht, The Netherlands, September 26–28, 1994 Proceedings / edited by Jan Leeuwen.

by Leeuwen, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 855Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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 Today [electronic resource] : Recent Trends and Developments / edited by Jan Leeuwen.

by Leeuwen, Jan [editor.] | SpringerLink (Online service).

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

Powered by Koha