Restarting Automata
Other topics include the descriptional complexity and inductive inference of certain types of...
EAN: 9783031787003
String Processing and Information Retrieval
This book constitutes the refereed proceedings of the 31st International Symposium on String...
EAN: 9783031721991
Institution-independent Model Theory
A model theory that is independent of any concrete logical system allows a general handling of a...
EAN: 9783031688539
Machine Translation
This book constitutes the refereed proceedings of the 20th China Conference on Machine...
EAN: 9789819622917
Computational Thermo-kinetics of Rigid Polyurethane Foams
This book presents a detailed exploration of advanced computational modeling techniques in the...
EAN: 9789819620760
Algorithms and Architectures for Parallel Processing
EAN: 9789819615445
Algorithms and Architectures for Parallel Processing
EAN: 9789819615414
Computing and Combinatorics
This three-volume set LNCS 15161, 15162 and 15163 constitutes the refereed proceedings of the...
EAN: 9789819611942
Computing and Combinatorics
This three-volume set LNCS 15161, 15162 and 15163 constitutes the refereed proceedings of the...
EAN: 9789819610921
Structural Information and Communication Complexity
This book constitutes the refereed proceedings of the 32nd International Colloquium on Structural...
EAN: 9783031917356
Recent Trends in Algebraic Development Techniques
EAN: 9783031889295
Advances in Computer Graphics
The three-volume set LNCS 15338, 15339 and 15340 constitutes the refereed proceedings from the...
EAN: 9783031820236
Metadata and Semantic Research
This book constitutes the refereed post proceedings of the 18th Research Conference on Metadata...
EAN: 9783031819735
Machines, Computations, and Universality
EAN: 9783031812019
Integrated Uncertainty in Knowledge Modelling and Decision Making
This two-volume set constitutes the proceedings of the 11th International Symposium on Integrated...
EAN: 9789819646029
Genetic and Evolutionary Computing
This book contains accepted papers presented at ICGEC 2024, the 16th International Conference on...
EAN: 9789819615346
Computing and Combinatorics
This three-volume set LNCS 15161, 15162 and 15163 constitutes the refereed proceedings of the...
EAN: 9789819610891
Fourier Analysis—A Signal Processing Approach
This book sheds new light on Transform methods, which dominate the study of linear time-invariant...
EAN: 9789819610778
Introduction to Theory of Computation
The book extends to space complexity classes, discussing PSPACE complete problems, NL-complete...
EAN: 9783031847394
Distributed Computer and Communication Networks
This book constitutes the refereed post-conference proceedings of the 27th International...
EAN: 9783031808524
Automated Technology for Verification and Analysis
The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International...
EAN: 9783031787492
Artificial Intelligence Logic and Applications
This book constitutes the proceedings of the 4th International Conference on Artificial...
EAN: 9789819603534
