1
Published 2006
Table of Contents: ...Invited Papers -- Global Optimization of Probabilistically Constrained Linear Programs...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... -- Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks -- Boosting over...
View full text
Electronic eBook