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 NovA½ 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.40th International Conference on Current Trends in Theory and Practice of Computer Science, NovA½ Smokovec, ... 11. 12. 13. 14. 15. 16. 17. 18. IEEE Recommended Practice for Software Requirements Specifications. IEEE Std ... In: Proceedings of the Joint SHARE/GUIDE/IBM Application Development Symposium, pp.
|Title||:||SOFSEM 2014: Theory and Practice of Computer Science|
|Author||:||Viliam Geffert, Bart Preneel, Branislav Rovan, Július Štuller, A Min Tjoa|
|Publisher||:||Springer - 2014-01-20|