Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings /
This book constitutes the refereed proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017, held in Vienna, Austria, in November 2017. The 28 revised papers and 8 short papers presented were carefully reviewed and selected from 67 subm...
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
---|---|
Άλλοι συγγραφείς: | Blömer, Johannes (Επιμελητής έκδοσης), Kotsireas, Ilias S. (Επιμελητής έκδοσης), Kutsia, Temur (Επιμελητής έκδοσης), Simos, Dimitris E. (Επιμελητής έκδοσης) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
Σειρά: | Lecture Notes in Computer Science,
10693 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
Έκδοση: (2012) -
Artificial General Intelligence 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings /
Έκδοση: (2017) -
Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings /
Έκδοση: (2017) -
KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25–29, 2017, Proceedings /
Έκδοση: (2017) -
Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /
Έκδοση: (2013)