Search Results for 2018/2

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

Yazar

Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772

https://doi.org/10.1007/978-3-030-02768-1

Format:

Electronic Resources

Alıntı:

, December 2–6, 2018, Proceedings / Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772

Computer Vision – ACCV 2018 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part V

Yazar

Jawahar, C.V. editor.

https://doi.org/10.1007/978-3-030-20873-8

Format:

Electronic Resources

Alıntı:

Computer Vision – ACCV 2018 14th Asian Conference on Computer Vision, Perth, Australia, December 2

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Yazar

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

https://doi.org/10.1007/978-3-319-95582-7

Format:

Electronic Resources

Alıntı:

Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / Havelund, Klaus. editor. (orcid)0000-0001

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

Yazar

Beyersdorff, Olaf. editor.

https://doi.org/10.1007/978-3-319-94144-8

Format:

Electronic Resources

Alıntı:

2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018

Semantics, Analytics, Visualization 3rd International Workshop, SAVE-SD 2017, Perth, Australia, April 3, 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 24, 2018, Revised Selected Papers

Yazar

González-Beltrán, Alejandra. editor. (orcid)0000-0003-3499-8262

https://doi.org/10.1007/978-3-030-01379-0

Format:

Electronic Resources

Alıntı:

, April 3, 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 24, 2018, Revised

AI 2019: Advances in Artificial Intelligence 32nd Australasian Joint Conference, Adelaide, SA, Australia, December 2–5, 2019, Proceedings

Yazar

Liu, Jixue. editor.

https://doi.org/10.1007/978-3-030-35288-2

Format:

Electronic Resources

Alıntı:

, Australia, December 2–5, 2019, Proceedings / Liu, Jixue. editor.

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Yazar

Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555

https://doi.org/10.1007/978-3-030-34968-4

Format:

Electronic Resources

Alıntı:

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6

Applied Cryptography and Network Security 13th International Conference, ACNS 2015, New York, NY, USA, June 2-5, 2015, Revised Selected Papers

Yazar

Malkin, Tal. editor.

http://dx.doi.org/10.1007/978-3-319-28166-7

Format:

Electronic Resources

Alıntı:

, USA, June 2-5, 2015, Revised Selected Papers / Malkin, Tal. editor.

	{displayName}	{count}
{error}