<--- Back to Details
First PageDocument Content
Ancient Greek technology / Automation / Automaton / Robotics / Formal methods / Programming paradigms
Date: 2016-07-20 07:27:30
Ancient Greek technology
Automation
Automaton
Robotics
Formal methods
Programming paradigms

The Problem Our Approach Quantified Event Automata

Add to Reading List

Source URL: www.cs.man.ac.uk

Download Document from Source Website

File Size: 965,57 KB

Share Document on Facebook

Similar Documents

Helen King : Galen and the widow. Towards a history of therapeutic masturbation in ancient gynaecology. This paper offers a close reading of the ancient Greek and Roman texts which Rachel Maines (The Technology of Orga

DocID: 1tVq2 - View Document

Transport / Ancient Greek technology / Construction equipment / Crane / Heavy equipment / Lifting equipment / Power steering / Technology / Mobile crane / Hydraulic / Suspension / Automotive industry

Microsoft PowerPoint - 250E ING AMERICA

DocID: 1rr8h - View Document

Construction equipment / Heavy equipment / Ancient Greek technology / Crane / Lifting equipment / Transport / Power steering / Mobile crane / Technology / Hydraulic / Automotive industry

Microsoft PowerPoint - 180E ING AMERICA

DocID: 1rmGs - View Document

Copernican Revolution / Astronomy / Ancient Greek astronomy / Science and technology / Science / Obsolete scientific theories / Solar System / Galileo affair / De revolutionibus orbium coelestium / Heliocentrism / Nicolaus Copernicus / Copernican heliocentrism

CHAPTER V. SCIENTIFIC LABOURS AND THE PRINCIPLES OF THE UNIVERSEI. Dee restored to favour — the Supplication to Queen Mary for the preservation of ancient monuments with a plan for a Library Royall — con

DocID: 1rldX - View Document

Astronomical instruments / Machines / Science and technology / History of computing hardware / National Archaeological Museum of Athens / Astronomy / Analog computers / Antikythera mechanism / Archaeoastronomy / Antikythera / Mechanism / Ancient Greek technology

The Antikithera Mechanism

DocID: 1rjYb - View Document