Yazar
Deng, Yuxin. author.
Format:
Electronic Resources
Alıntı:
Semantics of Probabilistic Processes An Operational Approach / Deng, Yuxin. author.
Yazar
Majkić, Zoran. author.
Format:
Electronic Resources
Alıntı:
Semantics / Majkić, Zoran. author.
View Other Search Results
Yazar
Hinze, Ralf. editor.
Format:
Electronic Resources
Alıntı:
typical areas are type systems, program analysis and transformation, programming-language semantics
Yazar
Falaschi, Moreno. editor.
Format:
Electronic Resources
Alıntı:
Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types and
Yazar
Foret, Annie. editor.
Format:
Electronic Resources
Alıntı:
and computational phonology, morphology, syntax, semantics and pragmatics Model-theoretic and
Yazar
Codescu, Mihai. editor.
Format:
Electronic Resources
Alıntı:
languages, methods, and environments, semantics of conceptual modeling methods and techniques, model-driven
Yazar
Banerjee, Mohua. editor.
Format:
Electronic Resources
Alıntı:
instances of graded consequence in the context of interval-valued Semantics -- Neighborhood Contingency
Yazar
Beierle, Christoph. editor.
Format:
Electronic Resources
Alıntı:
between the Two Settings -- Enriching Taxonomies of Place Types Using Flickr -- Hintikka-Style Semantic
Yazar
O'Regan, Gerard. author.
Format:
Electronic Resources
Alıntı:
-- Matrix Theory -- Graph Theory -- Cryptography -- Coding Theory -- Language Theory and Semantics
Yazar
Proietti, Maurizio. editor.
Format:
Electronic Resources
Alıntı:
-- Exhaustive Execution of CHR through Source-to-Source Transformation -- A Formal Semantics for the Cognitive
Yazar
Diaz, Josep. editor.
Format:
Electronic Resources
Alıntı:
respectively with: - Track A: Algorithms, Complexity and Models of Computation, and - Track B: Logic, Semantics
Yazar
Ciobanu, Gabriel. editor.
Format:
Electronic Resources
Alıntı:
papers cover various topics such as automata theory and formal languages; principles and semantics of
Arama Sonuçlarını Sınırlandır
Daraltılmış: