Amanote Research

Amanote Research

    RegisterSign In

Formal Techniques for Distributed Objects, Components, and Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-662-43613-4
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2014

Authors

Unknown

Publisher

Springer Berlin Heidelberg


Related search

Priority Based Resource Management Techniques for Distributed Systems

English

Management in Distributed Systems: A Semi-Formal Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Formal Development of Distributed Enumeration Algorithms by Refinement-Based Techniques

English

Distributed Data Mining Systems: Techniques, Approaches and Algorithms

MATEC Web of Conferences
Materials ScienceEngineeringChemistry
2018English

Formal Techniques in the Development of Blackboard Systems

International Journal of Pattern Recognition and Artificial Intelligence
Computer VisionPattern RecognitionArtificial IntelligenceSoftware
1993English

Facts, Formal Objects and Ontology

English

Statistical Techniques for Modeling, Estimation and Optimization in Distributed Parameter Systems

1998English

Cubic Spline Approximation Techniques for Parameter Estimation in Distributed Systems.

1981English

Applying Formal Techniques to the Design of Concurrent Systems.

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy