Yazar
Thai, Chi N. author.
Format:
Electronic Resources
Alıntı:
Robotics and Automation. http://scigraph.springernature.com/things/product-market-codes/T19020
Yazar
Thai, Chi N. author.
Format:
Electronic Resources
Alıntı:
Robotics and Automation.
View Other Search Results
Yazar
Ashouri, Amir H. author.
Format:
Electronic Resources
Alıntı:
Automatic Tuning of Compilers Using Machine Learning Ashouri, Amir H. author.
Yazar
Weyns, Danny. editor.
Format:
Electronic Resources
Alıntı:
and green -- Agile and smart Systems -- Analysis and automation -- Services and ecosystems.
Yazar
Karrenberg, Ralf. author.
Format:
Electronic Resources
Alıntı:
Automatic SIMD Vectorization of SSA-based Control Flow Graphs Karrenberg, Ralf. author.
Yazar
Itsykson, Vladimir. editor.
Format:
Electronic Resources
Alıntı:
selected from 51 submissions. The papers deal with topics such as software test automation, static program
Yazar
Müller, Peter. editor.
Format:
Electronic Resources
Alıntı:
management with a highly-available Kanban board -- A Case for Certifying Compilers in Industrial Automation
Yazar
Thiemann, Peter. editor.
Format:
Electronic Resources
Alıntı:
order logic -- Extensible and Efficient Automation through Reflective Tactics -- An Algorithm Inspired
Yazar
Iida, Shusaku. editor.
Format:
Electronic Resources
Alıntı:
Method -- Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method -- On Automation of
Yazar
Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905
Format:
Electronic Resources
Alıntı:
Introduction to the Hipster System -- Automating Formalization by Statistical and Semantic Parsing of
Yazar
Canal, Carlos. editor.
Format:
Electronic Resources
Alıntı:
Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Transformation Trends: Industry 4.0, Automation, and AI -- A Methodology for Combinatory Process Synthesis
Arama Sonuçlarını Sınırlandır
Daraltılmış: