کتاب های Comon H.
![Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration](http://cdn.ketabkoo.com/covers/1/102790-n.jpg)
Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration
Reynald Af feldt, Hubert Comon-Lundh (auth.), Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada (eds.), 2009![Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration](http://cdn.ketabkoo.com/covers/1/102791-n.jpg)
Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration
Reynald Af feldt, Hubert Comon-Lundh (auth.), Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada (eds.), 2009![Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings](http://cdn.ketabkoo.com/covers/1/102792-n.jpg)
Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings
Hubert Comon-Lundh (auth.), Igor Walukiewicz (eds.), 2004![Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings](http://cdn.ketabkoo.com/covers/1/102793-n.jpg)
Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings
Hubert Comon-Lundh (auth.), Igor Walukiewicz (eds.), 2004![Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday](http://cdn.ketabkoo.com/covers/1/102803-n.jpg)
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.), 2007![Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday](http://cdn.ketabkoo.com/covers/1/102804-n.jpg)
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.), 2007![Tree automata techniques and applications](http://cdn.ketabkoo.com/covers/9/971249-n.jpg)
Tree automata techniques and applications
Comon H., 2005![Constraints in Computational Logics. Theory and Applications CCL ’99](http://cdn.ketabkoo.com/covers/11/1174185-n.jpg)