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
Baldoni, Matteo. editor.
Format:
Electronic Resources
Alıntı:
PRIMA 2016: Princiles and Practice of Multi-Agent Systems 19th International Conference, Phuket
View Other Search Results
Yazar
Kulikov, Alexander S. editor.
Format:
Electronic Resources
Alıntı:
Computer Science – Theory and Applications 11th International Computer Science Symposium in Russia
Yazar
Olivetti, Nicola. editor.
Format:
Electronic Resources
Alıntı:
Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order Theorem Proving
Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
Parallelism -- Robot Games with States in Dimension One -- Insertion-deletion Systems over Relational Words.
Yazar
Albert, Elvira. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International
Yazar
De Nicola, Rocco. editor.
Format:
Electronic Resources
Alıntı:
Component-Based Systems -- Tightening a Contract Refinement -- BMotionWeb: A Tool for Rapid Creation of Formal
Yazar
Stevens, Perdita. editor.
Format:
Electronic Resources
Alıntı:
Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
-- Concurrency -- Monitoring Multi-threaded Component-Based Systems -- A Generalised Theory of Interface Automata
Yazar
Jacobs, Bart. editor.
Format:
Electronic Resources
Alıntı:
2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016
Arama Sonuçlarını Sınırlandır
Daraltılmış: