Your search returned 6 results.

Not what you expected? Check for suggestions
BOOKS
Algebra, meaning and computation: essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday

by Futatsugi, Kokichi | Jouannaud, Jean-Pierre | Meseguer, Jose Eds.

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

Place hold Log in to add tags
E-BOOKS
Algebra, Meaning, and Computation [electronic resource] : Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday / edited by Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer.

by Futatsugi, Kokichi [editor.] | Jouannaud, Jean-Pierre [editor.] | Meseguer, José [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Concurrency, Graphs and Models [electronic resource] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / edited by Pierpaolo Degano, Rocco Nicola, José Meseguer.

by Degano, Pierpaolo [editor.] | Nicola, Rocco [editor.] | Meseguer, José [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
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 Text;Language: English; Format: electronic available online remote; 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
E-BOOKS
Algebraic Methodology and Software Technology [electronic resource] : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / edited by José Meseguer, Grigore Roşu.

by Meseguer, José [editor.] | Roşu, Grigore [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Formal Modeling: Actors, Open Systems, Biological Systems [electronic resource] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / edited by Gul Agha, Olivier Danvy, José Meseguer.

by Agha, Gul [editor.] | Danvy, Olivier [editor.] | Meseguer, José [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7000Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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