34 results
Cognitive-behavioral therapy for patients with post-COVID-19 condition (CBT-PCC): a feasibility trial
-
- Journal:
- Psychological Medicine / Volume 54 / Issue 6 / April 2024
- Published online by Cambridge University Press:
- 16 October 2023, pp. 1122-1132
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Prediction of estimated risk for bipolar disorder using machine learning and structural MRI features
-
- Journal:
- Psychological Medicine / Volume 54 / Issue 2 / January 2024
- Published online by Cambridge University Press:
- 22 May 2023, pp. 278-288
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Coordinated Microanalyses of Seven Particles of Probable Interstellar Origin from the Stardust Mission.
-
- Journal:
- Microscopy and Microanalysis / Volume 20 / Issue S3 / August 2014
- Published online by Cambridge University Press:
- 27 August 2014, pp. 1692-1693
- Print publication:
- August 2014
-
- Article
-
- You have access
- Export citation
Modal and mixed specifications: key decision problems and their complexities
-
- Journal:
- Mathematical Structures in Computer Science / Volume 20 / Issue 1 / February 2010
- Published online by Cambridge University Press:
- 26 February 2010, pp. 75-103
-
- Article
- Export citation
5 - Modal logics and agents
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp 306-357
-
- Chapter
- Export citation
Contents
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp v-viii
-
- Chapter
- Export citation
2 - Predicate logic
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp 93-171
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp i-iv
-
- Chapter
- Export citation
Logic in Computer Science
- Modelling and Reasoning about Systems
-
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004
-
- Textbook
- Export citation
Preface to the second edition
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp xi-xii
-
- Chapter
- Export citation
Index
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp 418-427
-
- Chapter
- Export citation
4 - Program verification
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp 256-305
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp 414-417
-
- Chapter
- Export citation
3 - Verification by model checking
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp 172-255
-
- Chapter
- Export citation
6 - Binary decision diagrams
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp 358-413
-
- Chapter
- Export citation
Acknowledgements
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp xiii-xiv
-
- Chapter
- Export citation
1 - Propositional logic
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp 1-92
-
- Chapter
- Export citation
A domain equation for refinement of partial systems
-
- Journal:
- Mathematical Structures in Computer Science / Volume 14 / Issue 4 / August 2004
- Published online by Cambridge University Press:
- 05 August 2004, pp. 469-505
-
- Article
- Export citation
Bibliography
-
- Book:
- Secure Communicating Systems
- Published online:
- 05 June 2012
- Print publication:
- 27 August 2001, pp 271-274
-
- Chapter
- Export citation
3 - Symmetric-Key Cryptography
-
- Book:
- Secure Communicating Systems
- Published online:
- 05 June 2012
- Print publication:
- 27 August 2001, pp 81-130
-
- Chapter
- Export citation