Yazar
Gurfinkel, Arie. editor.
Format:
Electronic Resources
Alıntı:
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San
Yazar
Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124
Format:
Electronic Resources
Alıntı:
Software Quality: Methods and Tools for Better Software and Systems 10th International Conference
Yazar
Boreale, Michele. editor. (orcid)0000-0002-1972-7491
Format:
Electronic Resources
Alıntı:
Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco
Yazar
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367
Format:
Electronic Resources
Alıntı:
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi
Yazar
Khendek, Ferhat . editor.
Format:
Electronic Resources
Alıntı:
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th
Yazar
Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736
Format:
Electronic Resources
Alıntı:
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International
Yazar
Rau, Pei-Luen Patrick. editor.
Format:
Electronic Resources
Alıntı:
Cross-Cultural Design. Methods, Tools, and Users 10th International Conference, CCD 2018, Held as
Yazar
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics
Yazar
Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701
Format:
Electronic Resources
Alıntı:
Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017
Yazar
Antona, Margherita. editor.
Format:
Electronic Resources
Alıntı:
Universal Access in Human-Computer Interaction. Theory, Methods and Tools 13th International
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
Arama Sonuçlarını Sınırlandır
Daraltılmış: