Yazar
Fischbach, Kai. editor.
Format:
Electronic Resources
Alıntı:
International Workshop on Modeling, Analysis and Management of Social Networks and their Applications, SOCNET
Yazar
Cunha, Jácome. editor. (orcid)0000-0002-4713-3834
Format:
Electronic Resources
Alıntı:
programming and programming languages -- Model synchronization management of software product families
Yazar
Bošnački, Dragan. editor.
Format:
Electronic Resources
Alıntı:
SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing -- River Basin Management
Yazar
Liu, Shaoying. editor.
Format:
Electronic Resources
Alıntı:
Management Mechanism for MSVL.
Yazar
Lang, Frédéric. editor.
Format:
Electronic Resources
Alıntı:
Properties of a Digital Hydraulic Power Management System -- Formal Analysis of a Fault-Tolerant Routing
Yazar
Albert, Elvira. editor.
Format:
Electronic Resources
Alıntı:
Integrated Modelling Process to Run-time Management of Many-Core Systems -- Verifying Behavioral UML Systems
Yazar
Casimiro, António. editor. (orcid)0000-0002-5522-5739
Format:
Electronic Resources
Alıntı:
Memory Management in Ada and SPARK -- Safe Non-Blocking Synchronization in Ada2x -- Handling Implicit
Yazar
Geuvers, Herman. editor. (orcid)0000-0003-2522-2980
Format:
Electronic Resources
Alıntı:
technologies, standards, algorithms, and processes; the Mathematical Knowledge Management track being concerned
Yazar
Egyed, Alexander. editor.
Format:
Electronic Resources
Alıntı:
Reasoning about Data-Management Applications -- Modeling and Adaptation -- Self-adaptive Software with
Yazar
Koch, Fernando. editor. (orcid)0000-0001-7136-3253
Format:
Electronic Resources
Alıntı:
: agents in healthcare; data science and decision systems in medicine; and knowledge management in
Yazar
Fodor, Paul. editor. (orcid)0000-0002-2978-676X
Format:
Electronic Resources
Alıntı:
for Operating Room Scheduling with Beds Management -- EASE: Enabling Hardware Assertion Synthesis from
Yazar
Qiu, Meikang. editor. (orcid)0000-0002-1004-0140
Format:
Electronic Resources
Alıntı:
of Smart Contracts from the Perspective of Concurrency -- A Blockchain Based Data Management System
Arama Sonuçlarını Sınırlandır
Daraltılmış: