Вы здесь

Главная

стандарт

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

A Branch-and-Bound Algorithm for the Construction of Reversible Variable Length Codes
A CMM-Based Evaluation of the V-Model 97
A COS Study of OSI Interoperability
Ada 2005 Rationale
Ada 95 Rationale: The Language, The Standard Libraries
Ada 95 Reference Manual: Language and Standard Libraries; International Standard ISO/IEC 8652:1995(E)
Advanced Encryption Standard - AES: Revised Selected and Invited Papers: 4th International Conference, AES 2004. Bonn, Germany, May 2004
A Formal Framework for Authentication
A Formal Interpretation of the MAA Standard in Z
A Functional Overview of the Core System with Glossary
Alternative Approaches to Standardization and Portability for Forth
A Methodology to Define External Schemas in ODMG Databases
An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard
Analysis and Refutation of the LCAS
Analysis of a Conflict between Aggregation and Interface Negotiation in Microsoft s Component Object Model
An Exact Method for Analysis of Value-based Array Data Dependences
An Integrated Collection of Software Engineering Standards
An Introduction to the ASN.1 MACRO Replacement Notation
An Overview of the ISO/VDM-SL Standard
Approved Ada Uniformity Issues
A Quality Model for the Ada Standard Container Library
A Standard for Safety Management in Design
A Strategy for Improving Safety Related Software Engineering Standards
Binding-Time Analysis for Standard ML
Building Consensus for Ada 9X
Case Study: Specification and Refinement of the PI-Bus
CASE-средства и объектные базы данных
CGM - международный стандарт на графический метафайл
Computer Programming as an Art
Computing A*B (mod N) Efficiently in ANSI C
Computing and Accountability
Could the OODB Standards be Better if More Grounded?
Data Integration in the Life Science: Proc./11th International Conference, DILS 2015, Los Angeles,CA,USA, July 2015
Design, User Experience, and Usability. Theory, Methods, Tools and Practice, Part I: Proc./First International Conference, DUXU 2011, Held as Part of HCI International 2011, Orlando,FL,USA, July 2011
Development of a Multimedia Archiving Teleservice using the DFR Standard
Diluting ACID
Distributed Transaction Processing in the IBC
Emerging Network Security Standards in an OSI Environment
End-to-end Service Management with Multiple Providers
Estimating the Effort of Implementing ISO 9001 in Software Organizations
Evaluating a user interface with ergonomic criteria
Evidential Volume Approach for Certification
Evoluting of Messaging Standards
Evolution of the C++ Standard Library
Experiences with Distributed Objects
Fast Software Encryption: Proc./ 6th International Workshop, FSE 99, Rome, Italy, March 1999
Fast Software Encryption: Revisrd Selected Papers/18th International Workshop, FSE 2011, Lyngby, Denmark, February 2011
Finally, A Binary UNIX PC Standard
Formal Description Techniques and Security Standard Conformance Testing
Formal Description Techniques in Data Security: An Evaluation and Comparison