Your search returned 4 results.

Not what you expected? Check for suggestions
E-BOOKS
Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets [electronic resource] / by Dirk A. Taubner.

by Taubner, Dirk A [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 369Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online 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 95 [electronic resource] : 12th Annual Symposium on Theoretical Aspects of Computer Science Munich, Germany, March 2–4, 1995 Proceedings / edited by Ernst W. Mayr, Claude Puech.

by Mayr, Ernst W [editor.] | Puech, Claude [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 900Source: 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
E-BOOKS
Applications and Theory of Petri Nets [electronic resource] : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings / edited by Johan Lilius, Wojciech Penczek.

by Lilius, Johan [editor.] | Penczek, Wojciech [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6128Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Applications and Theory of Petri Nets [electronic resource] : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings / edited by Lars M. Kristensen, Laure Petrucci.

by Kristensen, Lars M [editor.] | Petrucci, Laure [editor.] | SpringerLink (Online service).

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