Program Verification: Fundamental Issues in Computer Science
Advances in Multimedia, Software Engineering and Computing Vol.1: Proceedings Of The 2011 Mesc International Conference On Multime
SYROM 2009: Proceedings of the 10th IFToMM International Symposium on Science of Mechanisms and Machines, held
Principles of Data Mining
Underwater Acoustic Data Processing
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning: Hand
Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures: Handbk Of Logic In Compute
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations: Handbk Of Logic In Artificial
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming
Handbook of Logic in Computer Science: Volume 3: Semantic Structures
CIRP Encyclopedia of Production Engineering
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies