Yazar
Meyer, Bertrand. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
-- Distributed Synthesis of State-Dependent Switching Control -- Compositional Analysis of Boolean Networks Using
View Other Search Results
Yazar
Devitt, Simon. editor.
Format:
Electronic Resources
Alıntı:
-- Circuit Theory -- Application of Permutation Group Theory in Reversible Logic Synthesis -- Strongly
Yazar
De Nicola, Rocco. editor.
Format:
Electronic Resources
Alıntı:
Subgraph Control-Flow Information (short paper) -- Program Analysis -- Correlating Structured Inputs and
Yazar
Jacobs, Bart. editor.
Format:
Electronic Resources
Alıntı:
2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016
Yazar
Dowek, Gilles. editor.
Format:
Electronic Resources
Alıntı:
Calculus -- The Structural Theory of Pure Type Systems -- Applicative May- and Should-Simulation in the
Yazar
Counsell, Steve. editor.
Format:
Electronic Resources
Alıntı:
Methods Body of Knowledge for Railway Control and Safety Systems (FM-RAIL-BOK). In many engineering-based
Arama Sonuçlarını Sınırlandır
Daraltılmış: