Вы здесь

Главная

распределенная система

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

Theory and Applications of Models of Computation: Proc./16th International Conference, TAMC 2020, Changsha, China, October 2020
Theory and Applications of Models of Computation: Proc./6th Annual Conference, TAMC 2009, Changsha, China, May 2009
Theory and Applications of Satisfiability Testing - SAT 2009: Proc./12th International Conference, SAT 2009, Swansea, UK, June/July 2009
Theory and Practice in Distributed Systems
Theory and Practice of Natural Computing: Proc./10th International Conference, TPNC 2021, Tsukuba, Japan, December 2021
Theory of Cryptography, Part I: Proc./18th International Conference, TCC 2020, Durham,NC,USA, November 2020
The Reaction Algebra: A Formal Language for Event Correlation
The STL++ Coordination Language: A Base for Implementing Distributed Multi-agent Applications
The System Architecture of the Heidelberg Transport System
The Temporal Specification of Interfaces in Distributed Real-Time Systems
The ToolBus Coordination Architecture
The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools
The Use of the Object Repository in the Configuration of Control Systems at CERN
The Weakest Failure Detector for Solving Election Problems in Asynchronous Distributed Systems
Time in Distributed System Models and Algorithms
Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./23rd International Conference, TACAS 2017 Held as Part of ETAPS 2017, Uppsala, Sweden, April 2017
Tools and Algorithms for the Construction and Analysis of Systems: Proc./Second Intern. Workshop, TACAS 96. Passau, Germany, March 1996
Tools and Algorithms for the Construction and Analysis of Systems: Selected Papers/First Intern. Workshop, TACAS 95, Aarhus, Denmark, May 1995
Topics in Theoretical Computer Science: Revised Selected Papers/1st IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 2015
Toward Parametric Verification of Open Distributed Systems
Towards a "Good" Functional and Executable Behavior Model
Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems
Towards a Proof-Theoretic Foundation for Actor Specification and Verification
Towards a Service-Based Internet: Proc./4th European Conference, ServiceWave 2011, Poznan, Poland, October 2011
Towards a Service-Based Internet: Proc./Third European Conference, ServiceWave 2010, Ghent, Belgium, December 2010
Towards a Toolkit for Actor System Specification
Towards Designing Distributed Systems with ConDIL
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences: A Reference Model Guided Approach for Common Challenges
Transaction model vs Virtual Synchrony model: bridging the gap
Transactions in Stack, Fork, and Join Composite Systems
Transactions on Aspect-Oriented Software Development II
Transactions on Aspect-Oriented Software Development VIII
Transactions on Computational Collective Intelligence XV
Transactions on Computational Collective Intelligence XXVIII
Transactions on Computational Science VIII
Transactions on Computational Science XXXIV
Transactions on Large-Scale Data-and Knowledge-Centered Systems L
Transactions on Large-Scale Data-and Knowledge-Centered Systems XII
Transactions on Large-Scale Data-and Knowledge-Centered Systems XLVI
Transactions on Large-Scale Data-and Knowledge-Centered Systems XLV Special Issue on Data Management and Knowledge Extraction in Digital Ecosystems
Transactions on Large-Scale Data-and Knowledge-Centered Systems XXXVII
Transactions on Large-Scale Data-Knowledge-Centered Systems IX
Transactions on Petri Nets and Other Models of Concurrency II: Special Issue on Concurrency in Process-Aware Information Systems
Transactions on Petri Nets and Other Models of Concurrency IV
Transactions on Petri Nets and Other Models of Concurrency XII
Transactions on Petri Nets and Other Models of Concurrency XV
Transactions on Rough Sets XXII
Transformation-Based Reactive Systems Development: Proc./4th Intern. AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS 97. Palma, Mallorca, Spain, May 1997
Transformation verteilter Systeme: Von applikativen zu prozeduralen Darstellungen
Trastworthy Global Computing: Revised Selected Papers/8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 2013