Yazar
Alagić, Suad. author.
Format:
Electronic Resources
Alıntı:
Object-Oriented Technology Alagić, Suad. author.
Yazar
Finkbeiner, Bernd. editor.
Format:
Electronic Resources
Alıntı:
Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015
View Other Search Results
Yazar
Cassez, Franck. editor.
Format:
Electronic Resources
Alıntı:
Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney
Yazar
Piattini, Mario. editor. (orcid)0000-0002-7212-8279
Format:
Electronic Resources
Alıntı:
Quality of Information and Communications Technology 12th International Conference, QUATIC 2019
Yazar
Jiménez, Samantha. author.
Format:
Electronic Resources
Alıntı:
Educational Technology. http://scigraph.springernature.com/things/product-market-codes/O21000
Yazar
Štuikys, Vytautas. author.
Format:
Electronic Resources
Alıntı:
Educational technology.
Yazar
Fasano, Giorgio. editor.
Format:
Electronic Resources
Alıntı:
Aerospace Technology and Astronautics. https://scigraph.springernature.com/ontologies/product
Yazar
Gurfinkel, Arie. editor.
Format:
Electronic Resources
Alıntı:
technology of software verification, through the interaction of theory development, tool evolution, and
Yazar
Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990
Format:
Electronic Resources
Alıntı:
verification and testing; software development methods; application and technology transfer; security and
Yazar
Meyer, Bertrand. editor.
Format:
Electronic Resources
Alıntı:
software technology advances from pioneers in the field. Since its inception in 2004, the LASER Summer
Yazar
Zsók, Viktória. editor.
Format:
Electronic Resources
Alıntı:
Colored Petri Nets Models -- Single Assignment C (SAC): The Compilation Technology Perspective
Yazar
Trobec, Roman. author.
Format:
Electronic Resources
Alıntı:
Advancements in microprocessor architecture, interconnection technology, and software development
Arama Sonuçlarını Sınırlandır
Daraltılmış: