最 低 价：￥505.30
| 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 resarch 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 publised traditionally includes. -proceedings(published in time for the respective conference) -post-proceedings(consisting of thoroughly revised final full papers) -research monographs(which may be basde on outstanding PhD work,research projects,technical reports,etc.). |
| Invited Talks Incremental Software Construction with Refinement Diagrams Recursive Program Schemes: Past, Present, and Future Monad-Based Logics for Computational Effects Contributed Papers State Space Representation for Verification of Open Systems Data Movement Optimisation in Point-Free Form Measuring the Speed of Information Leakage in Mobile Processes Formal Islands Some Programming Languages for LOGSPACE and PTIME Opaque Predicates Detection by Abstract Interpretation DO-Cash An Observer-Based Casl Extension for Dynamic Specifications Model Transformations Incorporating Multiple Views Hyperfinite Approximations to Labeled Markov Transition Systems State Space Reduction of Rewrite Theories Using Invisible Transitions The Essence of Multitasking The Substitution Vanishes Decomposing Interactions Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues Assessing the Expressivity of Formal Specification Languages Fork Algebras as a Sufficiently Rich Universal Institution Realizability Criteria for Compositional MSC Quantales and Temporal Logics Fractional Semantics Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic Testing Semantics: Connecting Processes and Process Logics Tableaux for Lattices Accelerated Modal Abstractions of Labelled Transition Systems A Compositional Semantics of Plan Revision in Intelligent Agents System Descriptions Author Index |
内容加载中，请稍后...
商品评论（0条）