SOFSEM 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
Editors: van Emde Boas, P., Groen, F.C.A., Italiano, G.F., Nawrocki, J., Sack, H. (Eds.)
Free Preview- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
Buy this book
- About this book
-
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.
- Table of contents (47 chapters)
-
-
Theory of Multi Core Hypervisor Verification
Pages 1-27
-
Software Components in Computer Assisted Living?
Pages 28-28
-
Engineering Algorithms for Large Data Sets
Pages 29-32
-
Core Stability in Hedonic Coalition Formation
Pages 33-50
-
Software Production: A New Paradigm for Software Engineering Research
Pages 51-51
-
Table of contents (47 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- SOFSEM 2013: Theory and Practice of Computer Science
- Book Subtitle
- 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013, Proceedings
- Editors
-
- Peter van Emde Boas
- Frans C.A. Groen
- Giuseppe F. Italiano
- Jerzy Nawrocki
- Harald Sack
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 7741
- Copyright
- 2013
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-35843-2
- DOI
- 10.1007/978-3-642-35843-2
- Softcover ISBN
- 978-3-642-35842-5
- Edition Number
- 1
- Number of Pages
- XIV, 566
- Number of Illustrations
- 131 b/w illustrations
- Topics