Yazar
Hague, Matthew. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things
Yazar
Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842
Format:
Electronic Resources
Alıntı:
Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things
View Other Search Results
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.
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.
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence
8.
Yazar
Bjørner, Nikolaj. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg
Yazar
Fränzle, Martin. editor.
Format:
Electronic Resources
Alıntı:
Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec
Arama Sonuçlarını Sınırlandır
Daraltılmış: