书目名称 | SOFSEM 2009: Theory and Practice of Computer Science |
副标题 | 35th Conference on C |
编辑 | Mogens Nielsen,Antonín Kučera,Frank Valencia |
视频video | http://file.papertrans.cn/861/860218/860218.mp4 |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | .This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Špindleruv Mlýn, Czech Republic, in January 2009...The 49 revised full papers, presented together with 9 invited contributions, were carefully reviewed and selected from 132 submissions. SOFSEM 2009 was organized around the following four tracks: Foundations of Computer Science; Theory and Practice of Software Services; Game Theoretic Aspects of E-commerce; and Techniques and Tools for Formal Verification.. |
出版日期 | Conference proceedings 2009 |
关键词 | Graph; Service-oriented Computing; algorithms; approximation; auctions; automata; combinatorial complexity |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-540-95891-8 |
isbn_softcover | 978-3-540-95890-1 |
isbn_ebook | 978-3-540-95891-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer-Verlag Berlin Heidelberg 2009 |