Вы здесь

Главная

описание

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

Abstract State Machines for the Composition of Architectural Styles
A Cjgnitive Model for the Process of Multimodal^ Incremental Route Descriptions
A Classification and Comparison Framework for Software Architecture Description Languages
A Coalgebraic Description of Web Interactions
A Conceptual Framework for the Characterization of Petri Net Description Techniques
Active Directory Services for Microsoft Windows 2000: Technical Reference
Affix Grammars for Programming Languages
A Formal Definition for the Expressive Power of Knowledge Representation Languages
A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronization
An Animatable Operational Semantics of the Verilog Hardware Description Language
An Experience in Proving Regular Networks of Processes by Modular Model Checking
An Object-Oriented Data Model for Artificial Intelligence Application
An XML-Based Runtime user Interface Description Language for Mobile Computing Devices
A Petri Net Approach for the Analysis of VHDL Descriptions
A Survey of GCLA: A Definitional Approach to Logic Programming
A Transaction-Oriented Workflow Activity Model
Calculating Digital Counters
Chinese Lexical Semantics: Revised Selected Papers/18th Workshop, CLSW 2017, Leshan, China, May 2017
Combinatorics on Words: Proc./11th International Conference, WORDS 2017, Montreal,QC,Canada, September 2017
Combining Model-Oriented and Description-Oriented Approaches for Probabilistic Indexing
Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language
Component Interface Reuse through Description and Translation
Computational Processing of the Portuguese Language: Proc./10th International Conference, PROPOR 2012, Coimbra, Portugal, April 2012
Computational Processing of the Portuguese Language: Proc./11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil. October 2014
Computer Vision - ACCV 2014 Workshops, Part I: Revised Selected Papers/Singapore, Singapore, November 2014
Conceptual Modeling of Database Applications
DAOP-ADL: An Architecture Description Language for Dynamic Component and Aspect-Based Development
DataScript - A Specification and Scripting Language for Binary Data
Data Warehousing with Microsoft SQL Server 7.0 Technical Reference
Defining Process Fairness for Non-Interleaving Concurrency
Degrees of Formality in Shallow Embedding Hardware Description Languages in HOL
Describing Business Processes with a Guided Use Case Approach
Describing Fractal Processes with UML
Describing Process Patterns with UML
Descriptional Complexity of Formal Systems: Proc./15th International Workshop, DCFS 2013, London,ON,Canada, July 2013
Descriptional Complexity of Formal Systems: Proc./17th International Workshop, DCFS 2015, Waterloo,ON,Canada, June 2015
Description Logics with Aggregates and Concrete Domains
Die Hardwarebeschreibungssprache KARL II. Sprachbeschreibung
Discrete Geometry for Computer Imagery: Proc./19th IAPR International Conference, DGCI 2016, Nantes, France, April 2016
Distribution of strategies in a formalism of multi-agent systems
DLp: A Description Logic for Extracting and Managing Complex Terminological and Structural Properties from Database Schemes
EDIF: Device Modeling and Verification Technical Subcommittee. Device Descriptions. EDIF Version 205 Proposal No.DM&V-3 Version 1.0
Edison, a Unix and C friendly Rete Based Production System
Eine objekt-orientierte Sprache fur die Modellierung von Software-Prozessen
Erlang User s Guide & Reference Manual. Version 3.2
Experiments in Process Interface Descriptions, Visualizations and Analyses
Formal Concept Analysis: Proc./11th International Conference, ICFCA 2013, Dresden, Germany, May 2013
Formal Description Techniques and Security Standard Conformance Testing
Formal Methods for Quantitative Aspects of Programming Languages: Advanced Lectures/10th International School on FM for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 2010
Functional and Logic Programming: Proc./10th International Symposium, FLOPS 2010, Sendai, Japan, April 2010