96 results
New integrated molecular approaches for investigating lake settlements in north-western Europe
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Migration and community in Bronze Age Orkney: innovation and continuity at the Links of Noltland
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A National Spinal Muscular Atrophy Registry for Real-World Evidence
-
- Journal:
- Canadian Journal of Neurological Sciences / Volume 47 / Issue 6 / November 2020
- Published online by Cambridge University Press:
- 04 June 2020, pp. 810-815
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Seeking the Court's Advice: The Politics of the Canadian Reference Power Kate Puddister, Vancouver: UBC Press, 2019, pp. 290.
-
- Journal:
- Canadian Journal of Political Science/Revue canadienne de science politique / Volume 53 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 21 February 2020, pp. 486-487
-
- Article
- Export citation
Building High Integrity Applications with SPARK
-
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015
Index
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 363-367
-
- Chapter
- Export citation
9 - Advanced Techniques
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 326-354
-
- Chapter
- Export citation
8 - Software Engineering with Spark
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 286-325
-
- Chapter
- Export citation
4 - Dependency Contracts
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 99-134
-
- Chapter
- Export citation
3 - Programming in the Large
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 68-98
-
- Chapter
- Export citation
1 - Introduction and Overview
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 1-17
-
- Chapter
- Export citation
Contents
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp v-viii
-
- Chapter
- Export citation
7 - Interfacing with Spark
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 247-285
-
- Chapter
- Export citation
5 - Mathematical Background
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 135-154
-
- Chapter
- Export citation
6 - Proof
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 155-246
-
- Chapter
- Export citation
Notes
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 355-358
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp ix-xiv
-
- Chapter
- Export citation
References
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 359-362
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp i-iv
-
- Chapter
- Export citation