Вы здесь

Главная

структурный

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

Structural Specification-Based Testing: Automated Support and Experimental Evaluation
Structural, Syntactic, and Statistical Pattern Recognition: Proc./Joint IAPR International Workshop, S+SSPR 2016, Merida, Mexico, November 2016
Structural Techniques and Performance Bounds of Stochastic Petri Net Models
Structural Testing of Rule-Based Expert Systems
Structural Testing Strategies Applied to Knowledge-Based Systems
Structured Analysis and Object-Oriented Development are not Compatible
Structured and Formal Methods: An Investigative Framework
Structured Answers for a Large Structured Document Collection
Structured Documents in a Scientific Environment: the LATEX-Approach
Structured Inheritance for Algebraic Class Specification
Structured Objects: Modeling and Reasoning
Structured Operational Semantics for Concurrency and Hierarchy
Structured Operational Semantics for Process Algebras and Equational Axiom Systems
Structured Programming in Java
Structured Solution of Asynchronously Communicating Stochastic Modules
Structuring Iterators to Encourage Reuse
Structuring parallel algorithms in an MIMD, shared memory environment
Summarising an Experiment in Parallel Programming Language Design
Targeting Heterogeneous Architectures in ASSIST: Experimental Results
Term Rewriting Properties of SOS Axiomatisations
Tests and Proofs: Proc./6th International Conference, TAP 2012, Prague, Czech Republic, May 2012
Text / Relational Database Management Systems: Harmonizing SQL and SGML
The BOS-Method Architecture: An Improved Structured Approach for the Development of Distributed Information Systems
The ELF Data Model and SGQL Query Language for Structured Document Databases
The Expressive Power of Structural Operational Semantics with Explicit Assumptions
The Feasibility of CASE Structured Analysis Methodology Support
The Hardware Description Language KARL-III: its Integration into a CAD Tool Box for VLSI
The Hierarchy of Codes
The Role of Normalisation in Testing from Structured Algebraic Specifications
The Structured Constructing as a Discipline of Safe Programming and Instruments Supporting It
Toward Formalizing Structured Analysis
Towards a Categorical Data Model Supporting Structured Objects and Inheritance
Towards Dynamic Population Management of Abstract Machines in the B Method
Transformation-by-Example for XML
TrellisDAG: A System for Structured DAG Scheduling
User Behaviour in the Context of Structured Documents
Using Object Oriented Structured Development to Implement a Hybrid System
Using Structural Computing to Support Information Integration
Using Structural Recursion as Query Mechanism for Data Models with References
Varianten der Abbildung NF2-strukturierter Daten auf Relationen erster Normalform
Verification-Oriented Language C-Light and Its Structural Operational Semantics
VLSI-Algorithmen: innovative Schaltungstechnic statt Software
Weak Sequential Composition in Process Algebras
Абстрактные интерфейсы как структурный аналог множественного наследования
Автоматический структурный анализ текстов
Алгебро-алгоритмические аспекты полноты: абстракции, биология и экология
Алгебры гиперсхем и интегрированный инструментарий синтеза программ в современных объектно-ориентированных средах
Анализ и интерпретация незавершенных программ при структурном конструировании
Анализ и интерпретация незавершённых программ при структурном конструировании
Архитектурно-структурная организация и формализованное проектирование микро-ЭВМ