Your search returned 6 results.

Not what you expected? Check for suggestions

Results
	1.	Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday / Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.). by Futatsugi, Kokichi Jouannaud, Jean-Pierre Meseguer, José Goguen, Joseph Series: Lecture notes in computer science ; 4060. \| Lecture notes in computer science. Festschrift. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2006 In: Springer e-books Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday / Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.). by Montanari, Ugo Degano, Pierpaolo, 1950- De Nicola, Rocco Meseguer, José Series: Lecture notes in computer science ; 5065. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. \| Lecture notes in computer science. Festschrift. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2008 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday / Gul Agha, Olivier Danvy, José Meseguer. (eds.). by Agha, Gul A Danvy, Olivier Meseguer, José Series: Lecture notes in computer science ; 7000. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publication details: Berlin ; Heidelberg : Springer, ©2011 In: Springer Nature eBook Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Specification, algebra, and software : essays dedicated to Kokichi Futatsugi / Shusaku Iida, José Meseguer, Kazuhiro Ogata (eds.). by Iida, Shusaku [editor.] Meseguer, José [editor.] Ogata, Kazuhiro [editor.] Futatsugi, Kokichi [honouree.] Series: Lecture notes in computer science ; 8373. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Heidelberg : Springer, 2014 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	Logic, rewriting, and concurrency : essays dedicated to José Meseguer on the occasion of his 65th birthday / Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott, (eds.). by Meseguer, José [honouree.] Martí-Oliet, N. (Narciso) [editor.] Ölveczky, Peter Csaba [editor.] Talcott, Carolyn L [editor.] Series: Lecture notes in computer science ; 9200. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Cham : Springer, [2015] Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6.	Foundations of security, protocols, and equational reasoning : essays dedicated to Catherine A. Meadows / Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic (eds.). by Catherine Meadows Festschrift Symposium (2019 : Fredericksburg, Va.) Guttman, Joshua D [editor.] Landwehr, Carl E [editor.] Meseguer, Jose [editor.] Pavlović, Duško (Economist) [editor.] Series: Lecture notes in computer science ; 11565. \| LNCS sublibrary. SL 4, Security and cryptology. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2019 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha