Rigorous State-Based Methods
This book constitutes the refereed proceedings of the 9th International Conference on Rigorous...
EAN: 9783031331626
Developments in Language Theory
This book constitutes the refereed proceedings of the 27th International Conference on...
EAN: 9783031332630
Topology of Mind
This volume covers many diverse topics related in varying degrees to mathematics in mind...
EAN: 9783030964382
Programming Languages and Systems
This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming...
EAN: 9789819983100
Composability, Comprehensibility and Correctness of Working Software
This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in...
EAN: 9783031428326
Solvable Cellular Automata
The main focus of the book is solvability of cellular automata, that is, expressing the state of...
EAN: 9783031386992
Neural Information Processing
The nine-volume set constitutes the refereed proceedings of the 30th International Conference on...
EAN: 9789819981403
Neural Information Processing
The nine-volume set constitutes the refereed proceedings of the 30th International Conference on...
EAN: 9789819981250
Neural Information Processing
The nine-volume set constitutes the refereed proceedings of the 30th International Conference on...
EAN: 9789819981830
Neural Information Processing
The nine-volume set constitutes the refereed proceedings of the 30th International Conference on...
EAN: 9789819981809
Neural Information Processing
The nine-volume set constitutes the refereed proceedings of the 30th International Conference on...
EAN: 9789819981311
Engineering Multi-Agent Systems
This book constitutes revised selected papers from the 11th International Workshop on Engineering...
EAN: 9783031485381
Theoretical Aspects of Computing – ICTAC 2023
This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects...
EAN: 9783031479625
Formal Methods: Foundations and Applications
EAN: 9783031493416
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 21st International Symposium on Automated...
EAN: 9783031453311
Smart Card Research and Advanced Applications
This book constitutes the proceedings of the 22nd International Conference on Smart Card Research...
EAN: 9783031544088
Graphs and Combinatorial Optimization: from Theory to Applications
This book contains the proceedings of the 19th Cologne-Twente Workshop on Graphs and...
EAN: 9783031468254
Neural Information Processing
The nine-volume set constitutes the refereed proceedings of the 30th International Conference on...
EAN: 9789819981373
Gentle Introduction to Scientific Computing
This book intends to serve a very broad audience of college students across a variety of...
EAN: 9781032261317
Artificial Intelligence and Causal Inference
Artificial Intelligence and Causal Inference address the recent development of relationships...
EAN: 9781032193281
Introduction To Linear Algebra
This book is designed for students who have never been exposed to the topics in a linear algebra...
EAN: 9781032109381
Data Mining for Co-location Patterns
This book focuses on data mining for co-location pattern, a valid method for identifying patterns...
EAN: 9780367688660
Initial Algebras and Terminal Coalgebras
This definitive treatment of results in category theory and theoretical computer science covers...
EAN: 9781108835466
