Yazar
McDermott, James. editor.
Format:
Electronic Resources
Alıntı:
, multi-objective optimisation, program semantics, search landscapes, mathematical programming, games, operations
Yazar
Khomenko, Victor. editor.
Format:
Electronic Resources
Alıntı:
following topics: Petri Nets Synthesis; Analysis and Model Checking; Languages; Semantics and Expressiveness
View Other Search Results
Yazar
Dolev, Shlomi. editor.
Format:
Electronic Resources
Alıntı:
presented include cyber security; secure software development methodologies, formal methods semantics and
Yazar
Sikos, Leslie F. author.
Format:
Electronic Resources
Alıntı:
Multimedia Semantics -- Knowledge Representation with Semantic Web Standards -- The Semantic Gap
Yazar
Balduccini, Marcello. editor.
Format:
Electronic Resources
Alıntı:
Weighted Sceptical Semantics with a Unique-status Grounded Semantics -- Foundations For A Probabilistic
Arama Sonuçlarını Sınırlandır
Daraltılmış: