Вы здесь

Главная

разработка по

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

Transactions on Pattern Languages of Programming I
Transactions on Pattern Languages of Programming II: Special Issue on Applying Patterns
Transactions on Petri Nets and Other Models of Concurrency III
Transactions on Petri Nets and Other Models of Concurrency II: Special Issue on Concurrency in Process-Aware Information Systems
Transactions on Petri Nets and Other Models of Concurrency IV
Transactions on Petri Nets and Other Models of Concurrency IX
Transactions on Petri Nets and Other Models of Concurrency XIV
Transactions on Rough Sets XXI
Trends in Enterprise Application Architecture: Revised Selected Papers/2nd International Conference, TEAA 2006. Berlin, Germany, November/December 2006
Trends in Functional Programming: Revised Selected Papers/14th International Symposium, TFP 2013, Provo,UT,USA, May 2013
Trustworthy Software Development Processes: Proc./International Conference on Software Process, ICSP 2009, Vancouver, Canada, May 2009
Unconventional Computation and Natural Computation: Proc./16th International Conference, UCNC 2017, Fayetteville,AR,USA, June 2017
Unifying Theories of Programming: Revised Selected Papers/4th International Symposium, UTP 2012, Paris, France, August 2012
Using Esoteric Language for Teaching Formal Semantics
Verification and Evaluation of Computer and Communication Systems: Proc./12th International Conference, VECoS 2018, Grenoble, France, September 2018
Verified Software: Revised Selected Papers/9th International Conference, VSTTE 2017, Heidelberg, Germany, July 2017
Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/10th International Conference, VSTTE 2018, Oxford, UK, July 2018
Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/11th International Conference, VSTTE 2019, New York City, NY,USA, July 2019
Verified Software: Theories, Tools, Experiments: Proc./Third International Conference, VSTTE 2010, Edinburg,UK, August 2010
Virtual, Augmented and Mixed Reality: Design and Interaction, Part I: Proc./12th International Conference, VAMR 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 2020
Web Engineering: Proc./17th International Conference, ICWE 2017, Rome, Italy, June 2017
Web Engineering: Proc./19th International Conference, ICWE 2019, Daejeon, South Korea, June 2019
Web Engineering: Proc/20th International Conference, ICWE 2020, Helsinki, Finland, July 2020
Web Technologies and Applications: Proc./15th Asia-Pacific Web Conference, APWeb 2013, Sydney, Australia, April 2013
Автоматизация построения инструментария кросс-разработки программного обеспечения для расширяемых встраиваемых систем
Алгоритмический метод оптимизации оценки трудозатрат
Дедуктивная верификация Reflex-программ
Достижение целей структурного покрытия, определенных в DO-178C
Математическая модель и система планирования проектов разработки программного обеспечения
Метод построения эффективных моделей разработки программного обеспечения
Метод разработки систем программного обеспечения и его реализация для ЭВМ "МИНСК-32"
Программная инженерия и технологии программирования сложных систем. Учебник для ВУЗов, 2-е издание, исправленное и дополненное
Программное обеспечение и его разработка
Разработка алгоритмов и программного обеспечения для обработки изображений в методах цифровой трассерной визуализации
Разработка и отладка программ
Разработка системного программного обеспечения языковыми средствами высокого уровня