Вы здесь

Главная

Lecture Notes in Computer Science

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

Accomplishments and Research Challenges in Meta-Programming (Invited Paper)
A Characterization of Generator and Component Reuse Technologies
A characterization of the existence of energies for neural networks
A Characterization of Weak Bisimulation Congruence
A Checker for Modal Formulae for Processes with Data
Achieving Optimality for Gate Matrix Layout and PLA Folding: A Graph Theoretic Approach
A COBRA Compliant Real-Time Multimedia Platform for Broadband Networks
A collection of Test Problems for Constrained Global Optimization Algorithms
A COM-Based Customization Testing Technique
A Combined Runtime Environment and Web-Based Development Environment for Web Application Engineering
A Comparative Revisitation of Some Program Transformation Techniques
A Comparison of Software Product Family Process Frameworks
A Compiler-Based Approach to Data Security
A Complete Axiomatic Semantics for the CSP Stable-Failures Model
A Complete Axiomatization of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification
A Complete Narrowing Calculus for Higher-Order Functional Logic Programming
A Complete Theory of Deterministic Event Structures
A Component-Based Design Approach for Collaborative Distributed Systems
A Component Language for Hybrid Solver Cooperations
A Compositional Real-Time Semantics of STATEMATE Designs
A Compositional Trace-Based Semantics for Probabilistic Automata
A Conceptual Model for a Knowledge Base Homogeneously Stored in a Database Environment
A Concrete Final Coalgebra Theorem for ZF Set Theory
A Confluent Cakculus for Concurrent Constraint Programming with Guarded Choice
A Constant-Space Sequential Model of Computation for First-Order Logic
A Constraint-Based Approach to Diagnosing Software Problems in Computer Networks
A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation
A Cost Evaluator for Parallel Database Systems
A Cost Model for Software Product Lines
A Course on Formal Methods in Software Engineering: Matching Requirements with Design
Active and Programmable Networks: Revised Papers/IFIP TC6 7th International Working Conference, IWAN 2005. Sophia Antipolis, France, November 2005
Active Conceptual Modeling of Learning: Next Generation Learning-Base System Development
Active Database Rules with Transaction-Conscious Stable-Model Semantics
Active Databases and Agent Systems - A Comparison
Active Media Technology: Proc./10th International Conference, AMT 2014, Warsaw, Poland, August 2014
Active Media Technology: Proc./5th International Conference, AMT 2009, Beijing, China, October 2009
Active Media Technology: Proc./6th International Conference, AMT 2010, Toronto, Canada, August 2010
Active Media Technology: Proc./6th Intern. Computer Science Conf., AMT 2001, Hong Kong, China, December 2001
Active Media Technology: Proc./7th International Conference, AMT 2011, Lanzhou, China, September 2011
Active Media Technology: Proc./8th International Conference, AMT 2012, Macao, China, December 2012
Active Media Technology: Proc./9th International Conference, AMT 2013, Maebashi, Japan, October 2013
Active Networks: Proc./ First International Working Conference, IWAN 99, Berlin, Germany, June/July 1999
Active Networks: Proc./IFIP-TC6 4th Intern. Working Conf.,IWAN 2002, Zurich, Switzerland, December 2002
Active Networks: Proc./IFIP-TC6 5th Intern. Working Conf., IWAN 2003, Kyoto, Japan, December 2003
Active Networks: Proc./IFIP-TC6 Third International Working Conference, IWAN 2001, Philadelphia,PA,USA,September/October 2001
Active Networks: Proc./Second Intern. Working Conf., IWAN 2000, Tokyo, Japan, October 2000
Active Networks: Revised Papers/IFIP TC6 International Working Conference, iWAN 2004. Lawrence, KS, USA, October 2004
Active Object-Oriented Database Systems for CIM Applications
Active Probes Synergy in Experience-Based Process Improvement
Active, Real-Time, and Temporal Database Systems: Proc./Second Intern. Workshop, ARTDB-97. Como, Italy, September 1997