1
Theories of Programming and Formal Methods [E-Book] : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday /
Table of Contents: ...Jifeng He's Research Influence -- Oxford Colleagues -- ProCoS Colleagues -- Chinese Colleagues -- European Colleagues -- The Future Roadmap....

Full text 
2
Medical Image Understanding and Analysis [E-Book] : 25th Annual Conference, MIUA 2021, Oxford, United Kingdom, July 12-14, 2021, Proceedings /
3
Topological aspects of condensed matter physics : École de Physique des Houches, Session CIII, 4-29 August 2014 /
Book
4
Cryptography and Coding [E-Book] : 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings /
5
Towards Autonomous Robotic Systems [E-Book] : 14th Annual Conference, TAROS 2013, Oxford, UK, August 28--30, 2013, Revised Selected Papers /
6
Belief Functions: Theory and Applications [E-Book] : Third International Conference, BELIEF 2014, Oxford, UK, September 26-28, 2014. Proceedings /
7
Reachability Problems [E-Book] : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings /
8
Scalable Uncertainty Management [E-Book] : 8th International Conference, SUM 2014, Oxford, UK, September 15-17, 2014. Proceedings /
9
Wireless Sensor Networks [E-Book] : 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings /
10
24th European Symposium on Computer Aided Process Engineering. Part A [E-Book] /
11
Gettering and defect engineering in semiconductor technology XV : selected papers from the 15th Gettering and Defect Engineering in Semiconductor Technology Conference (GADEST 2013), September 22-27, 2013, Oxford, UK [E-Book] /
12
Radio Frequency Identification: Security and Privacy Issues [E-Book] : 10th International Workshop, RFIDSec 2014, Oxford, UK, July 21-23, 2014, Revised Selected Papers /
13
Big Data [E-Book] : 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings /
14
Implementation and Application of Functional Languages [E-Book] : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /
15
Ion specific Hofmeister effects : Queen's College, Oxford, United Kingdom 3-5 September 2013 /
Book
16
Cryptography and Coding [E-Book] : 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings /
17
Large-Scale Complex IT Systems. Development, Operation and Management [E-Book]: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers /
18
Model Checking Software [E-Book] : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings /
19
Generic and Indexed Programming [E-Book] : International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures /
20
Multi-scale and high-contrast PDE : from modelling, to mathematical analysis, to inversion : Conference on Multi-scale and High-contrast PDE:from Modelling, to Mathematical Analysis, to Inversion, June 28-July 1, 2011, University of Oxford, United Kingdom [E-Book] /