Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
| Format: | Electronic eBook |
|---|---|
| Language: | English |
| Published: |
Association for Computing Machinery (ACM),
6/25/13
|
| Subjects: | |
| Online Access: | Full text available on Research4Life (ACM) |
Similar Items
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science
Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Proceedings of the 28th annual international symposium on Computer architecture
Proceedings of the 28th annual international symposium on Microarchitecture
Proceedings of the 28th ACM/IEEE Design Automation Conference
Proceedings of the 28th ACM symposium on Principles of distributed computing
Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology
Proceedings of the ACM/IEEE 47th Annual International Symposium on Computer Architecture
Proceedings of the 28th Annual International Conference on Computer Science and Software Engineering
by: Jaramillo
by: Jaramillo
Proceedings of the 28th annual meeting on Association for Computational Linguistics
Proceedings of the 28th Annual Computer Security Applications Conference
Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering
Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
Adjunct Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology
ACM Transactions on Computational Logic
Logical Methods in Computer Science | Logical Methods in Computer Science e.V.
Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures
Proceedings of the 34th annual ACM/IEEE international symposium on Microarchitecture
Proceedings of the 35th annual ACM/IEEE international symposium on Microarchitecture
Proceedings of the 36th annual IEEE/ACM International Symposium on Microarchitecture
Proceedings of the 37th annual IEEE/ACM International Symposium on Microarchitecture
Proceedings of the 38th annual IEEE/ACM International Symposium on Microarchitecture
Proceedings of the 39th Annual IEEE/ACM International Symposium on Microarchitecture
Proceedings of the 40th Annual IEEE/ACM International Symposium on Microarchitecture
Proceedings of the 29th annual ACM/IEEE international symposium on Microarchitecture
Proceedings of the 30th annual ACM/IEEE international symposium on Microarchitecture
Proceedings of the 44th Annual IEEE/ACM International Symposium on Microarchitecture
Proceedings of the 46th Annual IEEE/ACM International Symposium on Microarchitecture
Proceedings of the 50th Annual IEEE/ACM International Symposium on Microarchitecture
Proceedings of the 47th Annual IEEE/ACM International Symposium on Microarchitecture
Proceedings of the 55th Annual IEEE/ACM International Symposium on Microarchitecture
Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture