SOFSEM 2024

SOFSEM 2024
Title SOFSEM 2024 PDF eBook
Author Henning Fernau
Publisher Springer Nature
Pages 514
Release 2024
Genre Computer science
ISBN 3031521137

Download SOFSEM 2024 Book in PDF, Epub and Kindle

This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Cochem, Germany, in February 2024. The 33 full papers presented in this book were carefully reviewed and selected from 81 submissions. The book also contains one invited talk in full paper length. They focus on original research and challenges in foundations of computer science including algorithms, AI-based methods, computational complexity, and formal models.

Advanced Information Networking and Applications

Advanced Information Networking and Applications
Title Advanced Information Networking and Applications PDF eBook
Author Leonard Barolli
Publisher Springer Nature
Pages 526
Release
Genre
ISBN 3031579429

Download Advanced Information Networking and Applications Book in PDF, Epub and Kindle

SOFSEM 2020: Theory and Practice of Computer Science

SOFSEM 2020: Theory and Practice of Computer Science
Title SOFSEM 2020: Theory and Practice of Computer Science PDF eBook
Author Alexander Chatzigeorgiou
Publisher Springer Nature
Pages 725
Release 2020-01-16
Genre Mathematics
ISBN 3030389197

Download SOFSEM 2020: Theory and Practice of Computer Science Book in PDF, Epub and Kindle

This book constitutes the refereed proceedings of the 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, held in Limassol, Cyprus, in January 2020. The 40 full papers presented together with 17 short papers and 3 invited papers were carefully reviewed and selected from 125 submissions. They presented new research results in the theory and practice of computer science in the each sub-area of SOFSEM 2020: foundations of computer science, foundations of data science and engineering, foundations of software engineering, and foundations of algorithmic computational biology.

LATIN 2024: Theoretical Informatics

LATIN 2024: Theoretical Informatics
Title LATIN 2024: Theoretical Informatics PDF eBook
Author José A. Soto
Publisher Springer Nature
Pages 363
Release
Genre
ISBN 3031555988

Download LATIN 2024: Theoretical Informatics Book in PDF, Epub and Kindle

Stabilization, Safety, and Security of Distributed Systems

Stabilization, Safety, and Security of Distributed Systems
Title Stabilization, Safety, and Security of Distributed Systems PDF eBook
Author Toshimitsu Masuzawa
Publisher Springer Nature
Pages 477
Release
Genre
ISBN 3031744985

Download Stabilization, Safety, and Security of Distributed Systems Book in PDF, Epub and Kindle

Algorithmic Game Theory

Algorithmic Game Theory
Title Algorithmic Game Theory PDF eBook
Author Guido Schäfer
Publisher Springer Nature
Pages 549
Release
Genre
ISBN 3031710339

Download Algorithmic Game Theory Book in PDF, Epub and Kindle

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems
Title Tools and Algorithms for the Construction and Analysis of Systems PDF eBook
Author Bernd Finkbeiner
Publisher Springer Nature
Pages 413
Release
Genre
ISBN 3031572467

Download Tools and Algorithms for the Construction and Analysis of Systems Book in PDF, Epub and Kindle