Вы здесь

Главная

разработка

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

Integrating Software Engineering Technologies for Embedded Systems Development
Integration Tools Supporting Development Processes
Integrative Software Development of Java, .NET & Co
Intelligent Data Engineering and Automated Learning - IDEAL 2016: Proc./17th International Conference, Yangzhou, China, October 2016
Intelligent Tutoring Systems: Proc./11th International Conference, ITS 2012, Chania, Crete, Greece, June 2012
(Inter-)Action Refinement: The Easy Way Compositional Refinement of Interactive Systems
Interactive Systems. Design, Specification, and Verification: Revised Paper/13th International Workshop,DSVIS 2006 Dublin,Ireland,July 2006
Intercultural Collaboration: Invited and Selected Papers/First International Workshop, IWIC 2007. Kyoto, Japan, January 2007
Interpersonal Skills for Cooperative User-Analyst Relationships: Some Research Issues
Interpretable Process Models for Software Development and Workflow
Interval Reduction Through Requirements Analysis
Introducing Data Decomposition into VDM for Tractable Development of Programs
Introducing HOOD into Software Process Modelling Based Environments
Introducing Microsoft.NET
Issues Encountered in Biulding a Flexible Software Development Environment
Java-приложение без программирования
Knowledge-Based Intelligent Information and Engineering Systems. Part III: Proc./12th International Conference, KES 2008, Zagreb, Croatia, September 2008
Knowledge Engineering and Knowledge Management: Proc./19th International Conference, EKAW 2014, Linkoping, Sweden, November 2014
Knowledge Engineering and Knowledge Management: Revised Selected Papers/EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linkoping, Sweden, November 2014
Knowledge Management and Acquisition for Smart Systems and Services: Proc./13th Pacific Rim Knowledge Acquisition Workshop, PKAW 2014, Gold Cost,Qld,Australia, December 2014
Knowledge Science, Engineering and Management: Proc./4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 2010
Knowledge Science, Engineering and Management: Proc./6th International Conference, KSEM 2013, Dalian, China, August 2013
KORSO Reference Languages Concepts and Application Domains
Kylix 2: первый взгляд
Kylix 2: создание Web-сервисов в среде Linux
Language and Automata Theory and Applications: Proc./10th International Conference, LATA 2016, Prague, Czech Republic, March 2016
Language, Culture, Computation: Computing - Theory and Technology: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I
Languages and Compilers for Parallel Computing: Revised Selected Papers/21st International Workshop, LCPC 2008. Edmonton, Canada, July/August 2008
Languages and Interactive Software Development
Languages, Methodologies and Development Tools for Multi-Agent Systems: Revised Selected and Invited Papers/First International Workshop, LADS 2007. Durham, UK, September 2007
La Programmation Systeme
Large Scale Object-Oriented Software-Development in a Banking Environment
LDM: A Logical Computing Systems Development Method
"Leave the Programmers Alone" - A Case Study
Lecture Notes on Formal Program Development
Lessons Learned from the OS/400 OO Project
Lessons learned through six years of component-based development
Leveraging Applications of Formal Methods: Revised Selected Papers/1st International Symposium, ISoLA 2004. Paphos, Cyprus, October/November 2004
Leveraging Inconsistency in Software Development
Literature Mathematical Development of a Revision Management System
Logical Aspects of Computational Linguistic: Proc./6th International Conference, LACL 2011, Montpellier, France, June/July 2011
Logical Specifications for Functional Programs
Logic Based Program Synthesis and Transformation: Revised Selected Papers/12th Intern. Workshop, LOPSTR 2002, Madrid, Spain, September 2002
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 2012
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/25th International Symposium, LOPSTR 2015, Siena, Italy, July 2015
Logic for Component-Based Software Development
LSD: Logical Systems Development
Machine Descriptions to Build Tools for Embedded Systems
Maintainability through Architecture Development
Making a Method Work for a Project Situation in the Context of CMM