最 低 价：￥406.80
| 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 Speaker Static Analysis for Safe Destructive Updates in a Functional Language Program Transformation and Equivalence A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs On Deforesting Parameters of Accumulating Maps Equivalence in Answer Set Programming Program Verificaion Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking Verification of Sets of Infinite State Processes Using Program Transformation Program Analysis When Size Does Matter (Termination Analysis for Typed Logic Programs) Symbolic Profiling for Multi-paradigm Declarative Languages Program Development Correct Object-Oriented Systems in Computational Logic A Framework for Developing Embeddable Customized Logics Computing Environment-Aware Agent Behaviours with Logic Program Updates Program Synthesis Extracting General Recursive Program Schemes in Nuprl's Type Theory Extracting Exact Time Bounds from Logical Proofs Author Index |
内容加载中，请稍后...
商品评论（0条）