Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg
View Other Search Results
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France
Yazar
Voronkov, Andrei. editor.
Format:
Electronic Resources
Alıntı:
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St
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
Shao, Zhong. editor.
Format:
Electronic Resources
Alıntı:
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part
Yazar
Thiemann, Peter. editor.
Format:
Electronic Resources
Alıntı:
Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part
Yazar
Dal Lago, Ugo. editor.
Format:
Electronic Resources
Alıntı:
System Performance and Evaluation.
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference
Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference
Arama Sonuçlarını Sınırlandır
Daraltılmış: