Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings - Blömer, Johannes; Kotsireas, Ilias S.; Kutsia, Temur; Simos, Dimitris E.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Keywords: Computer science-Mathematics.; Software engineering; Computer security; Artificial intelligence; Mathematical logic; Special purpose computers; Mathematics of Computing; Software Engineering; Systems and Data Security; Artificial Intelligence; Mathematical Logic and Formal Languages; Special Purpose and Application-Based Systems