SOFSEM 2020: Theory and Practice of Computer Science

SOFSEM 2020: Theory and Practice of Computer Science
Author :
Publisher : Springer Nature
Total Pages : 725
Release :
ISBN-10 : 9783030389192
ISBN-13 : 3030389197
Rating : 4/5 (197 Downloads)

Book Synopsis SOFSEM 2020: Theory and Practice of Computer Science by : Alexander Chatzigeorgiou

Download or read book SOFSEM 2020: Theory and Practice of Computer Science written by Alexander Chatzigeorgiou and published by Springer Nature. This book was released on 2020-01-16 with total page 725 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


SOFSEM 2020: Theory and Practice of Computer Science Related Books

SOFSEM 2020: Theory and Practice of Computer Science
Language: en
Pages: 725
Authors: Alexander Chatzigeorgiou
Categories: Mathematics
Type: BOOK - Published: 2020-01-16 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, held i
Theoretical Aspects of Computing – ICTAC 2020
Language: en
Pages: 327
Authors: Violet Ka I Pun
Categories: Computers
Type: BOOK - Published: 2020-11-24 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020, which took place during November 30-
PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2022
Language: en
Pages: 405
Authors: Alberto Griggio
Categories: Computers
Type: BOOK - Published: 2022-10-12 - Publisher: TU Wien Academic Press

DOWNLOAD EBOOK

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and syste
Software Engineering Research in System Science
Language: en
Pages: 874
Authors: Radek Silhavy
Categories: Technology & Engineering
Type: BOOK - Published: 2023-07-08 - Publisher: Springer Nature

DOWNLOAD EBOOK

The latest advancements in software engineering are featured in this book, which contains the refereed proceedings of the part of the 12th Computer Science Onli
Structural Information and Communication Complexity
Language: en
Pages: 606
Authors: Sergio Rajsbaum
Categories: Computers
Type: BOOK - Published: 2023-05-24 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 30th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2023, held i