03887nam 22008175 450 991073948650332120251226203752.03-642-35842-X10.1007/978-3-642-35843-2(CKB)3400000000125709(SSID)ssj0000880070(PQKBManifestationID)11542506(PQKBTitleCode)TC0000880070(PQKBWorkID)10872085(PQKB)10683431(DE-He213)978-3-642-35843-2(MiAaPQ)EBC3070008(PPN)168329417(EXLCZ)99340000000012570920130125d2013 u| 0engurnn#008mamaatxtccrSOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013, Proceedings /edited by Peter van Emde Boas, Frans C.A. Groen, Giuseppe F. Italiano, Jerzy Nawrocki, Harald Sack1st ed. 2013.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2013.1 online resource (XIV, 566 p. 131 illus.)Theoretical Computer Science and General Issues,2512-2029 ;7741International conference proceedings.Includes author index.3-642-35843-8 Major Achievements in Software Studies -- Foundations of Computer Science -- Software and Web Engineering -- Data, Information and Knowledge Engineering -- Social Computing and Human Factors -- Foundations of Computer Science -- Software and Web Engineering -- Data, Information, and Knowledge Engineering -- Social Computing and Human Factors.This book constitutes the refereed proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2013, held in Špindlerův Mlýn, Czech Republic, in January 2013. The 37 revised full papers presented in this volume were carefully reviewed and selected from 98 submissions. The book also contains 10 invited talks, 5 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and social computing and human factors.Theoretical Computer Science and General Issues,2512-2029 ;7741Computer scienceMathematicsDiscrete mathematicsAlgorithmsInformation storage and retrieval systemsSoftware engineeringArtificial intelligenceArtificial intelligenceData processingDiscrete Mathematics in Computer ScienceAlgorithmsInformation Storage and RetrievalSoftware EngineeringArtificial IntelligenceData ScienceComputer scienceMathematics.Discrete mathematics.Algorithms.Information storage and retrieval systems.Software engineering.Artificial intelligence.Artificial intelligenceData processing.Discrete Mathematics in Computer Science.Algorithms.Information Storage and Retrieval.Software Engineering.Artificial Intelligence.Data Science.004.0151Emde Boas P. van1328920MiAaPQMiAaPQMiAaPQBOOK9910739486503321SOFSEM 2013: Theory and practice of computer science4204227UNINA