Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
технология
Связанные издания:
Exploitation of Software Test Technology
Exploiting Reusable Specifications Throuph Analogy
Exploring the Software Engineering Component in MIS Research
Extending Database Technology
Extending Multi-agent Cooperation by Overhearing
Extending the Software Process Culture - An Approach Based on Groupware and Workflow
Extracting an Entity Relationship Schema from a Relational Database through Reverse Engineering
Extreme Programming and Agile Methods - XP/Agile Universe 2004: Proc./4th Conference on Extreme Programming and Agile Methods. Calgary, Canada, August 2004
Extreme Programming and Agile Processes in Software Engineering: Proc./7th International Conference, XP 2006. Oulu, Finland, June 2006
Facets of Software Development
FAMOOS Workshop on Object-Oriented Software Evolution and Re-engineering
Fast Packet Technology for Future Switches
Federated CASE Environment
Feyerabend: Redefining Computing
FFT Compiler Techniques
Five Hurdles to the Successful Adoption of Component-Based COTS in a Corporate Setting
Formal Approaches to Agent-Based Systems: Revised Papers/Second Intern. Workshop, FAABS 2002, Greenbelt, MD, USA, October 2002
Formal Approach to Software Architecture
Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Formal Methods and Software Engineering: Proc./7th International Conference on Formal Engineering Methods, ICFEM 2005. Manchester, UK, November 2005
Formal Methods and Software Engineering: Proc./8th International Conference ICFEM 2006, Macao,China,November 2006
Formal Methods: Applications and Technology: Revised Selected Papers/11th Intl WS FMICS 2006 & 5th Intl WS PDMC 2006. Bonn, Germany, August 2006
Formal Methods at the Crossroads - From Panacea to Foundations Support: Proc./10th Anniversary Colloq. of UNU-IIST, Lisbon, Portugal, March 2002
Formal Methods for Components and Objects: Revised Lectures/Third International Symposium, FMCO 2004. Leiden, The Netherlands, November 2004
Formal Methods for Executable Software Models: Advanced Lectures/14th International School on FM for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 2014
Formal Methods for Open Object-Based Distributed Systems: Proc./10th IFIP WG 6.1 International Conference, FMOODS 2008. Oslo, Norway, June 2008
Formal Methods for Open Object-Based Distributed Systems: Proc./7th IFIP WG 6.1 International Conference, FMOODS 2005. Athens, Greece, June 2005
Formal Methods in IT Security Standards - Scope for Usage
Formal Techniques for Computer Systems and Business Processes: Proc./European Performance Engineering Workshop,EPEW 2005, Inter.Workshop WS-FM 2005. Versailles,France,September 2005
Formal Techniques for Distributed Objects, Components, and Systems: Proc./35th IFIP WG 6.1 International Conference, FORTE 2015 Held as Part of the International Federated Conference, DisCoTec 2015, Grenoble, France, June 2015
Formal Techniques for Distributed Objects, Components, and Systems: Proc./38th IFIP WG 6.1 International Conference, FORTE 2018 Held as Part of the 13th International Federated Conference, DisCoTec 2018, Madrid, Spain, June 2018
Formal Techniques for Networked and Distributed Systems - FORTE 2006: Proc./26th IFIP WG 6.1 International Conference. Paris, France, September 2006
Foundations of Augmented Cognition: Proc./Third International Conference, FAC 2007, Held as Part of HCI International 2007. Beijing, China, July 2007
Foundations of Computer Science: Potential - Theory - Cognition
Foundations of Health Information Engineering and Systems: Revised Selected Papers/2nd International Symposium, FHIES 2012, Paris, France, August 2012
Foundations of Software Technology and Theoretical Computer Science
Foundations of Software Technology and Theoretical Computer Science: Proc./12th Conf., New Delhi, India, December 1992
Foundations of Software Technology and Theoretical Computer Science: Proc./14th Conf. Madras, India, December 1994
Foundations of Software Technology and Theoretical Computer Science: Proc./15th Conf. Bangalore, India, December 1995
Foundations of Software Technology and Theoretical Computer Science: Proc./16th Conf. Hyderabad, India, December 1996
Foundations of Software Technology and Theoretical Computer Science: Proc./17th Conf. Kharagpur, India, December 1997
Framed Aspects: Supporting Variability and Configurability for AOP
Frameworks in the Financial Engineering Domain an Experience Report
From Analysis to Code Generation: Experiences from an Information Engineering Project Using I-CASE Technology
From CASE to CARE (Computer-Aided Requirements Engineering)
From Custom Applications to Domain-Specific Frameworks
From "Formal Methods" to System Modeling
From Here to Mobility
From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering
« первая
‹ предыдущая
…
6
7
8
9
10
11
12
13
14
…
следующая ›
последняя »