Home Advanced Search

Advanced Search - Page 1

OCA Oracle Database SQL Exam Guide (Exam 1Z0-071)

PDF
English
Year: 2017
Author: Steve O’Hearn

Bobby Sands

MOBI
English
Year: 2016
Author: Denis O’Hearn

Nothing But an Unfinished Song: The Life and Times of Bobby Sands

EPUB
English
Year: 2006
Author: Denis O’Hearn

ALGOL-like Languages

PDF
English
Year: 1996
Author: Peter W. O’Hearn, Robert D. Tennent

ALGOL-like Languages

PDF
English
Year: 1997
Author: Peter W. O’Hearn, Robert D. Tennent

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

PDF
English
Year: 2004
Author: Peter W. O’Hearn (auth.), David Schmidt (eds.)

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

PDF
English
Year: 2004
Author: Peter W. O’Hearn (auth.), David Schmidt (eds.)

Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings

PDF
English
Year: 2001
Author: Peter O’Hearn, John Reynolds, Hongseok Yang (auth.), Laurent Fribourg (eds.)

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

PDF
English
Year: 2010
Author: Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue (auth.), Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani (eds.)

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

PDF
English
Year: 2010
Author: Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue (auth.), Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani (eds.)