Claude Kirchner – författare
Visar alla böcker från författaren Claude Kirchner. Handla med fri frakt och snabb leverans.
10 produkter
Automated Deduction - CADE-15
15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings
Av Claude Kirchner, Helene Kirchner
Häftad, 1998
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected …
Rewriting, Computation and Proof
Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday
Av Hubert Comon-Lundh, Claude Kirchner m. fl.
Häftad, 2007
566 kr
Lägg i varukorg
Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics, through the many important results he has produced in various research fields and through the generations of scholars he has educated. He has played a leading role in field of rewriting and its …
Rewriting, Computation and Proof
Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday
Av Helene Kirchner, Claude Kirchner m. fl.
E-bok, 2007
755 kr
Lägg i varukorg
Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics, through the many important results he has produced in various research fields and through the generations of scholars he has educated. He has played a leading role in field of rewriting and its …
Formal to Practical Security
Papers Issued from the 2005-2008 French-Japanese Collaboration
Av Véronique Cortier, Claude Kirchner m. fl.
Häftad, 2009
566 kr
Lägg i varukorg
The security issues set by the global digitization of our society have had, and will continue to have, a crucial impact at all levels of our social organization, including, just to mention a few, privacy, economics, environmental policies, national sovereignty, medical environments. The importance …
Formal to Practical Security
Papers Issued from the 2005-2008 French-Japanese Collaboration
Av Hideki Sakurada, Mitsuhiro Okada m. fl.
E-bok, 2009
755 kr
Lägg i varukorg
The security issues set by the global digitization of our society have had, and will continue to have, a crucial impact at all levels of our social organization, including, just to mention a few, privacy, economics, environmental policies, national sovereignty, medical environments. The importance …
Automata, Languages and Programming
37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
Av Samson Abramsky, Cyril Gavoille m. fl.
Häftad, 2010
1126 kr
Lägg i varukorg
ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programming was held July 6-10, 2010 in Bordeaux, France. ICALP is a series of annual conference of the European Association for Th- retical Computer Science (EATCS) which ?rst took place in 1972, organized by …
Automata, Languages and Programming
37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
Av Paul Spirakis, Friedhelm Meyer auf der Heide m. fl.
E-bok, 2010
1502 kr
Lägg i varukorg
Automata, Languages and Programming
37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
Av Samson Abramsky, Cyril Gavoille m. fl.
Häftad, 2010
1126 kr
Lägg i varukorg
ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programming was held July 6-10, 2010 in Bordeaux, France. ICALP is a series of annual conference of the European Association for Th- retical Computer Science (EATCS) which ?rst took place in 1972, organized by …
Automata, Languages and Programming
37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
Av Paul Spirakis, Friedhelm Meyer auf der Heide m. fl.
E-bok, 2010
1470 kr
Lägg i varukorg
Rewriting Techniques and Applications
5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings
E-bok, 2015
554 kr
Lägg i varukorg
This volume contains the proceedings of RTA-93, the fifthInternational Conference on Rewriting Techniques andApplications, held in Montreal, Canada, in June 1993.The volume includes three invited lectures, "Rewritetechniques in theorem proving" (L. Bachmair), "Provingproperties of typed lambda …
