کتاب های Jean Pierre Jouannaud (auth.)
![Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday](http://cdn.ketabkoo.com/covers/0/50107-n.jpg)
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
David Borgo (auth.), Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.), 2006![Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday](http://cdn.ketabkoo.com/covers/0/50108-n.jpg)
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
David Borgo (auth.), Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.), 2006![Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings](http://cdn.ketabkoo.com/covers/1/107111-n.jpg)
Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
Nikolaj Bjørner (auth.), Jean-Pierre Jouannaud, Zhong Shao (eds.), 2011![Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings](http://cdn.ketabkoo.com/covers/1/107112-n.jpg)
Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
Nikolaj Bjørner (auth.), Jean-Pierre Jouannaud, Zhong Shao (eds.), 2011![Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course](http://cdn.ketabkoo.com/covers/3/397836-n.jpg)
Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course
Jean-Pierre Jouannaud (auth.), 1995![Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course](http://cdn.ketabkoo.com/covers/3/397839-n.jpg)