Electronic Books

Total Books: 121 - 123 /123
Transactions on Rough Sets VIII

This volume of TRS presents papers that introduce a number of new - vances in the foundations and applications of arti?cial ...

Weiterlesen
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...

Weiterlesen
Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...

Weiterlesen
Total Books: 121 - 123 /123