Вы здесь

Главная

теория программирования

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

Theory and Applications of Models of Computation: Proc./5th International Conference, TAMC 2008. Xi an, China, April 2008
Time for Verification: Essays in Memory of Amir Pnueli
Tools and Algorithms for the Construction and Analysis of Systems: Proc./15th International Conference, TACAS 2009, ETAPS 2009, York, UK, March 2009
Unifying Theories of Programming: Revised Selected Papers/4th International Symposium, UTP 2012, Paris, France, August 2012
Unifying Theories of Programming: Revised Selected Papers/6th International Symposium, UTP 2016, Reykjavik, Iceland, June 2016
Unifying Theories of Programming: Revised Selected Papers/First International Symposium, UTP 2006. Walworth Castle, County Durham, UK, February 2006
Архитектурные, формальные и программные модели. Сборник научных трудов
"Истинно параллельная" семантика непрерывно-временных сетей Петри со слабой временной и устойчиво атомарной пространственной стратегиями
Лекции по теории программирования
Математическая теория программирования. Советско-болгарский сборник научных трудов
Некоторые субъективные замечания к актуальным проблемам программирования
Первая всесоюзная конференция по программированию: Заседание "А". Вопросы теории программирования, Киев, 12-15 ноября 1968
Первая всесоюзная конференция по программированию: Заседание "Ж". Теория и общие вопросы программирования , Киев, 12-15 ноября 1968
Проблемы теоретического и экспериментального программирования: Сборник научных трудов
Теория программирования и вычислительные системы
Теория программирования и методы трансляции. Труды советско-французского симпозиума
Теория программирования и средства описания параллелизма дискретных систем. Сборник научных трудов
Теория программирования, часть 1: Труды симпозиума, Новосибирск, 7-11 августа 1972 г.
Теория программирования, часть I: Труды симпозиума, Новосибирск, 7-11 августа 1972 г.