20 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
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
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
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
This book constitutes the refereed proceedings of the 12th International Conference on Integrated
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
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
Bartocci, Ezio. editor.
Format:
Electronic Resources
Alıntı:
Limited Sensing and Limited Information about the Environment -- From First-Order Temporal Logic to
Yazar
Laurent, Anne. editor.
Format:
Electronic Resources
Alıntı:
These three volumes (CCIS 442, 443, 444) constitute the proceedings of the 15th International
20 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: