Kirchner, Claude books & textbook
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science, 1421)
Kirchner, Claude Kirchner, Helene
Springer /1998-06-24 Paperback / 464 Pages
isbn-10: 3540646752 / isbn-13: 9783540646754
Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration (Lecture Notes in Computer Science, 5458)
Cortier, Véronique Kirchner, Claude Okada, Mitsuhiro Sakurada, Hideki
Springer /2009-05-25 Paperback / 206 Pages
isbn-10: 3642020011 / isbn-13: 9783642020018
Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I (Lecture Notes in Computer Science, 6198)
Abramsky, Samson Gavoille, Cyril Kirchner, Claude Meyer auf der Heide, Friedhelm Spirakis, Paul
Springer /2010-06-30 Paperback / 777 Pages
isbn-10: 3642141641 / isbn-13: 9783642141645
Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II (Lecture Notes in Computer Science, 6199)
Abramsky, Samson Gavoille, Cyril Kirchner, Claude Meyer auf der Heide, Friedhelm Spirakis, Paul
Springer /2010-06-30 Paperback / 638 Pages
isbn-10: 3642141617 / isbn-13: 9783642141614
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science, 4600)
Comon-Lundh, Hubert Kirchner, Claude Kirchner, Hélène
Springer /2007-06-22 Paperback / 292 Pages
isbn-10: 3540731466 / isbn-13: 9783540731467
Questions d'éthique au temps de la COVID-19: Avis du CCNE et du CNPEN 2020-2021
Delfraissy, Jean-François Comité consultatif national d'éthique Kirchner, Claude
DOC FRANCAISE /2023-03-21 Paperback / 246 Pages
isbn-10: 2111576646 / isbn-13: 9782111576643
Rewriting Techniques and Applications: 5th International Conference, Rta-93 Montreal, Canada, June 16-18, 1993 Proceedings (Lecture Notes in Computer Science, 690)
Springer /1993-01-01 Paperback
isbn-10: 0387568689 / isbn-13: 9780387568683
Unification
Academic Pr /1990-01-01 Paperback / 604 Pages
isbn-10: 0124095909 / isbn-13: 9780124095908
Apfelfunk
Malte Kirchner & Jean-Claude Frick
Apfelfunk - Podcast über Apple-Themen /2020-10-07 Podcast
