Normal view MARC view ISBD view

ON Effective Verification of Replicated Data Types Gautham Shenoy R.

Material type: Text

TextPublisher: Suruseri. Chennai Mathematical Institute. c2021Description: 224 pages. 29 cms.Online resources: Click here to access online

List(s) this item appears in: 2023-05-08

Item type	Current location	Call number	Status	Date due	Barcode	Item holds
Book	Chennai Mathematical Institute General Stacks	T SHE (Browse shelf)	Available		11045

Total holds: 0

Previous	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	Next
Previous	T SAM Some Computational Approaches for Machine Learning on Big Datasets	T SAP Unified Approaches to PIT and Lower Bounds	T SEN Instabilities and chaos in the classical three-body and three-rotor problems	T SHE ON Effective Verification of Replicated Data Types	T SRI On internal tensor product of modules over schur algebra	T SUB Bounded Negativity and Harbourne Constants on Algebraic Surfaces	T SUN A Theory of Assertions for Dolev-Yao Models	Next

Univ. - Chennai Mathematical Institute; Degree - PhD Computer Science; Sub. on - September 2021. Guide - Prof. Madhavan Mukund and Prof S P Suresh.

CMI Library