Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / Hubert Comon

Books by author

Hubert Comon

Constraints in Computational Logics: Theory and Applications: International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures (Lecture Notes in Computer Science, 2002)

Constraints in Computational Logics: Theory and Applications: International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures (Lecture Notes in Computer Science, 2002)

2001 · ENGLISH · PDF

View details →

Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

2001 · ENGLISH · PDF

View details →

Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course

Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course

1995 · ENGLISH · PDF

View details →

Trees in Algebra and Programming — CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings

Trees in Algebra and Programming — CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings

1994 · ENGLISH · PDF

View details →

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

2001 · ENGLISH · PDF

View details →

Tree Automata Techniques and Applications

Tree Automata Techniques and Applications

ENGLISH · PDF

View details →

Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course

Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course

1995 · ENGLISH · DJVU

View details →

Trees in Algebra and Programming — CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings

Trees in Algebra and Programming — CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings

1994 · ENGLISH · DJVU

View details →

Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

2001 · ENGLISH · PDF

View details →

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

2001 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme