Program Specification and Transformation

Juifs du silence

Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems

ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (19th 2000 Dallas, Tex.)

Boolean Functions and Their Applications in Cryptography

Chuan-Kun Wu, Dengguo Feng

AI in Learning

Hannele Niemi, Roy D. Pea, Lu, Yu, SpringerLink