Algorithms and Architectures for Parallel Processing
EAN: 9789819615476
Algorithms and Architectures for Parallel Processing
EAN: 9789819615278
Algorithms and Architectures for Parallel Processing
EAN: 9789819615247
Principles of Verification: Cycling the Probabilistic Landscape
EAN: 9783031757822
Principles of Verification: Cycling the Probabilistic Landscape
EAN: 9783031757747
Runtime Verification
This book constitutes the refereed proceedings of the 24th International Conference on Runtime...
EAN: 9783031742330
Accelerating Discoveries in Data Science and Artificial Intelligence II
EAN: 9783031511653
Algorithmic Aspects in Information and Management
This two-volume set LNCS 15179-15180 constitutes the refereed proceedings of the 18th...
EAN: 9789819778003
Algorithmic Aspects in Information and Management
This two-volume set LNCS 15179-15180 constitutes the refereed proceedings of the 18th...
EAN: 9789819777976
Philosophical Logic: Current Trends in Asia
This volume brings together a group of logic-minded philosophers and philosophically oriented...
EAN: 9789811348631
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th...
EAN: 9783031737084
Analytical and Stochastic Modelling Techniques and Applications
This book constitutes the refereed proceedings of the 28th International Conference on Analytical...
EAN: 9783031707520
Reachability Problems
This book constitutes the proceedings of the 18th International Conference on Reachability...
EAN: 9783031726200
Formal Aspects of Component Software
This book constitutes the refereed proceedings of the 20th International Conference on Formal...
EAN: 9783031712609
Formal Methods
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th...
EAN: 9783031711763
Computational Collective Intelligence
This two-volume set LNAI 14810-14811 constitutes the refereed proceedings of the 16th...
EAN: 9783031708183
Computational Collective Intelligence
This two-volume set LNAI 14810-14811 constitutes the refereed proceedings of the 16th...
EAN: 9783031708152
Business Process Management
This book constitutes the refereed proceedings of the 22nd International Conference on Business...
EAN: 9783031703959
Partial Moments in System Identification
The authors then proceed to show how these tools can be used for the identification of...
EAN: 9783031581557
Neural Computing for Advanced Applications
This book constitutes the refereed proceedings of the 5th International Conference on Neural...
EAN: 9789819770069
Neural Computing for Advanced Applications
This book constitutes the refereed proceedings of the 5th International Conference on Neural...
EAN: 9789819770038
Neural Computing for Advanced Applications
This book constitutes the refereed proceedings of the 5th International Conference on Neural...
EAN: 9789819770007
