Вы здесь

Главная

техника

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

13-е ежегодные премии за техническое совершенство
A Formal Knowledge Level Process Model of Requirements Engineering
AT and T 5ESS Switch Hardware Development Methodology: A Procedure for Ensuring Quality
Communication Technologies for Vehicles: Proc./4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 2012
Formal Methods for Quantitative Aspects of Programming Languages: Advanced Lectures/10th International School on FM for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 2010
High Performance Computing and Applications: Revised Selected Papers/3rd International Conference, HPCA 2015, Shanghai, China, July 2015
Managing Design Changes
Mining Intelligence and Knowledge Exploration: Proc./7th International Conference, MIKE 2019, Goa, India, December 2019
NASA Formal Methods: Proc./4th International Symposium, NFM 2012, Norfolk,VA,USA, April 2012
Replication: Theory and Practice
Speech and Computer: Proc./20th International Conference, SPECOM 2018, Leipzig, Germany, September 2018
Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 2021
Transactional Memory: Foundations, Algorithms, Tools, and Applications: COST Action Euro-TM IC1001
Взлет и падение нашей вычислительной техники
Взлет и падение советской вычислительной техники. Часть 2. Переход на ЕС ЭВМ
Зарубежные базы данных по программным средствам вычислительной техники
Инструментальная система разработки языковых средств микропроцессорной техники
Программирование микропроцессорной техники: Сборник трудов целевой подгруппы по технологии программирования микропроцессорной техники
Технологии и техника параллельного программирования
Технология программирования микропроцессорной техники: Сборник трудов
Функциональное программирование. Парадигма, модели и методы