Books by Iliano Cervesato
The Deductive Spreadsheet
The Deductive Spreadsheet
Cognitive Technologies
Advances in Computer Science - Asian Computer and Network Security
Advances in Computer Science -
Advances in Computer Science - ASIAN 2007. Computer and Network Security
Advances In Computer Scienceasian 2007 Computer And Network Security 12th Asian Computing Science Conference Doha Qatar December 911 2007 Proceedings