Yazar
Probst, Christian W. editor.
Format:
Electronic Resources
Alıntı:
Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the
Yazar
Italiano, Giuseppe F. editor.
Format:
Electronic Resources
Alıntı:
science. They have been organized in the following topical main sections: logic, semantics, automata, and
View Other Search Results
Yazar
Srinivasa, Srinath. editor.
Format:
Electronic Resources
Alıntı:
analytics; geospatial big data; semantics and data models; search and retrieval; graphics and visualization
Yazar
Johannesson, Paul. editor.
Format:
Electronic Resources
Alıntı:
mining, domain-based modeling, data models and semantics, and applications of conceptual modeling.
Yazar
Bodei, Chiara. editor.
Format:
Electronic Resources
Alıntı:
including formal program semantics, concurrency theory, systems biology and security. The volume contains 22
Yazar
Italiano, Giuseppe F. editor.
Format:
Electronic Resources
Alıntı:
science. They have been organized in the following topical main sections: logic, semantics, automata, and
Yazar
Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457
Format:
Electronic Resources
Alıntı:
, Tools, Synthesis, Semantics, Concurrent Processes, Algorithmic Aspects, Parametrics and Combinatorics
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Safety-Critical Systems; analysis of timed systems; semantics and analysis methods, and model transformation.
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
; parsing; patterns; quantum, chemical and optical computing; semantics; string and combinatorial issues in
Yazar
Dal Lago, Ugo. editor.
Format:
Electronic Resources
Alıntı:
-- On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets -- Collected Size Semantics for
Yazar
Holvoet, Tom. editor.
Format:
Electronic Resources
Alıntı:
Computational Fields -- Take Command of Your Constraints! -- A Labelled Semantics for Soft Concurrent Constraint
Yazar
de Paiva, Valeria. editor.
Format:
Electronic Resources
Alıntı:
-- Multi-Linear Algebraic Semantics for Natural Language -- Categories of Games -- Learning in the limit, general
Arama Sonuçlarını Sınırlandır
Daraltılmış: