Yazar
Yang, Hongseok. editor.
Format:
Electronic Resources
Alıntı:
of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden
Yazar
Kordon, Fabrice. editor.
Format:
Electronic Resources
Alıntı:
Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016
View Other Search Results
Yazar
Meyer, Bertrand. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
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
Khomenko, Victor. editor.
Format:
Electronic Resources
Alıntı:
Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018
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
van der Aalst, Wil. editor.
Format:
Electronic Resources
Alıntı:
Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017
Yazar
Majkić, Zoran. author.
Format:
Electronic Resources
Alıntı:
Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and
Yazar
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
Format:
Electronic Resources
Alıntı:
System Performance and Evaluation. http://scigraph.springernature.com/things/product-market-codes/I
Arama Sonuçlarını Sınırlandır
Daraltılmış: