Matematisk databehandlingsteori

This volume comprises the invited surveys and revised versions of the submitted papers selected for presentation at the 10th Workshop on Specification of Abstract Data Types, held …

This book constitutes revised and selected papers from the 18th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2019, held in …

This 4-volume set of LNCS 14495-14498 constitutes the proceedings of the 40th Computer Graphics International Conference, CGI 2023, held in Shanghai, China, August 28 - September …

This book contains an edited selection of papers presented at the International Workshop on Defect and Fault Tolerance in VLSI Systems held October 6-7, 1988 in Springfield, …

Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical …

This book constitutes the refereed proceedings of the Third International Workshop on Connectomics in NeuroImaging, CNI 2019, held in conjunction with MICCAI 2019 in Shenzhen, …

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in …

As future generation information technology (FGIT) becomes specialized and fr- mented, it is easy to lose sight that many topics in FGIT have common threads and, because of this, …

This book covers pseudorandom number generation algorithms, evaluation techniques, and offers practical advice and code examples.

This two-volume set LNCS 6691 and 6692 constitutes the refereed proceedings of the 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, held in …