Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
|---|---|
| Γλώσσα: | Αγγλικά |
| Έκδοση: |
Association for Computing Machinery (ACM),
7/6/15
|
| Θέματα: | |
| Διαθέσιμο Online: | Full text available on Research4Life (ACM) |
Παρόμοια τεκμήρια
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 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 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 30th annual ACM/IEEE international symposium on Microarchitecture
Proceedings of the 30th Annual ACM Symposium on Applied Computing
LIC of India SWOT Analysis
Proceedings of the 30th annual international symposium on Computer architecture
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Proceedings of the 2015 Annual Symposium on Computing for Development
Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension
Proceedings of the 30th Annual ACM Symposium on User Interface Software and Technology
LIC Housing Finance Limited SWOT Analysis
LIC of India MarketLine Company Profile
Proceedings of the ACM/IEEE 47th Annual International Symposium on Computer Architecture
Proceedings of the 30th annual meeting on Association for Computational Linguistics
Proceedings of the 30th Annual Computer Security Applications Conference
Adjunct Proceedings of the 30th Annual ACM Symposium on User Interface Software and Technology
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering
ACM Transactions on Computational Logic
Logical Methods in Computer Science | Logical Methods in Computer Science e.V.
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 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