Your search returned 6 results.

Not what you expected? Check for suggestions
BOOKS
Advances in Petri Nets 1992

by Rozenberg,G. Ed.

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

BOOKS
Petri Nets - Part I & II Proceedings, Bad Honnef, 1986

by Brauer, W. Ed | Reisig, W. Ed | Rozenberg, G. Ed.

Series: Lecture notes in computer science ; 00254 & 00255Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1987Availability: Items available for loan: IMSc Library (4). Location(s): 7Second floor, Rack No: 48, Shelf No: 4 Call number: 681 LNCS.

BOOKS
Stepwise Refinement of Distributed Systems Proceedings, REX Workshop, Mook, The Netherlands, 1989

by de Bakker, J W. Ed | de Roever, W P. Ed | Rozenberg, G. Ed.

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

BOOKS
Handbook of Formal Languages,Vols.1,2 &3 Vol.1:Word,Language,Grammar Vol.2: Linear Modeling: Background and Application Vol,3:Beyond Words

by Rozenberg, G. Ed | Salomaa, A. Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (3). Location(s): First Floor, Rack No: 20, Shelf No: 14 Call number: 681.3(02) ROZ.

BOOKS
Jewels are Forever : Contributions on Theoretical Computer Science in honor of Arto Salomaa

by Karhumaki,J.,Ed. Maurer,H.,Ed | Paun, G.,Ed | Rozenberg, G. Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 7 Call number: 681.3 KAR.

BOOKS
Linear time, branching time and partial order in logics and models for concurrency :

by de Bakker, J.W Ed | de Roever, W.P. Ed | Rozenberg,G. Ed.

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha