56 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
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
Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794
Format:
Electronic Resources
Alıntı:
organized in topical sections named: algorithms and complexity; and logic, semantics, and programming theory.
Yazar
McDermott, James. editor.
Format:
Electronic Resources
Alıntı:
, multi-objective optimisation, program semantics, search landscapes, mathematical programming, games, operations
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
Khomenko, Victor. editor.
Format:
Electronic Resources
Alıntı:
following topics: Petri Nets Synthesis; Analysis and Model Checking; Languages; Semantics and Expressiveness
Yazar
Drewes, Frank. editor.
Format:
Electronic Resources
Alıntı:
Algorithmic learning and semantics -- Automata and logics -- Combinatorics on words, compression
56 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: