Yazar
Sankaranarayanan, Sriram. editor.
Format:
Electronic Resources
Alıntı:
Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid
Yazar
Jones, Cliff. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
View Other Search Results
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference
Yazar
Skavhaug, Amund. editor.
Format:
Electronic Resources
Alıntı:
Software engineering.
5.
Yazar
Bjørner, Nikolaj. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
Yazar
Fränzle, Martin. editor.
Format:
Electronic Resources
Alıntı:
Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec
Yazar
McMillan, Kenneth L. editor.
Format:
Electronic Resources
Alıntı:
Computer communication systems.
Yazar
Jobstmann, Barbara. editor.
Format:
Electronic Resources
Alıntı:
Computer communication systems.
Yazar
D’Souza, Deepak. editor.
Format:
Electronic Resources
Alıntı:
Computer communication systems.
Yazar
Bensalem, Saddek. editor.
Format:
Electronic Resources
Alıntı:
From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor
Yazar
Graf, Susanne. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International
Arama Sonuçlarını Sınırlandır
Daraltılmış: