SOFSEM 2005: Theory and Practice of Computer ScienceSOFSEM 2005：计算机科学理论与实践 下载 pdf 百度网盘 epub 免费 2025 电子书 mobi 在线

This book constitutes the refereed proceedings of the 31st Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2005, held in Liptovský Ján, Slovakia in January 2005.

The 28 revised full papers and 16 revised short papers presented together with 8 invited contributions were carefully reviewed and selected from 144 submissions. The papers were organized in four topical tracks on foundations of computer science, modeling and searching data in the web area, software engineering, and graph drawing and discrete computational mathematics.

Invited Talks

　Discovering Treewidth

　From Research Prototypes to Industrial Strength Open Source Products-The ObjectWeb Experience

　How Hard Is It to Take a Snapshot?

　Logical Foundations for Data Integration

　Recent Advances in Graph Drawing

　The Hyperdatabase Network - New Middleware for Searching and Maintaining the Information Space

　Architecture of a Business Framework for the .NET Platform and Open Source Environments

　Progress on Crossing Number Problems

Full Contributed Papers

　Greedy Differential Approximations for Min Set Cover

　A Methodology of Visual Modeling Language Evaluation

　Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem

　A Hierarchical Markovian Mining Approach for Favorite Navigation Patterns

　Non-planar Orthogonal Drawings with Fixed Topology

　A Topology-Driven Approach to the Design of Web Meta-search Clustering Engines

　Computing Upward Planar Drawings Using Switch-Regularity Heuristics

　Serial and Parallel Multilevel Graph Partitioning Using Fixed Centers

　Two-Layer Planarization: Improving on Parameterized Algorithmics

　On the Stability of Approximation for Hamiltonian Path Problems

　Robustness of Composed Timed Systems

　Topology Generation for Web Communities Modeling

　Recm'sion Versus Replication in Simple Cryptographic Protocols

　Modeling Data Integration with Updateable Object Views

　Fixed-Parameter Tractable Algorithms for Testing Upward Planarity

　Read/Write Based Fast-Path Transformation for FCFS Mutual Exclusion

　Adjustment of Indirect Association Rules for the Web

……

The Best Student Paper

Author Index

暂无相关内容，正在全力查找中

暂无出版社相关信息，正在全力查找中！

暂无相关书籍摘录，正在全力查找中！

在线阅读地址：SOFSEM 2005: Theory and Practice of Computer ScienceSOFSEM 2005：计算机科学理论与实践在线阅读

在线听书地址：SOFSEM 2005: Theory and Practice of Computer ScienceSOFSEM 2005：计算机科学理论与实践在线收听

在线购买地址：SOFSEM 2005: Theory and Practice of Computer ScienceSOFSEM 2005：计算机科学理论与实践在线购买

暂无原文赏析，正在全力查找中！

编辑推荐

The LNCS series reports state-of-the-art results in computer science research，development，and education，at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community，with numerous individuals，as well as with prestigious organizations and societies，LNCS has grown into the most comprehensive computer science research forum available.

The scope of LNCS，including its subseries LNAI，spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes.

—proceedings （published in time for the respective conference）

—post-proceedings （consisting of thoroughly revised final full papers）

—research monographs（which may be based on outstanding PhD work，research projects，technical reports，etc.）.