Yazar
Merayo, Mercedes G. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
Yazar
Dingel, Juergen. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
Yazar
Fischbach, Kai. editor.
Format:
Electronic Resources
Alıntı:
International Workshop on Modeling, Analysis and Management of Social Networks and their Applications, SOCNET
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
Beierle, Christoph. editor.
Format:
Electronic Resources
Alıntı:
information, information fusion, integrity and constraint management, intelligent agents, knowledge discovery
Yazar
Ciobanu, Gabriel. editor.
Format:
Electronic Resources
Alıntı:
foundations in environmental modeling and monitoring, healthcare, and disaster management.
Yazar
Bonakdarpour, Borzoo. editor.
Format:
Electronic Resources
Alıntı:
FPGAs: Flight-Certifiable System Health Management for Embedded Systems -- On-Line Monitoring for
Yazar
Shi, Zhongzhi. editor.
Format:
Electronic Resources
Alıntı:
Agent-Based Autonomous Management Approach to Dynamic Services -- Research and Application Analysis of Feature
Yazar
Counsell, Steve. editor.
Format:
Electronic Resources
Alıntı:
Agent-Based Tool for the Management of Fishing Effort.- Certifying Machine Code Safe from Hardware Aliasing
Yazar
Biere, Armin. editor.
Format:
Electronic Resources
Alıntı:
Monitoring of Privacy Policies -- String Constraints for Verification -- A Conference Management System with
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
-- Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems -- Status Report on
Arama Sonuçlarını Sınırlandır
Daraltılmış: