Transactions on Large-Scale Data- and Knowledge-Centered Systems XLIX
The LNCS journal Transactions on Large-scale Data and Knowledge-centered Systems focuses on data...
EAN: 9783662641477
Transactions on Computational Science XXXVIII
The LNCS journal Transactions on Computational Science reflects recent developments in the field...
EAN: 9783662631690
Transactions on Petri Nets and Other Models of Concurrency XV
EAN: 9783662630785
Logistics and Supply Chain Management
This book constitutes selected and revised papers from the 7th International Conference Logistics...
EAN: 9783030897420
Reachability Problems
This book constitutes the refereed proceedings of the 15th International Conference on...
EAN: 9783030897154
Programming Languages and Systems
This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and...
EAN: 9783030890506
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
