Yazar
Gorrieri, Roberto. author.
Format:
Electronic Resources
Alıntı:
Introduction to Concurrency Theory Transition Systems and CCS / Gorrieri, Roberto. author.
Yazar
Schultz, Patrick. author.
Format:
Electronic Resources
Alıntı:
Systems Theory, Control. https://scigraph.springernature.com/ontologies/product-market-codes/M13070
View Other Search Results
Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
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
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
Badouel, Eric. author.
Format:
Electronic Resources
Alıntı:
Software Engineering/Programming and Operating Systems.
Yazar
O’Sullivan, Barry. editor.
Format:
Electronic Resources
Alıntı:
, environments, languages, models, systems, and applications such as decision making, resource allocation, and
Yazar
Deng, Yuxin. author.
Format:
Electronic Resources
Alıntı:
. Besides presenting recent research outcomes in probabilistic concurrency theory, the book exemplifies the
Yazar
Pesant, Gilles. editor.
Format:
Electronic Resources
Alıntı:
, algorithms, environments, languages, models, systems, and applications such as decision making, resource
Yazar
Garrigue, Jacques. editor.
Format:
Electronic Resources
Alıntı:
Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November
Arama Sonuçlarını Sınırlandır
Daraltılmış: