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 
Favorites
Saved in:
2
Cryptography and Coding [E-Book] : 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings /

Full text 
Favorites
Saved in:
3
Towards Autonomous Robotic Systems [E-Book] : 14th Annual Conference, TAROS 2013, Oxford, UK, August 28--30, 2013, Revised Selected Papers /

Full text 
Favorites
Saved in:
4
Belief Functions: Theory and Applications [E-Book] : Third International Conference, BELIEF 2014, Oxford, UK, September 26-28, 2014. Proceedings /

Full text 
Favorites
Saved in:
5
Reachability Problems [E-Book] : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings /

Full text 
Favorites
Saved in:
6
Scalable Uncertainty Management [E-Book] : 8th International Conference, SUM 2014, Oxford, UK, September 15-17, 2014. Proceedings /

Full text 
Favorites
Saved in:
7
Wireless Sensor Networks [E-Book] : 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings /

Full text 
Favorites
Saved in:
8
Radio Frequency Identification: Security and Privacy Issues [E-Book] : 10th International Workshop, RFIDSec 2014, Oxford, UK, July 21-23, 2014, Revised Selected Papers /

Full text 
Favorites
Saved in:
9
Horizons of the Mind. A Tribute to Prakash Panangaden [E-Book] : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:
10
Big Data [E-Book] : 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings /

Full text 
Favorites
Saved in:
11
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky [E-Book] : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:
12
Implementation and Application of Functional Languages [E-Book] : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /

Full text 
Favorites
Saved in:
13
Theories of Programming and Formal Methods [E-Book] : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday /

Full text 
Favorites
Saved in:
14
Cryptography and Coding [E-Book] : 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings /

Full text 
Favorites
Saved in:
15
Large-Scale Complex IT Systems. Development, Operation and Management [E-Book]: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers /

Full text 
Favorites
Saved in:
16
Model Checking Software [E-Book] : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings /

Full text 
Favorites
Saved in:
17
Generic and Indexed Programming [E-Book] : International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures /

Full text 
Favorites
Saved in:
18
Digitized : the science of computers and how it shapes our world [E-Book] /

Full text 
Favorites
Saved in:
19
Artificial General Intelligence : 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings [E-Book] /

Full text 
Favorites
Saved in:
20
Datalog Reloaded [E-Book]: First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers /

Full text 
Favorites
Saved in:

Narrow Search Results