Lectures on Embedded Systems : European Educational Forum School on Embedded Systems,Veldhoven, The Netherlands, November 25-29, 1996
Theory Reasoning in Connection Calculi
Composition of Secure Multi-Party Protocols : A Comprehensive Study
Lectures on Probability Theory and Statistics : Ecole dEté de Probabilités de Saint-Flour XXXII - 2002
Uncertain Projective Geometry : Statistical Reasoning for Polyhedral Object Reconstruction
Advanced Lectures on Machine Learning : ML Summer Schools 2003,Canberra, Australia, February 2-14, 2003, Tübingen, Germany, August 4-16, 2003, Revis
Law and the Semantic Web : Legal Ontologies,Methodologies, Legal Information Retrieval, and Applications
Isabelle/HOL : A Proof Assistant for Higher-Order Logic
Knowledge Representation and Organization in Machine Learning
ESOP 90 : 3rd European Symposium on Programming,Copenhagen, Denmark, May 15-18, 1990, Proceedings
Matrix Eigensystem Routines - EISPACK Guide Extension
Foundations of Computation Theory : Proceedings of the 1983 International FCT-Conference Borgholm,Sweden, August 21-27, 1983
