Your search returned 70 results.

Not what you expected? Check for suggestions
E-BOOKS
Applications and Theory of Petri Nets 2003 [electronic resource] : 24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23–27, 2003 Proceedings / edited by Wil M. P. Aalst, Eike Best.

by Aalst, Wil M. P [editor.] | Best, Eike [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2679Source: 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
Developments in Language Theory [electronic resource] : 6th International Conference, DLT 2002 Kyoto, Japan, September 18–21, 2002 Revised Papers / edited by Masami Ito, Masafumi Toyama.

by Ito, Masami [editor.] | Toyama, Masafumi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2450Source: 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
Developments in Language Theory [electronic resource] : 7th International Conference, DLT 2003 Szeged, Hungary, July 7–11, 2003 Proceedings / edited by Zoltán Ésik, Zoltán Fülöp.

by Ésik, Zoltán [editor.] | Fülöp, Zoltán [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2710Source: 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
Theoretical Computer Science [electronic resource] : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003. Proceedings / edited by Carlo Blundo, Cosimo Laneve.

by Blundo, Carlo [editor.] | Laneve, Cosimo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2841Source: 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
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science [electronic resource] 21st Conference Bangalore, India, December 13–15, 2001 Proceedings / edited by Ramesh Hariharan, V. Vinay, Madhavan Mukund.

by Hariharan, Ramesh | Vinay, V | Mukund, Madhavan.

Series: Material type: Text Text Language: English Publication details: 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
Concurrent Object-Oriented Programming and Petri Nets [electronic resource] : Advances in Petri Nets / edited by Gul A. Agha, Fiorella Cindio, Grzegorz Rozenberg.

by Agha, Gul A [editor.] | Cindio, Fiorella [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2001Source: 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
Unifying Petri Nets [electronic resource] : Advances in Petri Nets / edited by Hartmut Ehrig, Julia Padberg, Gabriel Juhás, Grzegorz Rozenberg.

by Ehrig, Hartmut [editor.] | Padberg, Julia [editor.] | Juhás, Gabriel [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2128Source: 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
Formal and Natural Computing [electronic resource] : Essays Dedicated to Grzegorz Rozenberg / edited by Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto Salomaa.

by Brauer, Wilfried [editor.] | Ehrig, Hartmut [editor.] | Karhumäki, Juhani [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2300Source: 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
Graph Transformation [electronic resource] : First International Conference, ICGT 2002 Barcelona, Spain, October 7–12, 2002 Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Hans -Jörg Kreowski, Grzegorz Rozenberg.

by Corradini, Andrea [editor.] | Ehrig, Hartmut [editor.] | Kreowski, Hans -Jörg [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2505Source: 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
Developments in Language Theory [electronic resource] : 5th International Conference, DLT 2001 Wien, Austria, July 16–21, 2001 Revised Papers / edited by Werner Kuich, Grzegorz Rozenberg, Arto Salomaa.

by Kuich, Werner [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2295Source: 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
Trees in Algebra and Programming — CAAP '96 [electronic resource] : 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings / edited by Hélène Kirchner.

by Kirchner, Hélène [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1059Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings / edited by S. Arun-Kumar, Naveen Garg.

by Arun-Kumar, S [editor.] | Garg, Naveen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4337Source: 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
Application and Theory of Petri Nets 1996 [electronic resource] : 17th International Conference Osaka, Japan, June 24–28, 1996 Proceedings / edited by Jonathan Billington, Wolfgang Reisig.

by Billington, Jonathan [editor.] | Reisig, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1091Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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 2007 [electronic resource] : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings / edited by Wolfgang Thomas, Pascal Weil.

by Thomas, Wolfgang [editor.] | Weil, Pascal [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4393Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Developments in Language Theory [electronic resource] : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings / edited by Tero Harju, Juhani Karhumäki, Arto Lepistö.

by Harju, Tero [editor.] | Karhumäki, Juhani [editor.] | Lepistö, Arto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4588Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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 2007 [electronic resource] : 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings / edited by Luděk Kučera, Antonín Kučera.

by Kučera, Luděk [editor.] | Kučera, Antonín [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4708Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings / edited by V. Arvind, Sanjiva Prasad.

by Arvind, V [editor.] | Prasad, Sanjiva [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4855Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
LATIN 2008: Theoretical Informatics [electronic resource] : 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings / edited by Eduardo Sany Laber, Claudson Bornstein, Loana Tito Nogueira, Luerbio Faria.

by Laber, Eduardo Sany [editor.] | Bornstein, Claudson [editor.] | Nogueira, Loana Tito [editor.] | Faria, Luerbio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4957Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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 2008 [electronic resource] : 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings / edited by Edward Ochmański, Jerzy Tyszkiewicz.

by Ochmański, Edward [editor.] | Tyszkiewicz, Jerzy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5162Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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] : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings / edited by Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer.

by Ehrig, Hartmut [editor.] | Heckel, Reiko [editor.] | Rozenberg, Grzegorz [editor.] | Taentzer, Gabriele [editor.] | SpringerLink (Online service).

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