Version 1.0 Smart contractNick Szabo

Source URL: www.ultrain.io

• Shard
• Trilemma
• Information
• Human behavior

The Mercury Language Reference Manual Version rotdFergus Henderson Thomas Conway Zoltan Somogyi

Source URL: mercurylang.org

• Software engineering
• Computer programming
• Computing
• Programming languages
• Data types
• Cross-platform software
• High-level programming languages
• Procedural programming languages
• Directive
• D
• Pragma
• Prolog

Software-Handbuch RISE 3.0 Version: 27. August 2015 Berner Fachhochschule Hochschule für Agrar-, Forst- und Lebensmittelwissenschaften HAFL

Source URL: www.hafl.bfh.ch

Pre-trickle back version

Source URL: report.ipcc.ch

• Foreign relations
• Law
• Government
• Climate change policy
• Climate forcing agents
• Environment
• Global warming
• Climate change
• Intergovernmental Panel on Climate Change
• IPCC Fifth Assessment Report
• IPCC Third Assessment Report
• Greenhouse gas

Cream version 1.2 Programmers Guide Naoyuki Tamura http://bach.istc.kobe-u.ac.jp/cream/ Oct. 5, 2004 Abstract

Source URL: bach.istc.kobe-u.ac.jp

• Software engineering
• Computer programming
• Computing
• Mathematical modeling
• Numerical software
• Constraint satisfaction
• Constraint programming
• AMPL
• Solver
• Lis
• Prolog
• Quadratic programming

Only the German version of this document is legally binding ARTICLES OF ASSOCIATION of the DEPOSIT GUARANTEE AND INVESTOR COMPENSATION FOUNDATION PCC

Source URL: www.eas-liechtenstein.li

• Economy
• Finance
• Money
• Deposit insurance
• Systemic risk
• Bank regulation
• Markets in Financial Instruments Directive
• Liechtenstein

CogniSight SDK For LabVIEW A TOOLBOX CONNECTING LABVIEW TO A NEUROMEM SILICON NETWORK Version 1.0

Source URL: www.general-vision.com

• Computing
• Mathematical software
• Numerical analysis
• Cross-platform software
• LabVIEW
• Numerical software
• Windows API
• Dynamic-link library

Moscow ML Language Overview Version 2.00 of June 2000 Sergei Romanenko, Russian Academy of Sciences, Moscow, Russia Claudio Russo, Cambridge University, Cambridge, United Kingdom Peter Sestoft, Royal Veterinary and Agric

Source URL: mosml.org

• Software engineering
• Computing
• Computer programming
• Procedural programming languages
• Functional languages
• Data types
• Standard ML
• Type theory
• Scope
• ML
• Variable
• Operator

The Racket Reference Version 6.4 Matthew Flatt and PLT February 8, 2016

Source URL: download.racket-lang.org

• Computer programming
• Software engineering
• Computing
• Object-oriented programming languages
• Functional languages
• Data types
• Functional programming
• Scripting languages
• Racket
• Generator
• Macro
• Mutator method

This is the full version of a paper which appears in Financial Cryptography and Data Security - 21st International Conference, FC 2017, Sliema, Malta, April, Revised Selected Papers, Springer, LNCS. Homomorphic

Source URL: eprint.iacr.org

• Cryptography
• Public-key cryptography
• Homeomorphisms
• Homomorphic encryption
• Proxy re-encryption
• Malleability
• Message authentication code
• Paillier cryptosystem
• RSA
• Digital signature