22 results
Abating CO2 and non-CO2 emissions with hydrogen propulsion
- Part of
-
- Journal:
- The Aeronautical Journal , First View
- Published online by Cambridge University Press:
- 02 April 2024, pp. 1-18
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Movie Mode Dynamic Transmission Electron Microscope: Revealing Material Processes at Nanometer and Nanosecond Scales with Multi-frame Acquisition
-
- Journal:
- Microscopy and Microanalysis / Volume 19 / Issue S2 / August 2013
- Published online by Cambridge University Press:
- 09 October 2013, pp. 1154-1155
- Print publication:
- August 2013
-
- Article
-
- You have access
- Export citation
The Development of a Flexible Laser Platform for Photoemission based, High-Time Resolution Electron Microscopes
-
- Journal:
- Microscopy and Microanalysis / Volume 18 / Issue S2 / July 2012
- Published online by Cambridge University Press:
- 23 November 2012, pp. 594-595
- Print publication:
- July 2012
-
- Article
- Export citation
Latest Developments in Dynamic TEM: Revealing Material Processes at Nanometer and Nanosecond Scales
-
- Journal:
- Microscopy and Microanalysis / Volume 18 / Issue S2 / July 2012
- Published online by Cambridge University Press:
- 23 November 2012, pp. 596-597
- Print publication:
- July 2012
-
- Article
- Export citation
Analytical linear theory for the shock and re-shock of isotropic density inhomogeneities
-
- Journal:
- Journal of Fluid Mechanics / Volume 700 / 10 June 2012
- Published online by Cambridge University Press:
- 30 April 2012, pp. 214-245
-
- Article
- Export citation
Prospective work for Alma, Herschel, Sofia : submillimeter-wave spectroscopy of complex organic molecules
-
- Journal:
- European Astronomical Society Publications Series / Volume 58 / 2012
- Published online by Cambridge University Press:
- 13 February 2013, pp. 263-266
- Print publication:
- 2012
-
- Article
-
- You have access
- Open access
- Export citation
Movie Mode Dynamic Transmission Electron Microscopy (DTEM): Multiple Frame Movies of Transient States in Materials with Nanosecond Time Resolution
-
- Journal:
- Microscopy and Microanalysis / Volume 17 / Issue S2 / July 2011
- Published online by Cambridge University Press:
- 09 April 2017, pp. 458-459
- Print publication:
- July 2011
-
- Article
-
- You have access
- Export citation
GYES, A Multifibre Spectrograph for the CFHT
-
- Journal:
- European Astronomical Society Publications Series / Volume 45 / 2010
- Published online by Cambridge University Press:
- 15 February 2011, pp. 219-222
- Print publication:
- 2010
-
- Article
- Export citation
The microstructure and electrical properties of directly deposited TiN ohmic contacts to Gallium Nitride.
-
- Journal:
- Materials Research Society Internet Journal of Nitride Semiconductor Research / Volume 5 / Issue S1 / 2000
- Published online by Cambridge University Press:
- 13 June 2014, pp. 887-893
- Print publication:
- 2000
-
- Article
-
- You have access
- HTML
- Export citation
Uranium Oxide Mass Loss Rate in Water for an Interface Under Alpha-Irradiation
-
- Journal:
- MRS Online Proceedings Library Archive / Volume 608 / 1999
- Published online by Cambridge University Press:
- 10 February 2011, 41
- Print publication:
- 1999
-
- Article
- Export citation
The Microstructure and Electrical Properties of Directly Deposited TiN Ohmic Contacts to Gallium Nitride.
-
- Journal:
- MRS Online Proceedings Library Archive / Volume 595 / 1999
- Published online by Cambridge University Press:
- 03 September 2012, F99W11.75
- Print publication:
- 1999
-
- Article
- Export citation
Logical Issues
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 363-364
-
- Chapter
- Export citation
Logical Frameworks
-
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991
Introduction
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp ix-xii
-
- Chapter
- Export citation
Contents
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp v-vi
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp vii-viii
-
- Chapter
- Export citation
Representing Formal Systems
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 183-184
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp i-iv
-
- Chapter
- Export citation
Implementations
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 87-88
-
- Chapter
- Export citation
Proofs and Computation
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 307-308
-
- Chapter
- Export citation