Static Analysis
This book constitutes the refereed proceedings of the 28th International Symposium on Static...
EAN: 9783030888053
Search-Based Software Engineering
This book constitutes the proceedings of the 13th International Symposium on Search-Based...
EAN: 9783030881054
Computational Logistics
This book constitutes the refereed proceedings of the 12th International Conference on...
EAN: 9783030876715
Computational Diffusion MRI
This book constitutes the proceedings of the International Workshop on Computational Diffusion...
EAN: 9783030876142
Fundamentals of Computation Theory
This book constitutes the proceedings of the 23rd International Symposium on Fundamentals of...
EAN: 9783030865924
Spatial Data and Intelligence
This book constitutes the proceedings of the Second International Conference on Spatial Data and...
EAN: 9783030854614
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 26th International Workshop on Formal Methods for...
EAN: 9783030852474
Quantitative Evaluation of Systems
This book constitutes the proceedings of the 18th International Conference on Quantitative...
EAN: 9783030851712
Computer Algebra in Scientific Computing
This book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in...
EAN: 9783030851644
Combinatorics on Words
This book constitutes the refereed proceedings of the 13th International Conference on...
EAN: 9783030850876
Formal Modeling and Analysis of Timed Systems
This book constitutes the refereed proceedings of the 19th International Conference on Formal...
EAN: 9783030850364
Generalized Mathieu Series
The Mathieu series is a functional series introduced by Émile Léonard Mathieu for the purposes...
EAN: 9783030848163
Model Checking Software
This book constitutes the refereed proceedings of the 27th International Symposium on Model...
EAN: 9783030846282
Computer Aided Verification
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the...
EAN: 9783030816841
Provenance and Annotation of Data and Processes
This book constitutes the proceedings of the 8th and 9th International Provenance and Annotation...
EAN: 9783030809591
Theory and Applications of Satisfiability Testing – SAT 2021
This book constitutes the proceedings of the 24th International Conference on Theory and...
EAN: 9783030802226
Structural Information and Communication Complexity
This book constitutes the refereed conference proceedings of the 28th International Colloquium on...
EAN: 9783030795269
Computer Science – Theory and Applications
This book constitutes the proceedings of the 16th International Computer Science Symposium in...
EAN: 9783030794156
Advances in Swarm Intelligence
his two-volume set LNCS 12689-12690 constitutes the refereed proceedings of the 12th...
EAN: 9783030787424
Functional Imaging and Modeling of the Heart
This book constitutes the refereed proceedings of the 11th International Conference on Functional...
EAN: 9783030787097
Integration of Constraint Programming, Artificial Intelligence, and Operations Research
This volume LNCS 12735 constitutes the papers of the 18th International Conference on the...
EAN: 9783030782290
Mathematical Optimization Theory and Operations Research
This book constitutes the proceedings of the 20th International Conference on Mathematical...
EAN: 9783030778750
Semantic Web
The papers were submitted to three tracks: the research track, the resource track and the in-use...
EAN: 9783030773847
