Transitions and trees an introduction to structural operational semantics by Huttel, Hans

Table of contents only

Fundamentals of engineering numerical analysis by Moin, Parviz

Complex multiplication by Schertz, Reinhard 1943-

Logical foundations of proof complexity by Cook, Stephen 1948-

Bayesian nonparametrics

Large-scale inference empirical Bayes methods for estimation, testing, and prediction by Efron, Bradley

Introduction to finite element vibration analysis by Petyt, Maurice

Principles of planetary climate by Pierrehumbert, Raymond T.

Solid mechanics by Hosford, William F.

The statehood of Palestine international law in the Middle East conflict by Quigley, John B.