A Science of Operations - History of Computing
Latest Publications

TOTAL DOCUMENTS

12

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer London

9781848825543, 9781848825550

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Algol Research Programme

A Science of Operations - History of Computing ◽

10.1007/978-1-84882-555-0_9 ◽

2011 ◽

pp. 225-252

Author(s):

Mark Priestley

Keyword(s):

Research Programme

Download Full-text

The Logic of Correctness in Software Engineering

A Science of Operations - History of Computing ◽

10.1007/978-1-84882-555-0_10 ◽

2011 ◽

pp. 253-276

Author(s):

Mark Priestley

Keyword(s):

Software Engineering

Download Full-text

Automating Control

A Science of Operations - History of Computing ◽

10.1007/978-1-84882-555-0_5 ◽

2011 ◽

pp. 99-121

Author(s):

Mark Priestley

Download Full-text

The Unification of Data and Algorithms

A Science of Operations - History of Computing ◽

10.1007/978-1-84882-555-0_11 ◽

2011 ◽

pp. 277-296

Author(s):

Mark Priestley

Download Full-text

Introduction

A Science of Operations - History of Computing ◽

10.1007/978-1-84882-555-0_1 ◽

2011 ◽

pp. 1-15

Author(s):

Mark Priestley

Download Full-text

The Invention of Programming Languages

A Science of Operations - History of Computing ◽

10.1007/978-1-84882-555-0_8 ◽

2011 ◽

pp. 185-224 ◽

Author(s):

Mark Priestley

Keyword(s):

Programming Languages

Download Full-text

Logic and the Invention of the Computer

A Science of Operations - History of Computing ◽

10.1007/978-1-84882-555-0_6 ◽

2011 ◽

pp. 123-155

Author(s):

Mark Priestley

Download Full-text

Babbage’s Engines

A Science of Operations - History of Computing ◽

10.1007/978-1-84882-555-0_2 ◽

2011 ◽

pp. 17-51

Author(s):

Mark Priestley

Download Full-text

Conclusions

A Science of Operations - History of Computing ◽

10.1007/978-1-84882-555-0_12 ◽

2011 ◽

pp. 297-306

Author(s):

Mark Priestley

Download Full-text

Machine Code Programming and Logic

A Science of Operations - History of Computing ◽

10.1007/978-1-84882-555-0_7 ◽

2011 ◽

pp. 157-183

Author(s):

Mark Priestley

Keyword(s):

Download Full-text