51 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference
View Other Search Results
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference
Yazar
Aguilera, Marcos K. editor.
Format:
Electronic Resources
Alıntı:
; synchronization and universal construction.
Yazar
Guerra, Esther. editor. (orcid)0000-0002-2818-2278
Format:
Electronic Resources
Alıntı:
Theory -- Analysis and Verification -- Tools and Applications -- Transformation Rules Construction
Yazar
Hjort Blindell, Gabriel. author.
Format:
Electronic Resources
Alıntı:
Instruction Selection Principles, Methods, and Applications / Hjort Blindell, Gabriel. author.
Yazar
Göbel, Susanne. author.
Format:
Electronic Resources
Alıntı:
Petri Net -- Translating Mobile Ambient Processes into Safe Petri Nets – Complete Construction -- From
Yazar
Kohlenbach, Ulrich. editor.
Format:
Electronic Resources
Alıntı:
-- Sequentialization for N-Graphs via Sub-N-Graphs -- Interrogative dependencies and the constructive content of
Yazar
Gu, Zhaoquan. author.
Format:
Electronic Resources
Alıntı:
fundamental problem that underpins the construction of many important functions in distributed systems and
Yazar
Hameurlain, Abdelkader. editor.
Format:
Electronic Resources
Alıntı:
, during September 1-5, 2014. The papers focus on data cube computation, the construction and analysis of a
51 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: