15 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Bernardo, Marco. editor.
Format:
Electronic Resources
Alıntı:
topics such as concurrency and coordination mechanisms, architecture and memory models and type systems.
Yazar
Bansal, Nikhil. editor.
Format:
Electronic Resources
Alıntı:
and formal languages; concurrency; constraints, logic and semantic; software architecture and
View Other Search Results
Yazar
Leucker, Martin. editor.
Format:
Electronic Resources
Alıntı:
and formal languages; concurrency; constraints, logic and semantic; software architecture and
Yazar
Holzer, Markus. editor.
Format:
Electronic Resources
Alıntı:
image compression, design and architecture of automata software, digital libraries, DNA/molecular
Yazar
de la Puente, Juan Antonio. editor.
Format:
Electronic Resources
Alıntı:
Slicing for Safety-Critical Systems.- A Novel Run-Time Monitoring Architecture for Safe and Efficient
Yazar
Hudec, Miroslav. author.
Format:
Electronic Resources
Alıntı:
architecture adjusted specifically for the aims of business and governmental agencies, and shows fuzzy rules
Yazar
Lanese, Ivan. editor.
Format:
Electronic Resources
Alıntı:
Component-Oriented Interpolation -- Adaptation and Evolution -- Impact Models for Architecture-Based Self-adaptive
Yazar
O’Regan, Gerard. author.
Format:
Electronic Resources
Alıntı:
Discusses UML, which is used to describe the architecture of the system Reviews the history of the field of
Yazar
Jones, Richard. editor.
Format:
Electronic Resources
Alıntı:
Compositional Architecture for Gossip Protocols -- Semantics of Resilient) X10.
Yazar
Proietti, Maurizio. editor.
Format:
Electronic Resources
Alıntı:
Architecture ACT-R -- CHRAnimation: An Animation Tool for Constraint Handling Rules -- Termination Analysis
Yazar
Rayadurgam, Sanjai. editor.
Format:
Electronic Resources
Alıntı:
Architectures of Systems -- On Implementing Real-time Specification Patterns Using Observers -- Contract-Based
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
by Synthesis -- SysML2B: Automatic Tool for B Project Graphical Architecture Design using SysML
15 sonuç bulundu