Cellular Automata
This book constitutes the refereed proceedings of the 16th International Conference on Cellular...
EAN: 9783031715518
Neural-Symbolic Learning and Reasoning
EAN: 9783031711695
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
Parallel Problem Solving from Nature – PPSN XVIII
This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed proceedings of the 18th...
EAN: 9783031700705
Computer Safety, Reliability, and Security
This book constitutes the refereed proceedings of the 43rd International Conference on Computer...
EAN: 9783031686054
Database and Expert Systems Applications
The two-volume set LNCS 14910 and 14911 constitutes the proceedings of the 35th International...
EAN: 9783031683114
Collaboration Technologies and Social Computing
This book constitutes the proceedings of the 30th International Conference on Collaboration...
EAN: 9783031679971
Advanced Intelligent Computing Technology and Applications
EAN: 9789819756629
Navigating Unpredictability: Collaborative Networks in Non-linear Worlds
Trust and trustworthy technologies in collaborative networks.Part II: Empowering vulnerable...
EAN: 9783031717420
Systems, Software and Services Process Improvement
The two-volume set CCIS 2179 + 2180 constitutes the refereed proceedings of the 31st European...
EAN: 9783031711411
Systems, Software and Services Process Improvement
The two-volume set CCIS 2179 + 2180 constitutes the refereed proceedings of the 31st European...
EAN: 9783031711381
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 29th International Conference on Formal Methods for...
EAN: 9783031681493
Advanced Intelligent Computing Technology and Applications
EAN: 9789819756773
Advanced Intelligent Computing Technology and Applications
EAN: 9789819756742
Advanced Intelligent Computing Technology and Applications
EAN: 9789819756711
Advanced Intelligent Computing Technology and Applications
EAN: 9789819756681
Advanced Intelligent Computing Technology and Applications
EAN: 9789819756650
Information and Communication Technologies
This book constitutes the refereed proceedings of the 12th Ecuadorian Conference on Information...
EAN: 9783031754302
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
Neural-Symbolic Learning and Reasoning
EAN: 9783031711664
Rewriting Logic and Its Applications
This book constitutes revised selected papers from the refereed proceedings of the 15th...
EAN: 9783031659409
