TY - BOOK AU - Bieliková,Mária AU - Friedrich,Gerhard AU - Gottlob,Georg AU - Katzenbeisser,Stefan AU - Turán,György ED - SpringerLink (Online service) TI - SOFSEM 2012: Theory and Practice of Computer Science: 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings T2 - Lecture Notes in Computer Science, SN - 9783642276606 AV - QA76.9.A43 U1 - 005.1 23 PY - 2012/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Computer Communication Networks KW - Software engineering KW - Computer software KW - Computational complexity KW - Database management KW - Computer Science KW - Algorithm Analysis and Problem Complexity KW - Software Engineering KW - Data Storage Representation KW - Discrete Mathematics in Computer Science KW - Database Management N2 - This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012, held in Špindlerův Mlýn, Czech Republic, in January 2012. The 43 revised papers presented in this volume were carefully reviewed and selected from 121 submissions. The book also contains 11 invited talks, 10 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; cryptography, security, and verification; and artificial intelligence UR - http://dx.doi.org/10.1007/978-3-642-27660-6 ER -