Your search returned 310 results.

Not what you expected? Check for suggestions
E-BOOKS
Foundations of Software Science and Computation Structures [electronic resource] : 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings / edited by Andrew D. Gordon.

by Gordon, Andrew D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2620Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Hybrid Systems: Computation and Control [electronic resource] : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings / edited by Oded Maler, Amir Pnueli.

by Maler, Oded [editor.] | Pnueli, Amir [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2623Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Implementation and Application of Automata [electronic resource] : 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings / edited by Oscar H. Ibarra, Hsu-Chun Yen.

by Ibarra, Oscar H [editor.] | Yen, Hsu-Chun [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
CONCUR 2006 – Concurrency Theory [electronic resource] : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings / edited by Christel Baier, Holger Hermanns.

by Baier, Christel [editor.] | Hermanns, Holger [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975 [electronic resource] / edited by Jíří Bečvář.

by Bečvář, Jíří [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 32Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1975Online 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
Automotive Software – Connected Services in Mobile Networks [electronic resource] : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers / edited by Manfred Broy, Ingolf H. Krüger, Michael Meisinger.

by Broy, Manfred [editor.] | Krüger, Ingolf H [editor.] | Meisinger, Michael [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Mathematical Foundations of Computer Science 2006 [electronic resource] : 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings / edited by Rastislav Královič, Paweł Urzyczyn.

by Královič, Rastislav [editor.] | Urzyczyn, Paweł [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
CONCUR '91 [electronic resource] : 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26–29, 1991 Proceedings / edited by Jos C. M. Baeten, Jan Frisco Groote.

by Baeten, Jos C. M [editor.] | Groote, Jan Frisco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 527Source: 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
Fundamentals of Computation Theory [electronic resource] : 8th International Conference, FCT '91 Gosen, Germany, September 9–13, 1991 Proceedings / edited by L. Budach.

by Budach, L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 529Source: 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
Computer Science Logic [electronic resource] : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld.

by Börger, Egon [editor.] | Kleine Büning, Hans [editor.] | Richter, Michael M [editor.] | Schönfeld, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 533Source: 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
Theoretical Computer Science [electronic resource] : 5th GI-Conference Karlsruhe, March 23–25, 1981 / edited by Peter Deussen.

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

Series: Lecture Notes in Computer Science ; 104Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online 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 Transformations [electronic resource] : Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg.

by Corradini, Andrea [editor.] | Ehrig, Hartmut [editor.] | Montanari, Ugo [editor.] | Ribeiro, Leila [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Automata, Languages and Programming [electronic resource] : 11th Colloquium Antwerp, Belgium, July 16–20, 1984 / edited by Jan Paredaens.

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

Series: Lecture Notes in Computer Science ; 172Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online 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
Logics of Programs [electronic resource] : Brooklyn, June 17–19, 1985 Proceedings / edited by Rohit Parikh.

by Parikh, Rohit [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 193Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online 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 86 [electronic resource] : 3rd Annual Symposium on Theoretical Aspects of Computer Science Orsay, France, January 16–18, 1986 / edited by B. Monien, G. Vidal-Naquet.

by Monien, B [editor.] | Vidal-Naquet, G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 210Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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
CAAP '86 [electronic resource] : 11th Colloquium on Trees in Algebra and Programming Nice, France, March 24–26, 1986 Proceedings / edited by Paul Franchi-Zannettacci.

by Franchi-Zannettacci, Paul [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 214Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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] : 13th International Colloquium Rennes, France, July 15–19, 1986 Proceedings / edited by Laurent Kott.

by Kott, Laurent [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 226Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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
Perspectives of System Informatics [electronic resource] : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers / edited by Manfred Broy, Alexandre V. Zamulin.

by Broy, Manfred [editor.] | Zamulin, Alexandre V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2890Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Verification: Theory and Practice [electronic resource] : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday / edited by Nachum Dershowitz.

by Dershowitz, Nachum [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2772Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003Online 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
Petri Net Technology for Communication-Based Systems [electronic resource] : Advances in Petri Nets / edited by Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber.

by Ehrig, Hartmut [editor.] | Reisig, Wolfgang [editor.] | Rozenberg, Grzegorz [editor.] | Weber, Herbert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2472Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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