Refund attacks on Bitcoin’s Payment Protocol Patrick McCorry, Siamak F. Shahandashti, Feng Hao School of Computing Science, Newcastle University UK (patrick.mccorry, siamak.shahandashti, feng.hao)@ncl.ac.uk Abstract.

Source URL: fc16.ifca.ai

PDF Document

Source URL: research.ncl.ac.uk

Financing infrastructure and built environment adaptation to climate change Dr Katy Roelich October 2015

Source URL: research.ncl.ac.uk

Are you being served? Alternative infrastructure business models to improve economic growth and well-being A mid-term review and manifesto from the iBUILD Infrastructure Research Centre • March 2015 • www.ibuild.ac.u

Source URL: research.ncl.ac.uk

VC Prof Chris Brink with Students

Source URL: www.ncl.ac.uk

• Civic engagement
• Community building
• Community organizing
• Youth
• Academia
• Higher education
• Education
• Mid Western University
• Azim Premji University

Intuition before Formalism References June 23, 2015 Relational post conditions: [Flo67, dBS69, Hoa69, Jon73, Jon80, Acz82, Jon86] Data abstraction/reification: [Luc68, Jon70, Jon80, Jon86, Mar86, Nip86, Jon07] Tool suppo

Source URL: homepages.cs.ncl.ac.uk

• Software engineering
• Computer science
• Theoretical computer science
• Formal methods
• Fellows of the British Computer Society
• Logic in computer science
• Cliff Jones
• Dines Bjrner
• Models of computation
• Vienna Development Method
• David Gries
• Formal Aspects of Computing

NCL Foundation Board NCL-Account Holstenwall 10, DHamburg Dr. rer. nat. Frank Stehr IBAN: DE50Tel.: +740 Head of Research BIC: HASPDEHHXXX

Source URL: www.ncl-stiftung.de

07_Poster-final_NCL_Research Award 2015.indd

Source URL: www.ncl-stiftung.de

首先連線到國家圖書館網站：http://www.ncl.edu.tw/ ，接著選擇圖書資源此項 目中的『館藏目錄查詢系統』 進入此系統之後，輸入想要查詢的關鍵詞 以『紅樓夢』為例子

Source URL: www.sris.com.tw

從台灣期刊論文索引系統匯入書目 *建議用FireFox瀏覽器開啟網頁 連結網址:http://readopac.ncl.edu.tw/nclJournal/ 下載過濾器

Source URL: www.sris.com.tw