Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
структурный
Связанные издания:
About the Difficulties of Building a Pretty-Printer for Ada
Abstract Visualization of Software. A Basis for a Complex Hash-Key?
A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
A Conceptual-Modeling Approach to Extracting Data from the Web
A Congruence Theorem for Structured Operational Semantics with Predicates
A Controlled Experiment for Validating Class Diagram Structural Complexity Metrics
A CPU Scheduling Simulation From Structured Programming to Object-Oriented Design
A Depository for Structured Text Objects
Administering Structured Documents in Digital Libraries
Advances in Information Retrieval: Proc./25th European Conf. on IR Research, ECIR 2003, Pisa, Italy, April 2003
A Framework for Requirements Analysis Using Automated Reasoning
A Grand Unified Theory for Structural Computing
A Lightweight XML Constraint Check and Update Framework
A Matching Algorithm for Measuring the Structural Similarity between an XML Document and a DTD and Its Applications
A Methodology for Software Cost Estimation
An Abstraction-Based Rule Approach to Large-Scale Information Systems Development
An algebraic view of structural induction
Analysis of Facile Programs: A Case Study
An Effecient Algorithm for Finding Structural Deadlocks in Colored Petri Nets
A Nesting Sensitive Complexity Metric
A Polinomial-time Graph Algorithm to Decide Liveness of some Basic Classes of Bounded Petri Nets
Applying Object-Oriented Analysis on a Case Study
A Pragmatic Survey of Automated Debugging
A Quick Introduction to the Programming Language MIKE
Architectures for Second Generation Knowledge Based Systems
A Reappraisal of Structured Analysis: Design in an Organizational Context
A Reuse-Oriented Framework for Hierarchical Specifications
A Structural Approach for the Analysis of Petri Nets by Reduced Unfoldings
A Structural Computing Model for Dynamic Service-Based Systems
A Structure-Based Approach to Querying Semi-structured Data
A Structured Analysis Formalism with Execution Semantics to Allow Unambiguous Model Interpretation
A Structured Approach to Object-Oriented Design
A Structured TCP in Standard ML
A Structured Testing Methodology for Knowledge-Based Systems
A Survey of Current Method Usage for Software Development in the UK
Attributed Document Grammars
A Two-Dimensional View of Integrated Formal and Informal Specification Techniques
Automatic Construction of Validated B Components from Structured Developments
Automatic Test Data Generation using Constraint Solving Techniques
Bayesian and grAphical Models for Biomedical Imaging: Revised Selected Papers/1st International Workshop, BAMBI 2014, Cambridge,MA,USA, September 2014
Bioinformatics Research and Applications: Proc./14th International Symposium, ISBRA 2018, Beijing, China, June 2018
Biometric Recognition: Proc./7th Chinese Conference, CCBR 2012, Guangzhou, China, December 2012
Broadening Structural Computing towards Hypermedia Development
CASE ARS - интегрированная среда построения прикладных программных систем с помо ью структурно-модульных методов
Cell Abstract Indices for Content-Based Approximate Query Processing in Structured Peer-to-Peer Data Systems
Centralized versus Decentralized Computing: Organizational Considerations and Management Options
Cluster Analysis for Hypertext Systems
CML: The CommonKADS Conceptual Modelling Language
Combinatorial Algorithms: Revised Selected Papers/23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 2012
COM+ Developer s Reference Library. Structured Storage and ActiveX
1
2
3
4
5
6
следующая ›
последняя »