IMSc Library catalog › Results of search for 'au:"Orejas, Fernando."'

Your search returned 7 results.

Not what you expected? Check for suggestions

			Formal Methods in Software and Systems Modeling [electronic resource] : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / edited by Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer. by Kreowski, Hans-Jörg [editor.] \| Montanari, Ugo [editor.] \| Orejas, Fernando [editor.] \| Rozenberg, Grzegorz [editor.] \| Taentzer, Gabriele [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3393Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; 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
			Recent Trends in Algebraic Development Techniques [electronic resource] : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers / edited by José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas. by Fiadeiro, José Luiz [editor.] \| Mosses, Peter D [editor.] \| Orejas, Fernando [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3423Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; 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
			TAPSOFT '89 [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989 / edited by Josep Díaz, Fernando Orejas. by Díaz, Josep [editor.] \| Orejas, Fernando [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 351Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; 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
			Algebraic system specification and development [electronic resource] : A survey and annotated bibliography / edited by Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella. by Bidoit, Michel [editor.] \| Kreowski, Hans-Jörg [editor.] \| Lescanne, Pierre [editor.] \| Orejas, Fernando [editor.] \| Sannella, Donald [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 501Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; 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
			Automata, Languages and Programming [electronic resource] : 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings / edited by Fernando Orejas, Paul G. Spirakis, Jan Leeuwen. by Orejas, Fernando [editor.] \| Spirakis, Paul G [editor.] \| Leeuwen, Jan [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2076Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; 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
			Recent Trends in Data Type Specification [electronic resource] : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers / edited by Hartmut Ehrig, Fernando Orejas. by Ehrig, Hartmut [editor.] \| Orejas, Fernando [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 785Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Fundamental Approaches to Software Engineering [electronic resource] : 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Dimitra Giannakopoulou, Fernando Orejas. by Giannakopoulou, Dimitra [editor.] \| Orejas, Fernando [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6603Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; 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