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
Advanced Spiking Neural P Systems
Spiking neural P systems are neural-like membrane computing models, representing an...
EAN: 9789819752799
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th...
EAN: 9783031753893
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th...
EAN: 9783031751066
Diagrammatic Representation and Inference
EAN: 9783031712906
Recent Advances in Next-Generation Data Science
This book constitutes the refereed proceedings of the Third Southwest Data Science Conference, on...
EAN: 9783031678707
Intelligent Computer Mathematics
This book constitutes the refereed proceedings of the 17th International Conference on...
EAN: 9783031669965
Rewriting Logic and Its Applications
This book constitutes revised selected papers from the refereed proceedings of the 15th...
EAN: 9783031659409
Developments in Language Theory
This book constitutes the refereed proceedings of the 28th International Conference on...
EAN: 9783031661587
Verified Software. Theories, Tools and Experiments
This book constitutes the refereed proceedings of the 15th International Conference on Verified...
EAN: 9783031660634
Metadata and Semantic Research
This book constitutes the refereed post proceedings of the 17th Research Conference on Metadata...
EAN: 9783031659898
Enterprise Information Systems
This two-volume set constitutes the refereed post-conference proceedings of the 25th...
EAN: 9783031647475
Mathematics in Programming
The book presents the mathematical view and tools of computer programming with broad and friendly...
EAN: 9789819724314
Mathematical Software – ICMS 2024
This book constitutes the proceedings of the 8th International Conference on Mathematical...
EAN: 9783031645280
