Advanced concepts for intelligent vision systems

11th international conference, ACIVS 2009, Bordeaux, France, September 28 - October 2, 2009 : proceedings

A 25-year Perspective on Logic Programming

achievements of the italian association for logic programming, GULP

Elaboration sur wafer si (100) et (111) de couches sensibles de (ZnO) par éléctroctristallisation en vue d'application dans les domaines de l'optoelectronique et des capteurs

Applied cryptography and network security

7th international conference, ACNS 2009, Paris-Rocquencourt, France, June 2-5, 2009 : proceedings

Abstract computing machines

a lambda calculus perspective