Algorithms - ESA 2015
23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
This book constitutes the refereed proceedings of the 23rd Annual European Symposium on Algorithms, ESA 2015, held in Patras, Greece, in September 2015, as part of ALGO 2015.
The 86 revised full papers presented together with two invited lectures were carefully reviewed and selected from 320 initial submissions: 71 out of 261 in Track A, Design and Analysis, and 15 out of 59 in Track B, Engineering and Applications. The papers present real-world applications, engineering, and experimental analysis of algorithms.
Includes supplementary material: sn.pub/extras
Autor*in
Nikhil Bansal
Themen in »Algorithms - ESA 2015«
automata theory co-algebras concurrency domain-specific modeling logic algebra category theory computability formal analysis formal languages formal methods in computer science formal verification hybrid systems regular expressions runtime verification