Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 41st International Conference on Current Trends in Theory and Practice of Computer Science held in Pec pod Sněžkou, Czech Republic, during January 24-29, 2015. The book features 8 invited talks and 42 regular papers which were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and cryptography, security, and verification.

Computer Science. --- Discrete Mathematics in Computer Science. --- Algorithm Analysis and Problem Complexity. --- Information Storage and Retrieval. --- Software Engineering. --- Artificial Intelligence (incl. Robotics). --- Data Encryption. --- Computer science. --- Software engineering. --- Data encryption (Computer science). --- Computer software. --- Computational complexity. --- Information storage and retrieval systems. --- Artificial intelligence. --- Informatique --- Génie logiciel --- Chiffrement (Informatique) --- Logiciels --- Complexité de calcul (Informatique) --- Systèmes d'information --- Intelligence artificielle --- Engineering & Applied Sciences --- Computer Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Complexity, Computational --- Software, Computer --- Data encoding (Computer science) --- Encryption of data (Computer science) --- Computer software engineering --- Informatics --- Algorithms. --- Computer science --- Information storage and retrieval. --- Mathematics. --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer security --- Cryptography --- Engineering --- Science --- Computer mathematics --- Discrete mathematics --- Algorism --- Algebra --- Arithmetic --- Mathematics --- Foundations --- Information storage and retrieva. --- Artificial Intelligence. --- Cryptology. --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Software engineering --- Computer science—Mathematics. --- Discrete mathematics. --- Cryptography. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Cryptanalysis --- Cryptology --- Secret writing --- Steganography --- Signs and symbols --- Symbolism --- Writing --- Ciphers --- Data encryption (Computer science) --- Data centers