28 results
Increased risk of mortality associated with social isolation in older men: only when feeling lonely? Results from the Amsterdam Study of the Elderly (AMSTEL)
-
- Journal:
- Psychological Medicine / Volume 42 / Issue 4 / April 2012
- Published online by Cambridge University Press:
- 06 September 2011, pp. 843-853
-
- Article
- Export citation
Isolating the jet in broadband spectra of XBs
-
- Journal:
- Proceedings of the International Astronomical Union / Volume 6 / Issue S275 / September 2010
- Published online by Cambridge University Press:
- 24 February 2011, pp. 317-318
- Print publication:
- September 2010
-
- Article
-
- You have access
- Export citation
Effects of the Heteroepitaxial Interface on Spin Injection in Fe/AlGaAs
-
- Journal:
- Microscopy and Microanalysis / Volume 10 / Issue S02 / August 2004
- Published online by Cambridge University Press:
- 01 August 2004, pp. 334-335
- Print publication:
- August 2004
-
- Article
- Export citation
9 - Theoretical topics
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 243-262
-
- Chapter
- Export citation
10 - Additional language constructs
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 263-286
-
- Chapter
- Export citation
A - Syntax
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 309-316
-
- Chapter
- Export citation
I - Algebraic specification
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 1-2
-
- Chapter
- Export citation
2 - Setting up algebraic specifications
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 33-58
-
- Chapter
- Export citation
II - State-based specification
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 111-112
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp i-iv
-
- Chapter
- Export citation
List of tables
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp xii-xii
-
- Chapter
- Export citation
3 - Structuring algebraic specifications
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 59-78
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 303-308
-
- Chapter
- Export citation
B - Standard library
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 317-331
-
- Chapter
- Export citation
Contents
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp v-ix
-
- Chapter
- Export citation
5 - From algebras to states
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 113-142
-
- Chapter
- Export citation
Preface
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp xiii-xvi
-
- Chapter
- Export citation
1 - Introducing the basic concepts
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 3-32
-
- Chapter
- Export citation
Index
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 332-335
-
- Chapter
- Export citation
11 - Towards large systems
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 287-302
-
- Chapter
- Export citation