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
Advances in Neural Networks – ISNN 2024
This volume constitutes the refereed proceedings of the 18th International Symposium on Neural...
EAN: 9789819743988
