Search

Your search keyword '"Costa, Diana"' showing total 788 results

Search Constraints

Start Over You searched for: Author "Costa, Diana" Remove constraint Author: "Costa, Diana"
788 results on '"Costa, Diana"'

Search Results

1. Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

2. System $F^\mu_\omega$ with Context-free Session Types

5. List of contributors

8. 4DL: a four-valued Dynamic logic and its proof-theory

9. Higher-order Context-free Session Types in System F

11. Estimated number of lives directly saved by COVID-19 vaccination programmes in the WHO European Region from December, 2020, to March, 2023: a retrospective surveillance study

15. System with Context-free Session Types

23. Contributors

25. Drug delivery for bone tissue engineering

27. List of contributors

28. A Tool for Air Cargo Planning and Distribution

31. Evidence That a Peptide-Drug/p53 Gene Complex Promotes Cognate Gene Expression and Inhibits the Viability of Glioblastoma Cells

33. High-Risk HPV Detection in Paraffin-Embedded Tissue from Cervical Lesions.

34. Estética da IA: “Unreliable Memories” de Lev Manovich.

35. Entre abordagens, métodos e metodologias na prática artística em artes visuais.

39. Anticipating Maintenance in Telecom Installation Processes

40. Reasoning over Permissions Regions in Concurrent Separation Logic

41. A Four-Valued Hybrid Logic with Non-dual Modal Operators

47. List of contributors

48. Contributors

Catalog

Books, media, physical & digital resources