Showing 1 - 13 results of 13 for search '(("based computational one computing program") OR ("based applications in computing program"))~', query time: 1.45s Refine Results
2
Published 2019
... worldwide by 2030. These statistics about lung diseases get worse when one considers fibrosis...
Access document (1)
Access document (2)
Article
4
... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...
Access document
Doctoral thesis
9
Published 2016
... is one of the transformations in the journalistic production process, induced by the technological...
Access document
Doctoral thesis
Export CSV Export RIS