69 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Schultz, Patrick. author.
Format:
Electronic Resources
Alıntı:
Systems Theory, Control. https://scigraph.springernature.com/ontologies/product-market-codes/M13070
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
View Other Search Results
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
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
Yazar
Beckmann, Arnold. editor.
Format:
Electronic Resources
Alıntı:
conference CiE 2016 has six special sessions – two sessions, cryptography and information theory and symbolic
Yazar
Baldoni, Matteo. editor.
Format:
Electronic Resources
Alıntı:
PRIMA 2016: Princiles and Practice of Multi-Agent Systems 19th International Conference, Phuket
69 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: