عدد الكتب: 1 - 2 /2
Formal Refinement for Operating System Kernels
The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement ...
اقرأ المزيد
Support Vector Machines
This book explains the principles that make support vector machines (SVMs) a successful modelling and prediction tool for ...
اقرأ المزيد
عدد الكتب: 1 - 2 /2
