Provably trustworthy systems
- 期刊名称Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
- 作者Klein, Gerwin; Andronick, June; Keller, Gabriele; Matichuk, Daniel; Murray, Toby; O'Connor, Liam
- 卷第375卷
- 期第2104期
- 印刷ISSN1364-503X
- 电子ISSN1471-2962
- 文件大小1215.14KB
- 发表时间2017-10-13
- DOI10.1098/rsta.2015.0404
Hydatid CystPolat, Fatin R. · Surgical Laparoscopy, Endoscopy & Percutaneous Techniques · 2012
Closed-tube ThoracostomyNasr, Mohamed M. · Surgical Laparoscopy, Endoscopy & Percutaneous Techniques · 2014
Incisional HerniaStipa, Francesco; Giaccaglia, Valentina; Burza, Antonio; Santini, Ettore; Bascone, Bruno; Picchio, Marcello · Surgical Laparoscopy, Endoscopy & Percutaneous Techniques · 2013
TransitionsScott-Conner, Carol E.H. · Surgical Laparoscopy, Endoscopy & Percutaneous Techniques · 2012
Subvesical Bile Duct InjuryMajumder, Shounak; Habibi, Hamid; Garcia, Christopher M. · Surgical Laparoscopy, Endoscopy & Percutaneous Techniques · 2013
Laparoscopic Paraesophageal Hernia RepairMorrow, Ellen H.; Oelschlager, Brant K. · Surgical Laparoscopy, Endoscopy & Percutaneous Techniques · 2013
Laparoscopy-Assisted Billroth I Gastrectomy&NA;, · Surgical Laparoscopy, Endoscopy & Percutaneous Techniques · 2013
Laparoscopic Paraesophageal Hernia RepairSoper, Nathaniel J.; Teitelbaum, Ezra N. · Surgical Laparoscopy, Endoscopy & Percutaneous Techniques · 2013