Схожие документы: Tools and Algorithms for the Construction andAnalysis of Systems :
- Transactions on Computational Science : XXIV : Special Issue on Reversible Computing /
- Theoretical Computer Science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : Proceedings /
- Intelligent ComputerMathematics : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : Proceedings /
- Formal Languages and Compilation /
- Algorithms and Architectures for Parallel Processing : 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014 : Proceedings, Part II /
- Algorithm Theory : SWAT 2012 : 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014 : Proceedings /