Yazar
Börger, Egon. author.
Format:
Electronic Resources
Alıntı:
Distributed Dystems -- 7 Syntax and Semantics of ASMs -- 8 Debugging System Design (CoreASM) -- 9 Control
Yazar
Weyers, Benjamin. editor.
Format:
Electronic Resources
Alıntı:
-- Learning Safe Interactions and Full-Control -- Reasoning About Interactive Systems in Dynamic Situations of
Yazar
Hudec, Miroslav. author.
Format:
Electronic Resources
Alıntı:
conditions, while Chapter 3 focuses on linguistic summaries. Chapter 4 presents fuzzy logic control
Yazar
Lecomte, Thierry. editor.
Format:
Electronic Resources
Alıntı:
-- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking -- Correct Formalization
Yazar
Blesa, Maria J. editor.
Format:
Electronic Resources
Alıntı:
Acceleration in PSO -- Districting and Routing for Security Control -- A GRASP/VND Heuristic for a Generalized
Yazar
Hameurlain, Abdelkader. editor.
Format:
Electronic Resources
Alıntı:
decentralized control. Synergy between grids, P2P systems, and agent technologies is the key to data- and
Yazar
Gnesi, Stefania. editor.
Format:
Electronic Resources
Alıntı:
Verification of Medical Device User Interfaces Using PVS -- Sound Control Flow Graph Extraction from Incomplete
Yazar
Furia, Carlo A. editor.
Format:
Electronic Resources
Alıntı:
: Differences Between KeY and OpenJML -- Design and Verification of Restart-robust Industrial Control Software
Yazar
Müller, Peter. editor.
Format:
Electronic Resources
Alıntı:
Semantics via Strong Semantics -- Recipes for Coffee — Compositional Construction of JAVA Control Flow
Yazar
Hinchey, Mike. editor.
Format:
Electronic Resources
Alıntı:
As computers increasingly control the systems and services we depend upon within our daily lives
Yazar
Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060
Format:
Electronic Resources
Alıntı:
Language; Text Processing and Semantic Search; Indexing and Concurrency Control Methods; Data Warehouse and
Yazar
Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060
Format:
Electronic Resources
Alıntı:
Language; Text Processing and Semantic Search; Indexing and Concurrency Control Methods; Data Warehouse and
Arama Sonuçlarını Sınırlandır
Daraltılmış: