Yazar
Kolovos, Dimitris. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
Yazar
Gaston, Christophe. editor. (orcid)0000-0001-6865-5108
Format:
Electronic Resources
Alıntı:
service-based applications in the Cloud -- Industrial Applications -- Automatic generation of test oracles from
View Other Search Results
Yazar
Counsell, Steve. editor.
Format:
Electronic Resources
Alıntı:
Agent-Based Tool for the Management of Fishing Effort.- Certifying Machine Code Safe from Hardware Aliasing
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
-- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal
Arama Sonuçlarını Sınırlandır
Daraltılmış: