39 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
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
View Other Search Results
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
Deng, Yuxin. author.
Format:
Electronic Resources
Alıntı:
. Besides presenting recent research outcomes in probabilistic concurrency theory, the book exemplifies the
Yazar
Garrigue, Jacques. editor.
Format:
Electronic Resources
Alıntı:
Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November
Yazar
Baldoni, Matteo. editor.
Format:
Electronic Resources
Alıntı:
PRIMA 2016: Princiles and Practice of Multi-Agent Systems 19th International Conference, Phuket
Yazar
Bjørner, Nikolaj. editor.
Format:
Electronic Resources
Alıntı:
Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI
Yazar
Olivetti, Nicola. editor.
Format:
Electronic Resources
Alıntı:
Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order Theorem Proving
Yazar
Kulikov, Alexander S. editor.
Format:
Electronic Resources
Alıntı:
Computer Science – Theory and Applications 11th International Computer Science Symposium in Russia
Yazar
Bonsangue, Marcello M. editor.
Format:
Electronic Resources
Alıntı:
–Coalgebraic Recursion Theory of History-Dependent Dynamical System Models.
39 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: