Yazar
Kordon, Fabrice. editor.
Format:
Electronic Resources
Alıntı:
Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016
Yazar
Meyer, Bertrand. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
View Other Search Results
Yazar
Harel, David, 1950-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format:
Electronic Resources
Alıntı:
logic and computability theory and can stand alone as an introduction to these topics. The second part
Yazar
Fernández, Maribel. author.
Format:
Electronic Resources
Alıntı:
Software Engineering/Programming and Operating Systems.
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Yazar
Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457
Format:
Electronic Resources
Alıntı:
Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019
Yazar
Olivetti, Nicola. editor.
Format:
Electronic Resources
Alıntı:
Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order Theorem Proving
Yazar
Bonsangue, Marcello M. editor.
Format:
Electronic Resources
Alıntı:
–Coalgebraic Recursion Theory of History-Dependent Dynamical System Models.
Yazar
Majkić, Zoran. author.
Format:
Electronic Resources
Alıntı:
Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and
Yazar
Urban, Christian. editor.
Format:
Electronic Resources
Alıntı:
Systems and Data Security.
Yazar
Koutny, Maciej. editor.
Format:
Electronic Resources
Alıntı:
from a Formal Information System Modeling -- Modelling and Analysis Mobile Systems Using π-Calculus
Yazar
Cohen, Ernie. editor.
Format:
Electronic Resources
Alıntı:
-- Parallel Bounded Verification of Alloy Models by TranScoping -- Extending the Theory of Arrays: memset