Your search returned 8 results.

Not what you expected? Check for suggestions
BOOKS
Fundamentals of algebraic specification:Equations and initial semantics

by Ehrig, H | Mahr, B.

Material type: Text Text;Language: ; Format: print Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 5 Call number: 681.3.512 EHR.

BOOKS
TAPSOFT,87.volume 1. proceedings,1987

by Ehrig, H., Ed.

Series: Lecture notes in computer science ; 00249Material 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: 4 Call number: 681 LNCS.

BOOKS
Graph-Grammars and Their Application to Computer Science 3rd Int. Workshop, Virginia, USA, 1986

by Ehrig, H. et al Eds.

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

BOOKS
Categorical Methods in Computer Science with Aspects from Topology

by Ehrig H. et al Eds.

Series: Lecture notes in computer science ; 00393Material 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: 9 Call number: 681 LNCS.

BOOKS
Graph Grammars and Computing by Graph Transformation, Vols.1 - 3 : 1: Foundations; 2 : Applications, Languages and Tools;3: Concurrency, Parallelism, and Distribution

by Rozenberg, Grzegorz. Ed | Ehrig, H. Ed.,Engels, G. Ed | Kreowski, H J. Ed.

Material type: Text Text;Language: ; Format: print Publication details: Singapore ; World Scientific ; 1997; 1999Availability: Items available for loan: IMSc Library (3). Location(s): Second floor, Rack No: 49, Shelf No: 17 Call number: 681.3 ROZ.

E-BOOKS
Recent Trends in Data Type Specification [electronic resource] : 7th Workshop on Specification of Abstact Data Types Wusterhausen/Dosse, Germany, April 17–20, 1990 Proceedings / edited by H. Ehrig, K. P. Jantke, F. Orejas, H. Reichel.

by Ehrig, H [editor.] | Jantke, K. P [editor.] | Orejas, F [editor.] | Reichel, H [editor.] | SpringerLink (Online service).

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

E-BOOKS
Categorical Methods in Computer Science With Aspects from Topology [electronic resource] / edited by H. Ehrig, H. Herrlich, H. -J. Kreowski, G. Preuß.

by Ehrig, H [editor.] | Herrlich, H [editor.] | Kreowski, H. -J [editor.] | Preuß, G [editor.] | SpringerLink (Online service).

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

CD/DVDS
Graph Grammars and Computing by Graph Transformation, Vol.2 : Applications, Languages and Tools[45992]

by Ehrig, H [et al] Eds.

Material type: Text Text Publication details: World scientific Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha