Yazar
Cohen, Albert. editor.
Format:
Electronic Resources
Alıntı:
Business Processes -- CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations.
Yazar
Lindley, Sam. editor.
Format:
Electronic Resources
Alıntı:
Scientist Nightmare -- A Branding Strategy for Business Types -- The Recursive Union of Some Gradual Types
Yazar
Tjoa, A Min. editor. (orcid)0000-0002-8295-9252
Format:
Electronic Resources
Alıntı:
transformation -- Graph structure and computation -- Business processes, protocols, and mobile networks -- Mobile
Yazar
Damiani, Ernesto. editor.
Format:
Electronic Resources
Alıntı:
Service Science and Business Information Systems -- Guidelines for Designing User Interfaces to
Yazar
Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613
Format:
Electronic Resources
Alıntı:
Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy
Yazar
Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X
Format:
Electronic Resources
Alıntı:
Consumption-Preserving Translation of Actors to Haskell -- Verification of Time-Aware Business Processes using
Yazar
Costantini, Stefania. editor.
Format:
Electronic Resources
Alıntı:
applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
aLignment and Decision - Towards the Hierarchical Integration of Heterogeneous Business Models.
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
for Security-sensitive Business Processes -- Developing & Debugging Proof Strategies by Tinkering -- v
Yazar
Counsell, Steve. editor.
Format:
Electronic Resources
Alıntı:
-- Towards Knowledge Modeling for Sustainable Transport -- XBRL-Driven Business Process Improvement: A
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Interdisciplinary Healthcare Research: A Proposal -- Domain-Specific Business Modeling with the Business Model
Arama Sonuçlarını Sınırlandır
Daraltılmış: