Вы здесь

Главная

описание

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

Hierarchical Object Description Using Invariants
IDL - Interface Description Language
Implicit Definition of Logic Programs
JBCDL: An Object-Oriented Component Description Language
Linked Open Data - Creating Knowledge Out of Interlinked Data: Results of the LOD2 Project
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 2012
Logic Programming and Nonmonotonic Reasoning: Proc./13th International Conference, LPNMR 2015, Lexington,KY,USA, September 2015
Logic Programming, Functional Programming, and Inductive Definitions
LOTOS specification of the MAA standard, with an evaluation of LOTOS
Machine Descriptions to Build Tools for Embedded Systems
Mechanisms for Generic Process Support
Microsoft MS-DOS. Руководство пользователя
Microsoft Windows 2000 Administrator s Pocket Concultant
Modern Avionics Requirements for the Distributed Systems Annex
Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction: Revised Selected Papers/1st IAPR TC3 Workshop, MPRSS 2012, Tsukuba, Japan, November 2012
Notational Representation of Sign Language: A Structural Description of Hand Configuration
Object-Oriented Formal Specification Development using VDM
ORNL-RSH Package and Windows 03 PVM 3.4
PASCAL - SC. Sprachbeschreibung und Programmieranleitung
PIDL/Pascal: A Pascal-oriented Program Interface Description Language And Its Applications
Portable Run-Time Type Description for Conventional Compilers
Proving System Properties by Means of Trigger-Graph
QoS Aspect Languages and Their Runtime Integration
RAISE Specification of the MD4 Message Digest Algorithm
Relating Event and Trace Semantics of Hardware Description Languages
Relational Matching
Research and Application on Key Technologies of Component-Based Software Engineering
Reusing Requirements through a Modeling and Composition Support Tool
Rewriting with Constraints in T-Ruby
SDL 2017: Model-Driven Engineering for Future Internet: Proc./18th International SDL Forum, Budapest, Hungary, October 2017
Service Specification and Its Protocol Specifications in LOTOS - A Survey for Synthesis and Execution
SICStus Prolog User s Manual. Version 2.1 #9
Software Reuse for Dynamic Systems in the Cloud and Beyond: Proc./14th International Conference, ICSR 2015, Miami,FL,USA, January 2015
Structure and Behaviour in Hardware Verification
The CAML Reference Manual
The Language Lola, FPGAs, and PLDs in Teaching Digital Circuit Design
Theoretical Aspects of Computing - ICTAC 2010: Proc./7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 2010
The Representation of Data Security Standards in SDL
The Semantic Web: ESWC 2018 Satellite Events: Revised Selected Papers/ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 2018
The Semantic Web, Part I: Proc./14th International Conference, ESWC 2017, Portoroz, Slovenia, May 2017
Towards as ADL for Designing Agent-Based Systems
UML 1.4 versus UML 2.0 as Languages to Discribe Software Architectures
UNIX STREAMS Generation from a Formal Specification
Using Style to Understand Descriptions of Software Architecture
Using the UML for Architectural Description
Using UML Sequence Diagrams as the Basis for a Formal Test Description Language
USL - The Language of Natural State Machines
VDM specification of the MD4 message digest algorithm
W-Lisp- Sprachbeschreibung
XHDL: A development of CIRCAL. Its Graphical Representation and Simulation