Proceedings of the 1st Workshop on Verifiable Database Systems

Proceedings of the 1st Workshop on Verifiable Database Systems

Bibliographic Details
Format:	Electronic Book
Language:	English
Published:	Association for Computing Machinery (ACM), 6/23/23
Subjects:	Conference papers and proceedings.
Online Access:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Similar Items

Proceedings of the 1st international workshop on Testing database systems

Verified valuation for instrumentation and monitoring works
by: Brac University
Published: (2023)

Proceedings of the 1st ACM international workshop on Multimedia databases

Proceedings of the 1st international workshop on Computer vision meets databases

Electronic Voting: Verifying the Vote (EVOTE), International Conference on

Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems

Verifying online signatures through an iterative device independent model
by: Tahsin, Samiha, et al.
Published: (2024)

Proceedings of the 21st International Workshop on the Web and Databases

Proceedings of the Workshop on Testing Database Systems

Proceedings of the workshop on Testing Database Systems

Proceedings of the 1st Workshop on Machine Learning and Systems

Proceedings of the 1st workshop on Modularity in systems software

Proceedings of the 1st European Workshop on System Security

Proceedings of the 1st Workshop on Disruptive Memory Systems

Proceedings of the 1st workshop on Comprehension of complex systems

Proceedings of the 1st Workshop on Social Network Systems

2014 6th International Conference on Electronic Voting: Verifying the Vote (EVOTE)

Verified valuation for instrumentation and monitoring works of BRAC University new campus project
by: BUCG-ABC Joint Venture (BUCG-ABC JV)
Published: (2023)

Proceedings of the 1st workshop on Network and system support for games

Proceedings of the 1st Workshop on Deep Learning for Recommender Systems

Proceedings of the 1st Workshop on Cryptocurrencies and Blockchains for Distributed Systems

Proceedings of the 1st workshop on Operating systems in computer networks

Proceedings of the 1st International Workshop on Networked AI Systems

Proceedings of the 1st Workshop on Testing Object-Oriented Systems

Proceedings of the 1st Workshop on Architectures and Systems for Big Data

Proceedings of the 1st Workshop on System Software for Trusted Execution

Proceedings of the 1st Workshop on Privacy by Design in Distributed Systems

Proceedings of the 1st workshop on Isolation and integration in embedded systems

Proceedings of the 1st Workshop on SErverless Systems, Applications and MEthodologies

Proceedings of the 1st ACM workshop on Workshop on AISec

Proceedings of the 1st Workshop on Middleware for the Edge

Proceedings of the 1st Workshop on Green Computing

Proceedings of the 1st Workshop on Digital Biomarkers

Proceedings of the Fourth International Workshop on Testing Database Systems

Proceedings of the Second International Workshop on Testing Database Systems

Proceedings of the Third International Workshop on Testing Database Systems

Proceedings of the Fifth International Workshop on Testing Database Systems

Proceedings of the Sixth International Workshop on Testing Database Systems

Database systems : the complete book /
by: Garcia-Molina, Hector
Published: (2002)

Proceedings of the 1st ACM Workshop on Autonomous and Intelligent Mobile Systems