Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings / [electronic resource] :
edited by Nikhil Bansal, Irene Finocchi.
- XXIII, 1053 p. 142 illus. in color. online resource.
- Lecture Notes in Computer Science, 9294 0302-9743 ; .
- Lecture Notes in Computer Science, 9294 .
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.
9783662483503
10.1007/978-3-662-48350-3 doi
Computer science.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Mathematical logic.
Computer science--Mathematics.
Computer Science.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Discrete Mathematics in Computer Science.
Software Engineering.
Mathematical Logic and Formal Languages.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
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.
9783662483503
10.1007/978-3-662-48350-3 doi
Computer science.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Mathematical logic.
Computer science--Mathematics.
Computer Science.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Discrete Mathematics in Computer Science.
Software Engineering.
Mathematical Logic and Formal Languages.
QA76.9.L63 QA76.5913 QA76.63
005.1015113