16 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Cavalheiro, Simone. editor. (orcid)0000-0002-7442-7379
Format:
Electronic Resources
Alıntı:
-- Semantics and languages.
Yazar
van Eekelen, Marko. editor.
Format:
Electronic Resources
Alıntı:
energy augmented semantics of programs -- Call-by-value, Elementary Time and Intersection Types
View Other Search Results
Yazar
Duan, Zhenhua. editor.
Format:
Electronic Resources
Alıntı:
Programming and testing -- Verification and validation -- Semantics -- Blockchain.
Yazar
Denzer, Ralf. editor.
Format:
Electronic Resources
Alıntı:
the following topical sections: information systems, information modeling and semantics; decision
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Safety-Critical Systems; analysis of timed systems; semantics and analysis methods, and model transformation.
Yazar
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926
Format:
Electronic Resources
Alıntı:
address modeling languages and semantics, model-based testing, verification and performance analysis
Yazar
James, Phillip. editor.
Format:
Electronic Resources
Alıntı:
concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics
Yazar
Fred, Ana. editor.
Format:
Electronic Resources
Alıntı:
-- Improving the Detection of Relations between Objects in an Image using Textual Semantics -- A ToF-based
Yazar
Ghosh, Sujata. editor.
Format:
Electronic Resources
Alıntı:
intermediate constraints -- Peirce’s Sequent Proofs of Distributivity -- On Semantic Gamification -- Ancient
Yazar
Bulling, Nils. editor.
Format:
Electronic Resources
Alıntı:
Semantics is NP-Complete -- Deliberative Argumentation for Service Provision in Smart Environments
Yazar
Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712
Format:
Electronic Resources
Alıntı:
Emptiness Checks with Partial Order Reductions -- A Coalgebraic Semantics Framework for Quantum Systems
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and
16 sonuç bulundu