MPG.eBooks - Search Results

1

The Oxford handbook of cyber security

Published 2021

Oxford University Press

“...Oxford handbooks online / Oxford handbooks online...”

Read Now

2

Z User Workshop, Oxford 1990 : Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990

Published 1991

Springer London

Read Now

3

Learning scientific programming with Python

by Hill, Christian
Published 2015

Cambridge University Press

Read Now

4

Z User Workshop : Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989

Published 1990

Springer London

Table of Contents: “... of the Possibility of Totally Verified Systems -- ESPRIT II: REDO at Oxford -- Formal Specification of Window Systems...”

Read Now

5

Cryptography and Coding : 13th IMA International Conference, IMACC 2011, Oxford, UK, December 2011, Proceedings

Published 2011

Springer Berlin Heidelberg

“... on Cryptography and Coding, IMACC 2011, held in Oxford, UK in December 2011. The 27 revised full papers presented...”

Read Now

6

Bidirectional Transformations : International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

Published 2018

Springer International Publishing

“... represents the lecture notes from the Summer School on Bidirectional Transformations, held in Oxford, UK...”

Read Now

7

Cryptography and Coding : 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

“... and Coding, IMACC 2013, held at Oxford, UK, in December 2013. The 20 papers presented were carefully reviewed...”

Read Now

8

Cryptography and Coding : 17th IMA International Conference, IMACC 2019, Oxford, UK, December 16–18, 2019, Proceedings

Published 2019

Springer International Publishing

“... and Coding, IMACC 2019, held in Oxford, UK, in December 2019. The 17 papers presented were carefully reviewed...”

Read Now

9

Cryptography and Coding : 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings

Published 2015

Springer International Publishing

“... and Coding, IMACC 2015, held at Oxford, UK, in December 2015. The 18 papers presented together with 1 invited...”

Read Now

10

Cryptography and Coding : 16th IMA International Conference, IMACC 2017, Oxford, UK, December 12-14, 2017, Proceedings

Published 2017

Springer International Publishing

“... and Coding, IMACC 2017, held at Oxford, UK, in December 2017. The 19 papers presented were carefully reviewed...”

Read Now

11

Model Checking Software : 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings

Published 2012

Springer Berlin Heidelberg

“... on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers...”

Read Now

12

Domain-Specific Languages : IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

“... Languages, DSL 2009 held in Oxford, UK, during July 15-17, 2009. The 18 peer-reviewed full papers were...”

Read Now

13

Trusted Computing : Second International Conference, Trust 2009 Oxford, UK, April 6-8, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

“... Computing, TRUST 2009, held in Oxford, UK, in April 2009. The 15 revised full papers presented were...”

Read Now

14

Advanced Functional Programming : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures

Published 2003

Springer Berlin Heidelberg

Read Now

15

Trust Management : Second International Conference, iTrust 2004, Oxford, UK, March 29 - April 1, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Read Now

16

Self-Adaptive Software : First International Workshop, IWSAS 2000 Oxford, UK, April 17-19, 2000 Revised Papers

Published 2001

Springer Berlin Heidelberg

“..., held in Oxford, UK in April 2000. The revised full papers presented in the volume together...”

Read Now

17

Big Data : 29th British National Conference on databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings

Published 2013

Springer Berlin Heidelberg

“... National Conference on Databases, BNCOD 2013, held in Oxford, UK, in July 2013. The 20 revised full papers...”

Read Now

18

Computer Science Logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Read Now

19

Testing of Communicating Systems : 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings

Published 2004

Springer Berlin Heidelberg

Read Now

20

Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings

Published 1993

Springer Berlin Heidelberg

“.... Catherine's College, Oxford, June 29 - July 3, 1992. The conference was organized by the Oxford University...”

Narrow Search