Liknande böcker

Asplos XVII International Conference on Architectural Support for Progra...
Bok av Tim Harris
Leveraging Applications of Formal Methods, Verification, and Validation...
Bok av Tiziana. Margaria
Test-optimization for core based system on chip
Bok av Anders Larsson
Universal Access in Human-Computer Interaction. Universal Access to Info...
Bok av Constantine. Stephanidis
Stoc 13 Proceedings of the 2013 ACM Symposium on Theory of Computing
Bok av Dan Boneh
Fourth IFIP International Conference on Theoretical Computer Science- TC...
Bok av Gonzalo. Navarro
Advances in Neural Networks - ISNN 2006 : Third International Symposium...
Bok av Jun. Wang
Formal Methods for Components and Objects (vol. # 4111) : 4th Internatio...
Bok av Frank S. de Boer

Popl 2014 - 41st ACM Sigplan Sigact Symposium on Principles of Programming Languages

Bok av Popl 14 Conference Editors