Theoretical Computer Science and General Issues
© 2007
SOFSEM 2007: Theory and Practice of Computer Science
33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings
Editors: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Plášil, F. (Eds.)
Free PreviewBuy this book
- Table of contents (80 chapters)
-
-
Graphs from Search Engine Queries
Pages 1-8
-
Model-Checking Large Finite-State Systems and Beyond
Pages 9-28
-
Interaction and Realizability
Pages 29-50
-
A Short Introduction to Computational Social Choice
Pages 51-69
-
Distributed Models and Algorithms for Mobile Robot Systems
Pages 70-87
-
Table of contents (80 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- SOFSEM 2007: Theory and Practice of Computer Science
- Book Subtitle
- 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings
- Editors
-
- Jan van Leeuwen
- Giuseppe F. Italiano
- Wiebe van der Hoek
- Christoph Meinel
- Harald Sack
- František Plášil
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 4362
- Copyright
- 2007
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-69507-3
- DOI
- 10.1007/978-3-540-69507-3
- Softcover ISBN
- 978-3-540-69506-6
- Edition Number
- 1
- Number of Pages
- XXI, 937
- Topics