03772nam 22008295 450 99646590100331620230406005639.03-642-27660-110.1007/978-3-642-27660-6(CKB)3400000000025758(SSID)ssj0000610869(PQKBManifestationID)11357367(PQKBTitleCode)TC0000610869(PQKBWorkID)10644332(PQKB)11503400(DE-He213)978-3-642-27660-6(MiAaPQ)EBC3069889(PPN)159087058(EXLCZ)99340000000002575820120116d2012 u| 0engurnn#008mamaatxtccrSOFSEM 2012: Theory and Practice of Computer Science[electronic resource] 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012, Proceedings /edited by Maria Bielikova, Gerhard Friedrich, Georg Gottlob, Stefan Katzenbeisser, György Turán1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (XVII, 674 p.)Theoretical Computer Science and General Issues,2512-2029 ;7147Bibliographic Level Mode of Issuance: Monograph3-642-27659-8 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.Theoretical Computer Science and General Issues,2512-2029 ;7147AlgorithmsSoftware engineeringInformation retrievalComputer architectureComputer science—MathematicsDiscrete mathematicsComputer networksDatabase managementAlgorithmsSoftware EngineeringData Storage RepresentationDiscrete Mathematics in Computer ScienceComputer Communication NetworksDatabase ManagementAlgorithms.Software engineering.Information retrieval.Computer architecture.Computer science—Mathematics.Discrete mathematics.Computer networks.Database management.Algorithms.Software Engineering.Data Storage Representation.Discrete Mathematics in Computer Science.Computer Communication Networks.Database Management.005.1Bielikova Mariaedthttp://id.loc.gov/vocabulary/relators/edtFriedrich Gerhard1961-edthttp://id.loc.gov/vocabulary/relators/edtGottlob Georgedthttp://id.loc.gov/vocabulary/relators/edtKatzenbeisser Stefanedthttp://id.loc.gov/vocabulary/relators/edtTurán Györgyedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465901003316SOFSEM 2012: Theory and Practice of Computer Science2831611UNISA