Advances in object oriented database systems : proceedings. Lecture Notes in Com

Advances in Database Technology - EDBT '94 Lecture Notes in Computer Science 779

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Compute

Concurrency Control Performance Evaluation, Oded S

Programming methodology. Lecture notes in computer science ; 23 Hackl, Clemens E

Concurrency Control Performance Evaluation (Classic Reprint)

Seven Concurrency Models in Seven Weeks: When Threads by Paul Butcher PAPERBACK

Rust Systems Programming Mastering Performance, Concurrency, and Safety for Reli