OCP developer PL/SQL program units exam guide / by O'Hearn, Steve

OCP developer PL/SQL program units exam guide / [cakera padat] by O'Hearn, Steve

OCA Oracle database : SQL certified expert exam guide : (exam 1Z0-047) / by O'Hearn, Steve.

OCA Oracle database [electronic resource] : SQL certified expert exam guide : (exam 1Z0-047) / by O'Hearn, Steve.

Review of Alternatives to Capitalism: Proposals for a Democratic Economy by Robin Hahnel and Erik Olin Wright. 2016. London: Verso. 148 pages, ISBN 978-1-7847-8504-8 Paper ($19.95) by Dennis O'Hearn

Get full text

Nocet esse feracem: An Ecofeminist Analysis of the Pseudo-Ovidian Nux by Leah O’Hearn

Get full text

Amartya Sen's Development as Freedom: Ten Years Later by Denis O'Hearn

Get full text

Genetic variants for personalised management of very low carbohydrate ketogenic diets by L Amber O’Hearn

Get full text

Separation Logic Semantics for Communicating Processes by Hoare, T, O'Hearn, P

Age differences and brain maturation provide insight into heterogeneous results in autism spectrum disorder by Kirsten O’Hearn, Andrew Lynn

Get full text

Global health influences internationalization priorities at Canadian universities by S. O'hearn, L.J. Edmonds

Get full text

A Semantic Basis for Local Reasoning by Yang, H, O'Hearn, P

Separation and Information Hiding by O'Hearn, P, Yang, H, Reynolds, J

Computability and Complexity Results for a Spatial Assertion Language for Data Structures by Calcagno, C, Yang, H, O'Hearn, P

Local Action and Abstract Separation Logic by Calcagno, C, O'Hearn, P, Yang, H

Separation and Information Hiding by O’Hearn, P, Yang, H, Reynolds, J

Possible Worlds and Resources: The Semantics of BI by Pym, D, O'Hearn, P, Yang, H

Graphical models of separation logic by Wehrman, I, Hoare, C, O'Hearn, P

Local Reasoning about Programs that Alter Data Structures by O'Hearn, P, Reynolds, J, Yang, H

A local shape analysis based on separation logic by Distefano, D, O'Hearn, P, Yang, H