Вы здесь

Главная

методология

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

FOOM and OPM Methodologies - Experimental Comparison of User Comprehension
For a New Real-Time Methodology
Formal Development of Databases in ASSO and B
Formal Methods for Components and Objects: Proc./First Intern. Symp., FMCO 2002, Leiden, The Netherlands, November 2002
Formal methods, structured techniques, and security - A unified methodology
Foundations of Intelligent Systems: Proc./11th Intern. Symp., ISMIS 99. Warsaw, Poland, June 1999
Foundations of Intelligent Systems: Proc./17th International Symposium, ISMIS 2008. Toronto, Canada, May 2008
Foundations of Software Science and Computation Structures: Proc./Second Intern. Conf., FOSSACS 99, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 99. Amsterdam, The Netherlands, March 1999
Friends Need a Bit More: Maintaining Invariants Over Shared State
From Events to Objects: The Heresy of Event-Orientation in a World of Objects
From Formal Models to Formally Based Methods: An Industrial Experience
Functional Skeletons for Parallel Coordination
Fuzzy Boundaries: Objects, Components and Web Services
Fuzzy Sets and Systems - IFSA 2003: Proc./10th Intern. Fuzzy Systems Association World Congress, Istanbul, Turkey, June-July 2003
Genetic Programming: Proc./5th European Conf., EuroGP 2002, Kinsale, Ireland, April 2002
Genetic Programming: Proc./Second European Workshop, Euro GP 99. Goteborg, Sweden, May 1999
Grundlagen von Datenbanken: Kurzfassungen des 3.Gl-Workshpos, Volkse, 21.-24. May 1991
HAZard Identification in Programmable Systems: A Methodology and Case Study
HERM: Putting Theory into Practice
Heterogeneous Information Systems Integration: Organizations and Methodologies
Hierarchical Meta-logics: Intuitions, Proof Theory and Semantics
High Performance Computing for Computational Science - VECPAR 2016: Revised Selected Papers/12th International Conference, Porto, Portugal, June 2016
High Performance Computing in Science and Engineering: Revised Selected Papers/3rd International Conference, HPCSE 2017, Karolinka, Czech Republic, May 2017
High Performance Computing in Science and Engineering: Revised Selected Papers/4th International Conference, HPCSE 2019, Karolinka, Czech Republic, May 2019
Holonic and Multi-Agent Systems for Manufacturing: Proc./Second International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2005. Copenhagen, Denmark, August 2005
How to Combine Data Abstraction and Model Refinement: A Methodological Contribution in MACAO
How to Cook a Complete Hoare Logic for Your Pet OO Language
How to Write Fortran in Any Language
How to Write Parallel Programs: A Guide to the Perplexed
Image Analysis and Recognition: Proc./5th International Conference, ICIAR 2008. Povoa de Varzim, Portugal, June 2008
Implementation of structured methodology into credit institution
Implementation of the Software to Perform the Calculation of the Set Points and the Servo Control of the Actuator System
Implementing a Methodology for Formally Verifying RISC Processors in HOL
Improving Reusability in Object-Oriented Programming: The Molecule
Industrial Applications of Holonic and Multi-Agent Systems: Proc./8th International Conference, HoloMAS 2017, Lyon, France, August 2017
Inferred Designs
Institutions for Very Abstract Specifcations
Integration of AI and OR Techniques in Constraint Programming: Proc./11th International Conference, CPAIOR 2014, Cork, Ireland, May 2014
Intelligent Agents VIII - Agent Theories, Architectures, and Languages: Proc./8th Intern. Workshop, ATAL 2001, Seattle, WA, USA, August 2001
Intelligent Computing: Theories and Methodologies, Part I: Proc./11th International Conference, ICIC 2015, Fuzhou, China, August 2015
Intelligent Software Methodologies, Tools and Techniques: Proc./14th International Conference, SoMeT 2015, Naples, Italy, September 2015
Interaction-Oriented Programming
Interface Compilation: Steps Toward Compiling Program Interfaces as Languages
Introducing SSADM4+ and PRINCE
Issues on Hypertext Design
Knowledge-Based Intelligent Information and Engineering Systems. Part III: Proc./12th International Conference, KES 2008, Zagreb, Croatia, September 2008
Knowledge Engineering and Knowledge Management: Revised Slected Papers/EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 2017
Languages and Compilers for Parallel Computing: Revised Selected Papers/26th International Workshop, LCPC 2013, San Jose,CA,USA, September 2013
Languages, Methodologies and Development Tools for Multi-Agent Systems: Revised Selected and Invited Papers/First International Workshop, LADS 2007. Durham, UK, September 2007
Learning Software Organizations. Metodology and Applications: Proc./ 11th International Conference on Software Engineering and Knowledge Engineering, SEKE 99. Kaiserslautern, Germany, June 1999