Your search returned 46 results.

Not what you expected? Check for suggestions
E-BOOKS
Lectures on Concurrency and Petri Nets [electronic resource] : Advances in Petri Nets / edited by Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg.

by Desel, Jörg [editor.] | Reisig, Wolfgang [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3098Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 2004 - Concurrency Theory [electronic resource] : 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings / edited by Philippa Gardner, Nobuko Yoshida.

by Gardner, Philippa [editor.] | Yoshida, Nobuko [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3170Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 Aspects of Computing - ICTAC 2004 [electronic resource] : First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers / edited by Zhiming Liu, Keijiro Araki.

by Liu, Zhiming [editor.] | Araki, Keijiro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3407Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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 2005 – Concurrency Theory [electronic resource] : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings / edited by Martín Abadi, Luca Alfaro.

by Abadi, Martín [editor.] | Alfaro, Luca [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3653Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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 Aspects of Computing – ICTAC 2005 [electronic resource] : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings / edited by Dang Hung, Martin Wirsing.

by Hung, Dang [editor.] | Wirsing, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3722Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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
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
E-BOOKS
CONCUR 2000 — Concurrency Theory [electronic resource] : 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings / edited by Catuscia Palamidessi.

by Palamidessi, Catuscia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1877Source: 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
CONCUR 2001 — Concurrency Theory [electronic resource] : 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings / edited by Kim G. Larsen, Mogens Nielsen.

by Larsen, Kim G [editor.] | Nielsen, Mogens [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2154Source: 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
CONCUR 2003 - Concurrency Theory [electronic resource] : 14th International Conference, Marseille, France, September 3-5, 2003. Proceedings / edited by Roberto Amadio, Denis Lugiez.

by Amadio, Roberto [editor.] | Lugiez, Denis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2761Source: 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
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
Compiler Optimizations for Scalable Parallel Systems [electronic resource] : Languages, Compilation Techniques, and Run Time Systems / edited by Santosh Pande, Dharma P. Agrawal.

by Pande, Santosh [editor.] | Agrawal, Dharma P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1808Source: 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
CONCUR 2002 — Concurrency Theory [electronic resource] : 13th International Conference Brno, Czech Republic, August 20–23, 2002 Proceedings / edited by Luboš Brim, Mojmír Křetínský, Antonín Kučera, Petr Jančar.

by Brim, Luboš [editor.] | Křetínský, Mojmír [editor.] | Kučera, Antonín [editor.] | Jančar, Petr [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2421Source: 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
Advances in Petri Nets 1988 [electronic resource] / edited by Grzegorz Rozenberg.

by Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 340Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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
Advances in Petri Nets 1990 [electronic resource] / edited by Grzegorz Rozenberg.

by Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 483Source: 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
Advances in Petri Nets 1989 [electronic resource] / edited by Grzegorz Rozenberg.

by Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 424Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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 91 [electronic resource] : 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings / edited by Christian Choffrut, Matthias Jantzen.

by Choffrut, Christian [editor.] | Jantzen, Matthias [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 480Source: 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
Theory of Computing and Systems [electronic resource] : ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings / edited by D. Dolev, Z. Galil, M. Rodeh.

by Dolev, D [editor.] | Galil, Z [editor.] | Rodeh, M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 601Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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
Real-Time: Theory in Practice [electronic resource] : REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings / edited by J. W. Bakker, C. Huizing, W. P. Roever, G. Rozenberg.

by Bakker, J. W [editor.] | Huizing, C [editor.] | Roever, W. P [editor.] | Rozenberg, G [editor.] | SpringerLink (Online service).

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