最 低 价：￥610.20
| 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.) |
| Static Program Analysis via 3-Valued Logic Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges Ah Aigbraic Abbivwcn to the Static Analysis of Concurrent Software Polynomial Constants Are Decidable Normalizable Horn Clauses, Strongly Recognizable Relations,and Spi Nonuniform Alias Analysis of Recursive Data Structures and Arrays Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes Automated Verification of Concurrent Linked Lists with Counters Backward Type Inference Generalises Type Checking More Precise Yet Efficient Type Inference for Logic Programs A Few Graph-Based Relational Numerical Abstract Domains Static Analysis of the Numerical Stability of Loops On Termination of Logic Programs with Floating Point Computations Modular Control Flow Analysis for Libraries An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages Compactly Representing First-Order Structures for Static Analysis Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis Improving the Precision of Equality-Based Dataflow Analyses Guaranteed Optimization: Proving Nullspace Properties of Compilers Representation Analysis for Coercion Placement Pipeline Modeling for Timing Analysis Analysing Approximate Confinement under Uniform Attacks An Improved Constraint-Based System for the Verification of Security Protocols From Secrecy to Authenticity in Security Protocols Security Typings by Abstract Interpretation Static Confidentiality Enforcement for Distributed Programs Refinement of LTL Formulas for Abstract Model Checking …… Author Index |
内容加载中，请稍后...
商品评论（0条）