Your search returned 8978 results.

Not what you expected? Check for suggestions
E-BOOKS
Automata, Languages and Programming [electronic resource] : 2nd Colloquium, University of Saarbrücken July 29–August 2, 1974 / edited by Jacques Loeckx.

by Loeckx, Jacques [editor.] | SpringerLink (Online service).

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

E-BOOKS
Compiler Construction [electronic resource] : An Advanced Course / by F. L. Bauer, F. L. Remer, M. Griffiths, U. Hill, J. J. Horning, C. H. A. Koster, W. M. McKeeman, P. C. Poole, W. M. Waite ; edited by F. L. Bauer, J. Eickel.

by Bauer, F. L [author.] | Remer, F. L [author.] | Griffiths, M [author.] | Hill, U [author.] | Horning, J. J [author.] | Koster, C. H. A [author.] | McKeeman, W. M [author.] | Poole, P. C [author.] | Waite, W. M [author.] | Bauer, F. L [editor.] | Eickel, J [editor.] | SpringerLink (Online service).

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

E-BOOKS
Rewriting Techniques and Applications [electronic resource] : 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings / edited by Claude Kirchner.

by Kirchner, Claude [editor.] | SpringerLink (Online service).

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

E-BOOKS
PASCAL User Manual and Report [electronic resource] / by Kathleen Jensen, Niklaus Wirth.

by Jensen, Kathleen [author.] | Wirth, Niklaus [author.] | SpringerLink (Online service).

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

E-BOOKS
Workflow Management Systems for Process Organisations [electronic resource] / by Thomas Schäl.

by Schäl, Thomas [author.] | SpringerLink (Online service).

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

E-BOOKS
Parallel Computer Architectures [electronic resource] : Theory, Hardware, Software, Applications / edited by Arndt Bode, Mario Cin.

by Bode, Arndt [editor.] | Cin, Mario [editor.] | SpringerLink (Online service).

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

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 ScienceSource: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

BOOKS
Algorithm Theory – SWAT 2012 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings

by Fomin, Fedor V. Kaski, Petteri Ed.

Series: Lecture Notes in Computer Science ; 07357Material type: Text Text Publication details: Berlin Springer 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS.

BOOKS
Graph Theoretic Concepts in Computer Science 39th International Workshop, WG 2013, Lubeck, Germany, June 2013. Revised Papers.

by Brandstadt, Andreas Jansen, Klaus Reischuk, Rudiger Eds.

Series: Lecture Notes in Computer Science ; 08165Edition: Advanced Research in computing and software scienceMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS.

BOOKS
Logic and Its Applications 7th Indian Conference, ICLA 2017 Kanpur, India, January 5-7, 2017

by Ghosh, Sujata | Prasad, Sanjiva Eds.

Series: Lecture Notes in Computer Science ; 10119Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Germany Springer 2017Availability: Items available for loan: IMSc Library (3). Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS.

BOOKS
Logic and Its Applications: 5th Indian Conference, ICKA 2013 Chennai, India, January 2013 Proceedings

by Kamal Lodaya Eds.

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

BOOKS
Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers

by Sheng Yu, Paun Andrei Ed.

Series: Lecture notes in computer science | ; 2088Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York Springer 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS.

BOOKS
Logical foundations of Computer Science

by Artemov, Sergei | Nerode, Anil Eds.

Series: Lecture Notes in Computer Science ; 9537Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Publication details: Springer 2016Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS.

BOOKS
Progress in cryptology - Indocrypt 2012 : 13th International conference on cryptology in India, Kolkata, India, December 9-12, 2012. Proceedings / Ed. by Steven Galbraith and Mridul Nandi.

by Galbraith, Steven (Ed.) | Mridul Nandi.

Series: Lecture notes in computer science ; 7668Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Publication details: New York : Springer, 2012Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS.

BOOKS
Progress in cryptology - Indocrypt 2013 : 14th International Conference on Cryptology in India, Mumbai, India, December 7-10, 2013. Proceedings

by Paul, Goutam (Ed.) | Vaudeney, Serge (Ed.).

Series: Lecture notes in computer science ; 8250Edition: 1Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin : Springer , 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Items available for reference: IMSc Library Not for loan_1 (1). Location(s): Second Floor, Rack No:48 Shelf No:32 Call number: 681 LNCS.

BOOKS
Algorithm theory -- SWAT 2006 : 10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006 : proceedings

by Arge, Lars (Ed.) | Freĭvald, R. V.

Series: Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer, 2006Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Second floor, Rack No: 48, Shelf No: 31 Call number: 681 LNCS.

BOOKS
Theoretical computer science : 9th Italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005 : proceedings / Mario Coppo, Elena Lodi, G. Michele Pinna (eds.)

by Coppo, Mario | Coppo, Mario | Lodi, E | Pinna, G. Michele.

Series: Lecture notes in computer science ; 3701Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer, c2005Other title: ICTCS 2005.Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Second floor, Rack No: 48, Shelf No: 30 Call number: 681 LNCS.

BOOKS
Approximation algorithms for combinatorial optimization : International workshop, APPROX '98, Aalborg, Denmark, July 18-19, 1998 : proceedings / Klaus Jansen, José Rolim (eds.).

by Klaus Jansen | Jansen, Klaus | Rolim, José D. P.

Series: Lecture notes in computer science ; 1444Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer, 1998Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS.

BOOKS
Algorithms-ESA 2001 : 9th annual European symposium, Åarhus, Denmark, August 28-31, 2001 : proceedings / Friedhelm Meyer auf der Heide (ed.).

by Friedhelm Meyer auf der Heide | Meyer auf der Heide, F.

Series: Lecture notes in Computer science ; 2161Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer, 2001Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS.

BOOKS
LATIN '95 :Theoretical informatics Second Latin American symposium, Valparaíso, Chile, April 3-7, 1995 : proceedings Eric Goles, Patricio V. Poblete, eds.

by Ricardo Baeza-Yates | Baeza-Yates, R | Golès, E | Poblete, Patricio V.

Series: Lecture notes in computer science ; 911Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer, c1995Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha