Incidental venous thromboembolism, detected by chance, but still venous thromboembolism
- 期刊名称European Respiratory Journal
- 作者Meyer, Guy; Planquette, Benjamin
- 卷第55卷
- 期第2期
- 印刷ISSN0903-1936
- 电子ISSN1399-3003
- 文件大小211.49KB
- 发表时间2020-02
- DOI10.1183/13993003.00028-2020
[ACM Press the 7th ACM SIGPLAN International Conference - Los Angeles, CA, USA (2018.01.08-2018.01.09)] Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018 - Triangulating context lemmasMcLaughlin, Craig; McKinna, James; Stark, Ian · 2018
[ACM Press the 7th ACM SIGPLAN International Conference - Los Angeles, CA, USA (2018.01.08-2018.01.09)] Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018 - Mechanising blockchain consensusPîrlea, George; Sergey, Ilya · 2018
[ACM Press the 2018 7th International Conference - Kuantan, Malaysia (2018.02.08-2018.02.10)] Proceedings of the 2018 7th International Conference on Software and Computer Applications - ICSCA 2018 - CDMGShohieb, Samaa M. · 2018
[ACM Press the 7th ACM SIGPLAN International Conference - Los Angeles, CA, USA (2018.01.08-2018.01.09)] Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018 - HOπ in CoqLenglet, Sergueï; Schmitt, Alan · 2018
[ACM Press the 7th ACM SIGPLAN International Conference - Los Angeles, CA, USA (2018.01.08-2018.01.09)] Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018 - HOπ in CoqLenglet, Sergueï; Schmitt, Alan · 2018
[ACM Press the 7th ACM SIGPLAN International Conference - Los Angeles, CA, USA (2018.01.08-2018.01.09)] Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018 - Mechanising and verifying the WebAssembly specificationWatt, Conrad · 2018
[ACM Press the 7th ACM SIGPLAN International Conference - Los Angeles, CA, USA (2018.01.08-2018.01.09)] Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018 - Mechanising and verifying the WebAssembly specificationWatt, Conrad · 2018
[ACM Press the 2018 7th International Conference - Kuantan, Malaysia (2018.02.08-2018.02.10)] Proceedings of the 2018 7th International Conference on Software and Computer Applications - ICSCA 2018 - TEXTnologyGarcia, Paul G.; Galeon, Dario H.; Palaoag, Thelma D. · 2018
[IEEE 2015 4th International Conference on Software Engineering and Computer Systems (ICSECS) - Kuantan, Malaysia (2015.8.19-2015.8.21)] 2015 4th International Conference on Software Engineering and Computer Systems (ICSECS) - Adopting search-based algorithms for pairwise testingNasser, Abdullah B.; Alsewari, AbdulRahman A.; Zamli, Kamal Z. · 2015
[IEEE 2015 IEEE Student Conference on Research and Development (SCOReD) - Kuala Lumpur, Malaysia (2015.12.13-2015.12.14)] 2015 IEEE Student Conference on Research and Development (SCOReD) - Sequence and sequence-less T-way test suite generation strategy based on flower pollination algorithmNasser, Abdullah B.; Hujainah, Fadhl; Alsewari, AbdulRahman A.; Zamli, Kamal Z. · 2015
[IEEE 2015 IEEE International Conference on Control System, Computing and Engineering (ICCSCE) - Penang, Malaysia (2015.11.27-2015.11.29)] 2015 IEEE International Conference on Control System, Computing and Engineering (ICCSCE) - Assessing optimization based strategies for t-way test suite generation: The case for flower-based strategyNasser, Abdullah B.; Sariera, Yazan A.; Alsewari, AbdulRahman A.; Zamli, Kamal Z. · 2015