TY - BOOK ID - 8358903 TI - SOFSEM 2016: Theory and Practice of Computer Science : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings AU - Freivalds, Rūsiņš Mārtiņš. AU - Engels, Gregor. AU - Catania, Barbara. PY - 2016 SN - 3662491915 3662491923 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Computer Science KW - Engineering & Applied Sciences KW - Computer science. KW - Software engineering. KW - Data encryption (Computer science). KW - Algorithms. KW - Computer science KW - Information storage and retrieval. KW - Artificial intelligence. KW - Computer Science. KW - Discrete Mathematics in Computer Science. KW - Algorithm Analysis and Problem Complexity. KW - Information Storage and Retrieval. KW - Software Engineering. KW - Artificial Intelligence (incl. Robotics). KW - Data Encryption. KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Computer mathematics KW - Discrete mathematics KW - Algorism KW - Algebra KW - Arithmetic KW - Data encoding (Computer science) KW - Encryption of data (Computer science) KW - Computer security KW - Cryptography KW - Computer software engineering KW - Engineering KW - Informatics KW - Science KW - Mathematics. KW - Mathematics KW - Foundations KW - Computational complexity. KW - Computer software. KW - Information storage and retrieva. KW - Artificial Intelligence. KW - Cryptology. KW - Software, Computer KW - Computer systems KW - Complexity, Computational KW - Information storage and retrieval systems. KW - Automatic data storage KW - Automatic information retrieval KW - Automation in documentation KW - Computer-based information systems KW - Data processing systems KW - Data storage and retrieval systems KW - Discovery systems, Information KW - Information discovery systems KW - Information processing systems KW - Information retrieval systems KW - Machine data storage and retrieval KW - Mechanized information storage and retrieval systems KW - Electronic information resources KW - Data libraries KW - Digital libraries KW - Information organization KW - Information retrieval KW - Computer science—Mathematics. KW - Discrete mathematics. KW - Cryptography. KW - Cryptanalysis KW - Cryptology KW - Secret writing KW - Steganography KW - Signs and symbols KW - Symbolism KW - Writing KW - Ciphers KW - Data encryption (Computer science) KW - Data centers KW - Discrete mathematical structures KW - Mathematical structures, Discrete KW - Structures, Discrete mathematical KW - Numerical analysis UR - https://www.unicat.be/uniCat?func=search&query=sysid:8358903 AB - This book constitutes the proceedings of the 42nd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2016, held in Harrachov, Czech Republic, in January 2016. The 43 full papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections named: foundations of computer science; software engineering: methods, tools, applications; and data, information, and knowledge engineering. The volume also contains 7 invited talks in full paper length. . ER -