Search Results for Automation. - Narrowed by: Programming languages (Electronic computers). SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dAutomation.$0026qf$003dSUBJECT$002509Konu$002509Programming$002blanguages$002b$002528Electronic$002bcomputers$002529.$002509Programming$002blanguages$002b$002528Electronic$002bcomputers$002529.$0026ps$003d300$0026isd$003dtrue? 2024-08-22T22:41:55Z Exploring Robotics with ROBOTIS Systems ent://SD_ILS/0/SD_ILS:23045 2024-08-22T22:41:55Z 2024-08-22T22:41:55Z Yazar&#160;Thai, Chi N. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20418-5">http://dx.doi.org/10.1007/978-3-319-20418-5</a><br/>Format:&#160;Electronic Resources<br/> Software Architecture 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings ent://SD_ILS/0/SD_ILS:23309 2024-08-22T22:41:55Z 2024-08-22T22:41:55Z Yazar&#160;Weyns, Danny. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23727-5">http://dx.doi.org/10.1007/978-3-319-23727-5</a><br/>Format:&#160;Electronic Resources<br/> Automatic SIMD Vectorization of SSA-based Control Flow Graphs ent://SD_ILS/0/SD_ILS:24366 2024-08-22T22:41:55Z 2024-08-22T22:41:55Z Yazar&#160;Karrenberg, Ralf. author.<br/><a href="http://dx.doi.org/10.1007/978-3-658-10113-8">http://dx.doi.org/10.1007/978-3-658-10113-8</a><br/>Format:&#160;Electronic Resources<br/> Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18645 2024-08-22T22:41:55Z 2024-08-22T22:41:55Z Yazar&#160;Thiemann, Peter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49498-1">http://dx.doi.org/10.1007/978-3-662-49498-1</a><br/>Format:&#160;Electronic Resources<br/> Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi ent://SD_ILS/0/SD_ILS:24021 2024-08-22T22:41:55Z 2024-08-22T22:41:55Z Yazar&#160;Iida, Shusaku. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54624-2">http://dx.doi.org/10.1007/978-3-642-54624-2</a><br/>Format:&#160;Electronic Resources<br/> Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:22346 2024-08-22T22:41:55Z 2024-08-22T22:41:55Z Yazar&#160;Canal, Carlos. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15201-1">http://dx.doi.org/10.1007/978-3-319-15201-1</a><br/>Format:&#160;Electronic Resources<br/> Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II ent://SD_ILS/0/SD_ILS:24610 2024-08-22T22:41:55Z 2024-08-22T22:41:55Z Yazar&#160;Margaria, Tiziana. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45231-8">http://dx.doi.org/10.1007/978-3-662-45231-8</a><br/>Format:&#160;Electronic Resources<br/>