Yazar
Serrano, Manuel. editor.
Format:
Electronic Resources
Alıntı:
, taking a broad view of current and future trends in the area. It aspires to be a lively environment for
Yazar
Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634
Format:
Electronic Resources
Alıntı:
This book constitutes the thoroughly refereed proceedings of the 12th International Conference on
View Other Search Results
Yazar
Echahed, Rachid. editor.
Format:
Electronic Resources
Alıntı:
Generalized Discrimination Networks -- Applications -- The Incremental Advantage: Evaluating the Performance
Yazar
Combemale, Benoît. editor.
Format:
Electronic Resources
Alıntı:
This book constitutes the refereed proceedings of the 7th International Conference on Software
Yazar
Weyers, Benjamin. editor.
Format:
Electronic Resources
Alıntı:
The Handbook of Formal Methods in Human-Computer Interaction Weyers, Benjamin. editor.
Yazar
O’Regan, Gerard. author.
Format:
Electronic Resources
Alıntı:
industrial environment Examines all aspects of the software development process, including project planning
Yazar
Stevens, Perdita. editor.
Format:
Electronic Resources
Alıntı:
Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The
Yazar
Wirsing, Martin. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering for Collective Autonomic Systems The ASCENS Approach / Wirsing, Martin. editor.
Yazar
Pan, Jeff Z. editor.
Format:
Electronic Resources
Alıntı:
Aberdeen, UK, in September 2016. In 2016, the theme of the school was “Logical Foundation of Knowledge
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
This book constitutes the refereed proceedings of the 12th International Conference on Integrated
Yazar
Chen, Yu-Fang. editor.
Format:
Electronic Resources
Alıntı:
. The symposium is dedicated to the promotion of research on theoretical and practical aspects of
Yazar
Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441
Format:
Electronic Resources
Alıntı:
A Retrospective Look at the Monitoring and Checking (MaC) Framework -- Introspective Environment
Arama Sonuçlarını Sınırlandır
Daraltılmış: