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
Clean Energy Technology and Energy Storage Systems
EAN: 9789819602315
Cellular Automata
This book constitutes the refereed proceedings of the 16th International Conference on Cellular...
EAN: 9783031715518
Implementation and Application of Automata
This book constitutes the proceedings of the 28th International Conference on Implementation and...
EAN: 9783031711114
Algorithmic Game Theory
This volume constitutes the refereed proceedings of 17th International Symposium on Algorithmic...
EAN: 9783031710322
Computer Algebra in Scientific Computing
This book constitutes the refereed proceedings of the 26th International Workshop on Computer...
EAN: 9783031690693
From Animals to Animats 17
This book constitutes the refereed proceedings of the 17th International Conference on Simulation...
EAN: 9783031715327
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 29th International Conference on Formal Methods for...
EAN: 9783031681493
Methods and Applications for Modeling and Simulation of Complex Systems
This book constitutes the refereed proceedings of the 23rd Asia Simulation Conference on Methods...
EAN: 9789819772247
