The Concurrency Control Problem for Database Systems Lecture Notes in Computer S

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

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

Foundations of inductive logic programming. Lecture notes in computer science ;

KI-94: Advances in Artificial Intelligence: 18th German Annual Conference on Art

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

Advances in Petri Nets 1985 (Lecture Notes in Computer Science)

Advances in database technology : proceedings. EDBT '88, Venice, Italy, March 14