<--- Back to Details
First PageDocument Content
Models of computation / Logic in computer science / Functional languages / Programming paradigms / Lambda calculus / John von Neumann / Denotational semantics / FP / Functional programming / Software engineering / Computing / Mathematics
Date: 2007-03-23 01:43:16
Models of computation
Logic in computer science
Functional languages
Programming paradigms
Lambda calculus
John von Neumann
Denotational semantics
FP
Functional programming
Software engineering
Computing
Mathematics

Add to Reading List

Source URL: www.thocp.net

Download Document from Source Website

File Size: 2,87 MB

Share Document on Facebook

Similar Documents

Cloud infrastructure / IBM cloud computing / Computing / Cloud computing

InsFtute
of
Molecular
Systems
Biology

 Accelerating 3D Protein Modeling Using Cloud Computing 
 Lars
Malmström,
Ruedi
Aebersold
–
ETH
Zürich,
IMSB
h?p://www.imsb.ethz.ch
 Wibke
Sud

DocID: 1xW13 - View Document

Erste Diskussionsrunde Treiber und betroffene Gebiete • Cloud Computing ist ein neuer Versuch, eine alte Idee zu reanimieren. Es handelt sich im Grund um eine blosse Marketing & Sales-Kampagne der Anbieter von Infrastr

DocID: 1xW0r - View Document

Probability and statistics / Statistics / Statistical randomness / Stochastic computing / Applied mathematics / Stochastic optimization / Artificial neural network / Mathematical optimization / Stochastic process

Stochastic Synthesis for Stochastic Computing Vincent T. Lee, Armin Alaghi, Luis Ceze, Mark Oskin University of Washington arXiv:1810.04756v1 [cs.ET] 10 Oct 2018

DocID: 1xVZF - View Document

Economy / Finance / Money / Investment management / Money managers / Institutional investors / Robotics / Robot / Asset allocation / Chartered Financial Analyst / Artificial intelligence

Robotics - the next revolution in technology? From the early industrial revolution of the 18th century, powered by water and steam, to the combustion engine for cars in the 19th century and then to computing in the 20th

DocID: 1xVUw - View Document

Mathematics / Computer arithmetic / Numerical analysis / Applied mathematics / Arithmetic / Interval arithmetic / Computer-assisted proof / Computational science / Scan

SCAN 2018 Post-conference Proceedings Special Issue of Journal of Computational and Applied Mathematics Call for Papers Special Issue on the 18th International Symposium on Scientific Computing, Computer Arithmetic,

DocID: 1xVSx - View Document