Вы здесь

Главная

конструирование

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

Advanced Internet Based Systems and Applications: Revised Selected Papers/2nd International Conference, SITIS 2006, Hammamet, Tunisia, December 2006
Big Data Analytics: Proc./1st International Conference, BDA 2012, New Delhi, India, December 2012
Compiler Construction: Proc./15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006. Vienna, Austria, March 2006
Compiler Construction: Proc./4th International Conference, CC 92. Paderborn, FRG, October 1992
Compiler Construction: Proc./5th Intern. Conf., CC 94. Edinburgh, U.K., April 1994
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Revised Selected Papers/International Workshop, CASSIS 2004. Marseille, France, March 2004
Construction of Programs- an Alternative to Automatic Synthesis
Cosy Compiler Phase Embedding with the COSY Compiler Model
Database Systems: A Practical Approach to Design, Implementation, and Management
Design and Implementation of a Hybrid Agent Platform
Efficient Construction of Program Dependence Graphs
First-Class Relationships in an Object-Oriented Language
FOLON: An Environment for Declarative Construction of Logic Programs
Functional and Logic Programming: Proc./12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 2014
Fun with Algorithms: Proc./4th International Conference, FUN 2007. Castiglioncello, Italy, June 2007
Informatika 91: Theoretical Computer Science and Methods of Compilation and Program Construction.
Invariant Based Programmming
Mathematics of Program Construction: Proc./10th International Conference, MPC 2010, Quebec City, Canada, June 2010
Mathematics of Program Construction: Proc./12th International Conference, MPC 2015, Konigswinter, Germany, June 2015
Mathematics of Program Construction: Proc./8th International Conference, MPC 2006. Kuressaare, Estonia, July 2006
Mathematics of Program Construction: Proc./9th International Conference, MPC 2008. Marseille, France, July 2008
On Program Construction in a Programmer s Working Site
Ontology-based constructing and maintaining of Wiki-systems
Optical Network Design and Modeling: Proc./11th International IFIP TC6 Conference, ONDM 2007. Athens, Greece, May 2007
Product-Focused Software Process Improvement: Proc./12th International Conference, PROFES 2011, Torre Canne, Italy, June 2011
Programming Languages and Systems: Proc./10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 2012
Rule-Based Modeling and Computing on the Semantic Web: Proc./5th International Symposium, RuleML 2011-America, Ft.Lauderdale,FL,USA, Novembrt 2011
Rule Interchange and Applications: Proc./International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 2009
Semantic Technology: Proc./9th International Conference, JIST 2019, Hangzhou, China, November 2019
Slicing: срезы программ и их использование
Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 2013
Software Language Engineering: Revised Selected Papers/2nd International Conference, SLE 2009, Denver,CO,USA, October 2009
Theory and Applications of Models of Computation: Proc./6th Annual Conference, TAMC 2009, Changsha, China, May 2009
Third-Party Solutions for Architecture/Engineering/Construction on Sun Workstations
Tools and Algorithms for the Construction and Analysis of Systems: Proc./11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005. Edinburgh, UK, April 2005
Автоматизированное конструирование программ на основе генерирующих модулей
Автоматизированное конструирование программ на основе генерирующих модулей
Автоматизированный практикум по методам конструирования компиляторов
Анализ и интерпретация незавершенных программ при структурном конструировании
Анализ и интерпретация незавершённых программ при структурном конструировании
Интегрированная визуальная среда поддержки конструирования параллельных программ
Интерпретатор незавершенных программ
Информационно-инструментальная система анализа и преобразования программ
Конструирование алгоритмов символьной обработки
Конструирование и оптимизация параллельных программ
Конструирование и оптимизация программ
Конструирование компиляторов для цифровых вычислительных машин
Конструирование прикладных программ и программных систем от алгоритмов к программам
Конструирование программ в рабочем месте программиста: виды конструирования и инструментальный базис
Конструирование программных средств интеллектуализации