CORE

Results: 48130



#Item
21Theoretical computer science / Proof assistants / Logic in computer science / Mathematics / Mathematical logic / Formal methods / Isabelle / HOL / Automated theorem proving / Ordinal number / Theorem

Introduction Core Features Selected Extensions Conclusion Isabelle/HOL:

Add to Reading List

Source URL: user.it.uu.se

Language: English - Date: 2007-02-23 07:52:45
22Virtual reality in fiction / Collectible card games / Netrunner / Gaming / Human behavior / Leisure

Revised Core Set (ADN49) Complete Card List Name Type

Add to Reading List

Source URL: images-cdn.fantasyflightgames.com

Language: English - Date: 2017-09-11 15:11:32
23Software / Computing / Digital media / Social networking services / Social media / Photo sharing / Snapchat / Instagram / Facebook / Twitter / Pinterest

Topline questionnaire January 2018 Core Trends Survey Abt Associates for Pew Research Center Sample: n=2,002 adults age 18 or older nationwide, including 1,502 cell phone interviews Interviewing dates: Jan. 3-10, 2018 Ma

Add to Reading List

Source URL: www.pewinternet.org

Language: English - Date: 2018-09-13 15:12:46
24Economy / Finance / Money / Chartered Financial Analyst / Professional certification in finance / Fixed income

The Cons and Cons of the European Economy… And the Pros for European Fixed Income European Fixed Income continues to be a core building block for European investor portfolios and the European Fixed Income market has ex

Add to Reading List

Source URL: www.fundexpertsforum.com

Language: English - Date: 2018-05-29 09:57:59
25Abstract algebra / Algebra / Mathematics / Elliptic curve cryptography / Group theory / Finite fields / Exponentials / Elliptic curves / Elliptic-curve cryptography / Montgomery modular multiplication / Elliptic curve / Montgomery curve

Multi-core FPGA Implementation of ECC with Homogeneous Co-Z Coordinate Representation Bo-Yuan Peng1 , Yuan-Che Hsu2 , Yu-Jia Chen2 , Di-Chia Chueh2 , Chen-Mou Cheng3 , and Bo-Yin Yang1 1

Add to Reading List

Source URL: precision.moscito.org

Language: English - Date: 2016-09-18 07:30:29
26Qantas / Trans Australia Airlines / Taa language / Aviation / Culture

PARTIESNO FIXED ABODE NFA ditch the ‘slow’ stuff for 2 rooms of breakcore, spaz-core and uber-glitch with ILL FM

Add to Reading List

Source URL: www.randomartists.org

Language: English - Date: 2007-03-20 12:52:49
27Parallel computing / Concurrent computing / Thread / Computer architecture / Computing / Computer engineering / Digital signal processors / Microprocessors

Arachne Update Core Policies and Memcached Integration Henry Qin, Qian Li, Jacqueline Speiser, Peter Kraft John Ousterhout Introduction

Add to Reading List

Source URL: platformlab.stanford.edu

Language: English - Date: 2018-06-18 15:29:44
28Computing / Computer programming / IT infrastructure / OpenGL / Application programming interfaces / Cross-platform software / Graphics libraries / Video game development / Shader / Framebuffer object / Shading language / Pixel buffer

R The OpenGL Graphics System: A Specification (Version 4.6 (Core Profile) - May 14, 2018)

Add to Reading List

Source URL: www.khronos.org

Language: English - Date: 2018-05-14 04:23:13
29Financial services / Economy / Finance / Banking in China / H shares / CNX Nifty / Bank / Big Four / Industrial and Commercial Bank of China / HSBC / Chinabank / Shanghai

Case Study Bank Of Shanghai An examination of how – through early adoption of modern core banking software and clear strategic planning – Bank of Shanghai has readied itself for, and is already exploiting, the signif

Add to Reading List

Source URL: www.temenos.com

Language: English - Date: 2016-03-17 11:09:50
30Computing / Software / Microsoft / Computing platforms / Cross-platform software / Integrated development environments / .NET Framework / Microsoft Visual Studio / .NET Core / Mono / ASP.NET / .NET strategy

.NET Core About the Tutorial .NET Core is the latest general purpose development platform maintained by Microsoft. It works across different platforms and has been redesigned in a way that makes .NET fast, flexible and

Add to Reading List

Source URL: www.tutorialspoint.com

Language: English - Date: 2018-07-26 11:31:36
UPDATE