Search Results for Automation.

Exploring Robotics with ROBOTIS Systems

Yazar

Thai, Chi N. author.

http://dx.doi.org/10.1007/978-3-319-20418-5

Format:

Electronic Resources

Alıntı:

Robotics and Automation.

Software Architecture 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings

Yazar

Weyns, Danny. editor.

http://dx.doi.org/10.1007/978-3-319-23727-5

Format:

Electronic Resources

Alıntı:

and green -- Agile and smart Systems -- Analysis and automation -- Services and ecosystems.

Automatic SIMD Vectorization of SSA-based Control Flow Graphs

Yazar

Karrenberg, Ralf. author.

http://dx.doi.org/10.1007/978-3-658-10113-8

Format:

Electronic Resources

Alıntı:

Automatic SIMD Vectorization of SSA-based Control Flow Graphs Karrenberg, Ralf. author.

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

Yazar

Thiemann, Peter. editor.

http://dx.doi.org/10.1007/978-3-662-49498-1

Format:

Electronic Resources

Alıntı:

order logic -- Extensible and Efficient Automation through Reflective Tactics -- An Algorithm Inspired

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

Yazar

Iida, Shusaku. editor.

http://dx.doi.org/10.1007/978-3-642-54624-2

Format:

Electronic Resources

Alıntı:

Method -- Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method -- On Automation of

Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Yazar

Canal, Carlos. editor.

http://dx.doi.org/10.1007/978-3-319-15201-1

Format:

Electronic Resources

Alıntı:

Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications

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

Yazar

Margaria, Tiziana. editor.

http://dx.doi.org/10.1007/978-3-662-45231-8

Format:

Electronic Resources

Alıntı:

Process Library for the Empirical Analysis of jABC Workflows -- Automatic Annotation of Bioinformatics

	{displayName}	{count}
{error}