Tools and Algorithms for the Construction and Analysis of Systems
This open access book constitutes the proceedings of the 28th International Conference on Tools...
EAN: 9783030995232
Fundamental Approaches to Software Engineering
EAN: 9783030994280
Programming Languages and Systems
This open access book constitutes the proceedings of the 31st European Symposium on Programming,...
EAN: 9783030993351
Foundations of Software Science and Computation Structures
This open access book constitutes the proceedings of the 25th International Conference on...
EAN: 9783030992521
Language, Logic, and Computation
This book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on...
EAN: 9783030984786
Stream-Tube Method
This book presents the stream-tube method (STM), a method offering computational means of dealing...
EAN: 9783030654726
Analysis and Design of Nonlinear Systems in the Frequency Domain
EAN: 9783030708351
Search for ExtraTerrestrial Intelligence
This book presents the latest knowledge of the newly discovered Earth-like exoplanets and reviews...
EAN: 9783030638085
Quantum Theory and Symmetries
This volume of the CRM Conference Series is based on a carefully refereed selection of...
EAN: 9783030557799
Computer-Aided Architectural Design. Design Imperatives: The Future is Now
This book constitutes selected papers of the 19th International Conference on Computer-Aided...
EAN: 9789811912795
Bio-Inspired Computing: Theories and Applications
This two-volume set (CCIS 1565 and CCIS 1566) constitutes selected and revised papers from the...
EAN: 9789811912559
Unsupervised Pattern Discovery in Automotive Time Series
In the last decade unsupervised pattern discovery in time series, i.e. To prove the benefit of...
EAN: 9783658363352
Applications of Flower Pollination Algorithm and its Variants
This book presents essential concepts of traditional Flower Pollination Algorithm (FPA) and its...
EAN: 9789813361065
Large-Scale Scientific Computing
This book constitutes revised selected papers from the 13th International Conference on...
EAN: 9783030975487
Data, Information, and Time
Since the given tangible, intangible and temporal context are part of the explanation of a data...
EAN: 9783030963286
Applied Mathematics and Computational Mechanics for Smart Applications
This book presents best selected research papers presented at the Thirteenth International...
EAN: 9789813348288
Resource Management and Performance Analysis of Wireless Communication Networks
EAN: 9789811577581
Minimum Divergence Methods in Statistical Machine Learning
EAN: 9784431569206
Logic-Based Program Synthesis and Transformation
This book constitutes the refereed proceedings of the 31st International Conference on...
EAN: 9783030988685
Code-Based Cryptography
This book constitutes the proceedings of the 9th International Workshop on Code-Based...
EAN: 9783030983642
Sparse Grids and Applications - Munich 2018
EAN: 9783030813611
Arithmetic Geometry, Number Theory, and Computation
This volume contains articles related to the work of the Simons Collaboration “Arithmetic...
EAN: 9783030809133
