Вы здесь

Главная

Berlin

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

Accelerator Programming Using Directives: Proc./5th International Workshop, WACCPD 2018, Dallas,TX.USA, November 2018
Accelerator Programming Using Directives: Proc./7th International Workshop, WACCPD 2020, Virtual Event, November 2020
Accelerator Programming Using Directives: Revised Selected Papers/6th International Workshop, WACCPD 2019, Denver,CO,USA, November 2019
Acceptance Trees for Probabilistic Processes
Accessing Geographical Metafiles through a Database Storage System
Accessing Multilingual Information Repositories: Revised Selected Papers/6th Workshop of the Cross-Language Evaluation Forum, CLEF 2005. Vienna, Austria, September 2005
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
A COBRA Compliant Real-Time Multimedia Platform for Broadband Networks
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 Compiler with Scheduling for a Specialized Synchronous Multiprocessor System
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 Complexity Measure of Distributed Programs
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
ACP with Signals
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 Mining: Revised Selected Papers/Second International Workshop, AM 2003. Maebashi, Japan, October 2003
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