1
Published 2008
Table of Contents: ... Ad-Hoc Network -- Trusted Theorem Proving: A Case Study in SLD-Resolution -- High Level Analysis...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... Cooperation and Conflict Resolution -- Safety-Critical Systems -- Advancements in Dependable Time-Triggered...
View full text
Electronic eBook