最 低 价：￥691.60
| 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.） |
| Invited Speakers Software Services: Scientific or Industrial Hype? Integrating Variants of DC Challenge Challenges in Increasing Tool Support for Programming A Predicate Spatial Logic and Model Checking for Mobile Processes Concurrent and Distributed Systems Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes Specifying Software Connectors Replicative-Distribution Rules in P Systems with Active Membranes A Generalisation of a Relational Structures Model of Concurrency A Logical Characterization of Efficiency Preorders Inherent Causal Orderings of Partial Order Scenarios Atomic Components Towards an Optimization-Based Method for Consolidating Domain Variabilities in Domain-Specific Web Services Composition Model Integration and Theory Unification A Formal Framework for Ontology Integration Based on a Default Extension to DDL A Predicative Semantic Model for Integrating UML Models An Automatic Mapping from Statecharts to Verilog Reverse Observation Equivalence Between Labelled State Transition Systems Program Reasoning and Testing Minimal Spanning Set for Coverage Testing of Interactive Systems An Approach to Integration Testing Based on Data Combining Algebraic and Model-Based Test Case G Verifying OWL and ORL Ontologies in PVS Verification Symbolic and Parametric Model Checking of Discrete-Time Markov Chains Verifying Linear Duration Constraints of Timed Automata …… Theories of Programming and programming Languages Real-Time and Co-design Automata Theory and Logics Tutorials at ICTAC 2004 Author Index |
内容加载中，请稍后...
商品评论（0条）