Вы здесь

Home » Издательства

Springer

Связанные издания:

A Conceptual Approach to Meta-Modeling
A Conceptual Database Approach for Modeling 3D Objects of Irregular Geometry
A Conceptual Development Framework for Temporal Information Systems
A Conceptual Framework for Spatiotemporal Data Modeling
A Conceptual Graphs Approach to Conceptual Schema Integration
A Conceptual Graphs Approach to Information Systems Design
A Conceptualization of OO Evolution
A Conceptual Markup Language That Supports Interoperability between Business Rule Modeling Systems
A Conceptual Model and a Tool Environment for Developing More Scalable, Dynamic, and Customizable Web Applications
A Conceptual Model for the Web
A Conceptual Modeling Approach for Semantics-Driven Enterprise Applications
A Conceptual-Modeling Approach to Extracting Data from the Web
A Conceptual Modeling Framework for Standards-Driven Web-Based Distance Learning
A Conceptual "Role-Centered" Model for Design of Multi-Agents Systems
A Concrete Final Coalgebra Theorem for ZF Set Theory
A Concurrency Study Using RAISE
A Concurrent Execution Semantics for Parallel Program Graphs and Program Dependence Graphs
A Condensation Approach to Privacy Preserving Data Mining
A Conflict Resolution-based Decentralized Multi-Agent Problem Solving Model
A Confluent Cakculus for Concurrent Constraint Programming with Guarded Choice
A Congruence for Gamma Programs
A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises
A Connection Based Proof Method for Intuitionistic Logic
A Conservative Approach to Meta-Programming in Constraint Logic Programming
A Constant-Space Sequential Model of Computation for First-Order Logic
A Constraint-Based Approach to Diagnosing Software Problems in Computer Networks
A Constraint-Based Language for Virtual Agents
A Constraint Oriented Proof Methodology Based on Model Transition Systems
A Construction of Distributed Reference Counting
A Construction of Typed Lambda Models Related to Feasible Computability
A Context-sensitive Graph Grammar Formalism for the Specification of Visual Languages
A Contextual Approach for Process-Integrated Tools
A Contextual Term Suggestion Mechinism for Interactive Web Search
A Contract-Based Approach of Resource-Constrained Software Deployment
A Contract-Based Approach of Resource Management in Information Systems
A Control Language for Designing Constraint Solvers
A Control-Parallel Programming Model Implemented on SIMD Hardware
A Cook s Tour of Equational Axiomatizations for Prefix Iteration
A Coordination Layer for Exploiting Task Parallelism with HPF
A Coordination Model for Agents Based on Secure Spaces
A CORBA Environment Supporting Mobile Objects
A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation
A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints
A Correction Method for Parallel Loop Execution
A Cost Model for Spatial Intersection Queries on RI-Trees
Acquisition and Modelling of Uncertain, Incomplete and Time-Varying Knowledge
A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing
A Critique of UML s Definition of the Use-Case Class
ACTILOG: An Agent Activation Language
Action Calculi, or Syntactic Action Structures