Title: SOFSEM 2014
Description: This book constitutes the refereed proceedings of the 40th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2014, held in Nový Smokovec, Slovakia, in January 2014. The 40 revised full papers presented in this volume were carefully reviewed and selected from 104 submissions. The book also contains 6 invited talks. The contributions covers topics as: Foundations of Computer Science, Software and Web Engineering, as well as Data, Information, and Knowledge Engineering, and Cryptography, Security, and Verification.
Subjects: Computer software, Computer science, Artificial Intelligence (incl. Robotics), Software engineering, Information retrieval, Information organization, Data structures (Computer science), Computational complexity, Information storage and retrieval systems, Artificial intelligence, Discrete Mathematics in Computer Science, Algorithm Analysis and Problem Complexity, Data Structures