Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Taskeen Fatima"'
Publikováno v:
Climate Change Adaptation, Risk Management and Sustainable Practices in the Himalaya ISBN: 9783031246586
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::689003ad0eda9aa319851421a65155ab
https://doi.org/10.1007/978-3-031-24659-3_11
https://doi.org/10.1007/978-3-031-24659-3_11
Publikováno v:
2022 24th International Multitopic Conference (INMIC).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2bef00db9ad7630aef3888700a79e0f0
https://doi.org/10.1109/inmic56986.2022.9972964
https://doi.org/10.1109/inmic56986.2022.9972964
Publikováno v:
Pakistan journal of pharmaceutical sciences. 32(5(Supplementary))
Rheumatoid arthritis (RA) is an inflammatory autoimmune disease that shares a major global economic burden due to disabilities and mortality risk. It affects all age groups with a female predominance. Tumor Necrosis Factor (TNF) a proinflammatory cyt
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid________::2ce81636050eac63145b555150a3fd6f
https://pubmed.ncbi.nlm.nih.gov/31894057
https://pubmed.ncbi.nlm.nih.gov/31894057
Publikováno v:
Lecture Notes in Networks and Systems ISBN: 9783030123840
The mathematical nature of Formal Methods make them more amenable for machine assisted analysis. However, the exhaustive model-checking and theorem-proving of the complete specification remains an elusive target due to the state-explosion problem. Si
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4ae3576ef770d3cf4fa45a602188da83
https://doi.org/10.1007/978-3-030-12385-7_27
https://doi.org/10.1007/978-3-030-12385-7_27
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.