Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
| Natura: | Elettronico eBook |
|---|---|
| Lingua: | inglese |
| Pubblicazione: |
Association for Computing Machinery (ACM),
6/25/12
|
| Soggetti: | |
| Accesso online: | Full text available on Research4Life (ACM) |
Documenti analoghi
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 2013 28th Annual ACM/IEEE 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 27th Annual ACM Symposium on Applied Computing
Proceedings of the 2012 45th Annual IEEE/ACM International Symposium on Microarchitecture
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 27th annual international symposium on Computer architecture
Proceedings of the 27th annual international symposium on Microarchitecture
Proceedings of the 27th ACM/IEEE Design Automation Conference
Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
Proceedings of the 2012 IEEE/ACM International Symposium on Nanoscale Architectures
Proceedings of the 27th annual ACM symposium on User interface software and technology
Proceedings of the ACM/IEEE 47th Annual International Symposium on Computer Architecture
Proceedings of the 27th Annual International Conference on Computer Science and Software Engineering
Proceedings of the 27th annual meeting on Association for Computational Linguistics
Proceedings of the 27th Annual Computer Security Applications Conference
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Adjunct Proceedings of the 27th Annual ACM Symposium on User Interface Software and Technology
ACM Transactions on Computational Logic
Proceedings of the 27th ACM symposium on Parallelism in Algorithms and Architectures
Proceedings of the 27th ACM Symposium on Operating Systems Principles
Logical Methods in Computer Science | Logical Methods in Computer Science e.V.
Proceedings of the 27th annual conference on Computer graphics and interactive techniques
Proceedings of the 27th Annual International Conference on Mobile Computing and Networking
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