IMSc Library catalog › Results of search for 'au:"Martí-Oliet, Narciso."'

Your search returned 4 results.

Not what you expected? Check for suggestions

			All About Maude - A High-Performance Logical Framework [electronic resource] : How to Specify, Program and Verify Systems in Rewriting Logic / by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott. by Clavel, Manuel [author.] \| Durán, Francisco [author.] \| Eker, Steven [author.] \| Lincoln, Patrick [author.] \| Martí-Oliet, Narciso [author.] \| Meseguer, José [author.] \| Talcott, Carolyn [author.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4350Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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] : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers / edited by Narciso Martí-Oliet, Miguel Palomino. by Martí-Oliet, Narciso [editor.] \| Palomino, Miguel [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7841Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Logic, Rewriting, and Concurrency [electronic resource] : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday / edited by Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott. by Martí-Oliet, Narciso [editor.] \| Ölveczky, Peter Csaba [editor.] \| Talcott, Carolyn [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9200 \| Lecture Notes in Computer Science ; 9200Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Formal Methods: Foundations and Applications [electronic resource] : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings / edited by Christiano Braga, Narciso Martí-Oliet. by Braga, Christiano [editor.] \| Martí-Oliet, Narciso [editor.] \| SpringerLink (Online service). Series: Programming and Software Engineering ; 8941 \| Lecture Notes in Computer Science ; 8941Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online 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