1
Published 2007
Table of Contents: ... and Beyond -- Interaction and Realizability -- A Short Introduction to Computational Social Choice...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... -- Refining Interface Alphabets for Compositional Verification -- MAVEN: Modular Aspect Verification...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ...Keynote Papers -- Internet-Scale Data Distribution: Some Research Problems -- Towards Next...
View full text
Electronic eBook