Center for Reliable Computing TECHNICAL NOTE

Source URL: crc.stanford.edu

UME˚ A UNIVERSITY Department of Computing Science Jon Hollstr¨ om Per Nordlinder

Source URL: beepcore.org

R Foundation for Statistical Computing c/o Institute for Statistics and Mathematics Wirtschaftsuniversit¨at Wien, Welthandelsplatz 1, 1020 Wien, Austria Tel: +, Fax: +

Source URL: www.r-project.org

How Data Analytics and Cognitive Computing are changing the game for Financial Services Sebastien Meunier

Source URL: res.cdn.sys-con.com

Presented at UN-Habitat World Urban Forum - Cities: Crossroads of Cultures, Inclusiveness and Integration? IRFD Theme: The Role of Cities in an Information AgeSeptember 2004, Barcelona, Spain. Pervasive Computing

Source URL: victor.callaghan.info

ITRS 2004 Preliminary Version Sequence Types for the π-calculus Sergio Maffeis 1 Department of Computing, Imperial College London,

Source URL: wwwhomes.doc.ic.ac.uk

• Mathematical logic
• Mathematics
• Theoretical computer science
• Lambda calculus
• Deductive reasoning
• Natural deduction
• Proof theory
• Symbol
• System F
• -calculus
• Holomorphic functional calculus
• Security type system

1970 FORTH - A Language for Interactive Computing Charles H.Moore Geoffrey C. Leach

Source URL: www.ultratechnology.com

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: tokyo2018.scalingbitcoin.org

The SIGSPATIAL Special Newsletter of the Association for Computing Machinery Special Interest Group on Spatial Information Editorial Highlights from ACM SIGSPATIAL GIS 2012 IWCTS 2012 Workshop Report

Source URL: www.sigspatial.org

Proceedings of the 6th International Conference on Computing and Informatics, ICOCI27April, 2017 Kuala Lumpur. Universiti Utara Malaysia (http://www.uum.edu.my ) Paper No. 052

Source URL: icoci.cms.net.my