Database systems.- General purpose schedulers.- Logs.- Correctness criteria for general purpose schedulers.- Constructing general purpose schedulers.- Conflict-preserving schedulers.- Database description.- Database manipulation.- Concurrent dynamic logic.- Correctness of transaction systems.- Conclusions and directions for future work.
Database systems.- General purpose schedulers.- Logs.- Correctness criteria for general purpose schedulers.- Constructing general purpose schedulers.- Conflict-preserving schedulers.- Database description.- Database manipulation.- Concurrent dynamic logic.- Correctness of transaction systems.- Conclusions and directions for future work.
Database systems.- General purpose schedulers.- Logs.- Correctness criteria for general purpose schedulers.- Constructing general purpose schedulers.- Conflict-preserving schedulers.- Database description.- Database manipulation.- Concurrent dynamic logic.- Correctness of transaction systems.- Conclusions and directions for future work.
Database systems.- General purpose schedulers.- Logs.- Correctness criteria for general purpose schedulers.- Constructing general purpose schedulers.- Conflict-preserving schedulers.- Database description.- Database manipulation.- Concurrent dynamic logic.- Correctness of transaction systems.- Conclusions and directions for future work.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309