Вы здесь

Главная

сокращение

Связанные издания:

Algebraic and Algorithmic Aspects of Differential and Integral Operators: Selected and Invited Papers/5th International Meeting, AADIOS 2012 Held at the Applications of ACA 2012, Sofia, Bulgaria, June 2012
Automated Technology for Verification and Analysis: Proc./14th International Symposium, ATVA 2016, Chiba, Japan, October 2016
Limited Address Range Architecture for Reducing Code Size in Embedded Processors
Tools and Algorithms for the Construction and Analysis of Systems: Proc./21st International Conference, TACAS 2015 Held as Part of the European Joint Conferences ETAPS 2015, London, UK, April 2015