162 results on '"Dal Cin M"'
Search Results
52. Analytical Methods for the Monitoring of Solid Phase Organic Synthesis.
53. Analytical methods for the monitoring of solid phase organic synthesis
54. Structural analysis of explicit fault-tolerant programs.
55. Reproducible dependability benchmarking experiments based on unambiguous benchmark setup descriptions.
56. Extending UML towards a useful OO-language for modeling dependability features.
57. Structured language for specifications of quantitative requirements.
58. Polysulfone membranes. V. Poly(phenyl sulfone) (Radel R)–poly(vinyl pyrrolidone) membranes
59. Quantitative evaluation of dependability critical systems based on guarded Statechart models.
60. Architecture and realization of the modular expandable multiprocessor system MEMSY.
61. Checking modification tolerance.
62. Error detection mechanisms for massively parallel multiprocessors.
63. Stable object storage for multiprocessors with distributed shared memory.
64. Studies on hydrophilic polysulfone ultrafiltration membranes
65. Fault tolerance for highly parallel computers
66. A surface spectroscopic study of membranes fouled by pulp mill effluent
67. Dispersed phase back transport during ultrafiltration of cutting oil emulsions with a spinning membrane disc geometry
68. CFD-assisted thin channel membrane characterization module design
69. Tangential flow streaming potential measurements: Hydrodynamic cell characterizaion and zeta potentials of carboxylated polysulfone membranes
70. Membrane performance with a pulp mill effluent: Relative contributions of fouling mechanisms
71. Was ist modulare Programmierung?
72. On the (internal) symmetry groups of linear dynamical systems
73. On the (internal) symmetry groups of linear dynamical systems
74. Constraint Based Diagnosis Algorithms For Multiprocessors
75. Constraint-based diagnosis algorithms for multiprocessors
76. Dependability analysis in the early phases of UML-based system design
77. Attempto: An experimental fault-tolerant multiprocessor system
78. On the diagnosability of self-testing multi-microprocessor systems
79. Distrubuted diagnosis for computing networks
80. Partially conserved dilatation and special Liouville currents combined with chiral current algebras
81. Checking modification tolerance
82. Structured language for specifications of quantitative requirements
83. View Graphs for Analysis and Testing of Programs at Different Abstraction Levels
84. Hardware fault injection with UMLinux.
85. Gaps and Future Challenges of Italian Apps for Pregnancy and Postnatal Care: Systematic Search on App Stores
86. Extending Resilient Objects Efficiently
87. Modelling and Verification of a Checkpoint-Restart-Protocol
88. Bestimmung der Protokoll-Menge für Verteilte Fehlermaskierungs-Systeme
89. Tests with fault-localizing capabilities improve system level diagnosis
90. Selbstdiagnoseverfahren auf der Grundlage der mathematischen Logik
91. Distributed Self-Diagnosis and Fault-Tolerant Communication in Parallel Multiprocessor Networks
92. System Level Fault-Diagnosis in Distributed Systems
93. Synchronization Tools and a Restart Method in the Fault-Tolerant Distributed Automation System FIPS
94. A Fault-Tolerant Loop-Structured Local Area Network on the Base of Fibre-Optical Transmission
95. Einzelfehler Tolerierende Kommunikationsnetze
96. Implementation of a Fault-Tolerant File Management System
97. Issues in Reliability Modeling of Fault-Tolerant Computers
98. Qantitative Bewertung der Zuverlässigkeit von Echtzeitprogrammsystemen
99. Dependability Modeling and Evaluation of Software-and-Hardware Systems
100. Systematic t-Error Correcting All Unidirectional Error Detecting Codes
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.