Your search returned 23 results.

Not what you expected? Check for suggestions
BOOKS
Advances in petri nets 1990

by Rozenberg, G.

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

BOOKS
Advances in petri nets 1991

by Rozenberg, G.

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

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
Decade of Concurrency - Reflections and Perspectives REX School/Symposium Noordwijkerhout, The Netherlands,June93

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

Series: Lecture notes in computer science ; 00803Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 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.

BOOKS
Book of traces

by Diekert, V | Rozenberg, G. Eds.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Singapore ; World Scientific ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 14 Call number: 621 DIE.

BOOKS
Theory of 2-structures a framework for decomposition and transformation of graphs

by Ehrenfeucht, Andrezj | Harju, T | Rozenberg, G.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Singapore ; World Scientific ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 34, Shelf No: 42 Call number: 519.17 EHR.

BOOKS
Structural complexity II

by Balcazar, Jose Luis | Diaz, Josep | Gabarro, Joaquim | Brauer, W Ed | Rozenberg G | Salomaa A.

Series: EATCS monographs on theoretical computer science; 00022Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Springer verlag ; Berlin ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 39 Call number: 681.3 BAL.

E-BOOKS
Advances in Petri Nets 1984 [electronic resource] / edited by G. Rozenberg.

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

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

E-BOOKS
Advances in Petri Nets 1985 [electronic resource] / edited by G. Rozenberg.

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

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

E-BOOKS
Current Trends in Concurrency [electronic resource] : Overviews and Tutorials / edited by J. W. Bakker, W. -P. Roever, G. Rozenberg.

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

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

E-BOOKS
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency [electronic resource] : School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988 / edited by J. W. Bakker, W. -P. Roever, G. Rozenberg.

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

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

E-BOOKS
Foundations of Object-Oriented Languages [electronic resource] : REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 Proceedings / edited by J. W. Bakker, W. P. Roever, G. Rozenberg.

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

Series: Lecture Notes in Computer Science ; 489Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Other title: Proceedings.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness [electronic resource] : REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings / edited by J. W. Bakker, W. -P. Roever, G. Rozenberg.

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

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

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): .

E-BOOKS
Semantics: Foundations and Applications [electronic resource] : REX Workshop Beekbergen, The Netherlands, June 1–4, 1992 Proceedings / edited by J. W. Bakker, W. -P. Roever, G. Rozenberg.

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

Series: Lecture Notes in Computer Science ; 666Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha