Technological University Eindhoven, Netherlands, Department of Mathematics. EWD 316 A Short Introduction to the Art Of Programming by Prof Dr Edsger W Dijkstra

Archive Unit

For more information, email the repository
Advice on accessing these materials
Cite this description
Bookmark:http://archiveshub.jisc.ac.uk/data/gb186-br/br/3/23/1/4

This material is held at
Reference
Dates of Creation
Language of Material
Physical Description

Scope and Content

Access Information

open

Archive Record|Table of contents

Professor Brian Randell CollectionBR

Employment with English Electric CompanyBR/1

Researcher at International Business Machines Corporation (IBM)BR/2

Professor of Computing Science at Newcastle UniversityBR/3

Newcastle University: University AppointmentsBR/3/1

Newcastle University: University Research Committee MeetingsBR/3/2

Newcastle University: Faculty of Science Research Committee MeetingsBR/3/3

Newcastle University Research Assessment ExerciseBR/3/4

Newcastle University: Research Committee VisitsBR/3/5

Newcastle University: Academic BoardBR/3/6

Newcastle University: Honorary Degree CommitteeBR/3/7

Newcastle University: Public Lectures CommitteeBR/3/8

Newcastle University: Graduate CouncilBR/3/9

Newcastle University: SenateBR/3/10

Newcastle University: Board of the Faculty of EngineeringBR/3/11

Newcastle University: Board of the Faculty of ScienceBR/3/12

Newcastle University: Computing Science Department Board of StudiesBR/3/13

Newcastle University: Computer Science Department Reliability GroupBR/3/14

Newcastle University: Correspondence Relating to Newcastle University CoursesBR/3/15

Newcastle University: Correspondence Relating to Research Projects and Other University MattersBR/3/16

Newcastle University: MiscellaneousBR/3/17

Newcastle University: Computing Science Department Correspondence filesBR/3/18

Newcastle University: Computing Laboratory Research Papers and PublicationsBR/3/19

Research and Publications Authored by Professor RandellBR/3/20

Photographs Relating to Professor Randell's Research and Publications on the History of ComputingBR/3/21

Research And Publications Edited, Reviewed Or Advised On By Professor RandellBR/3/22

Other PublicationsBR/3/23

Publications By Other AuthorsBR/3/23/1

Technological University Eindhoven, Netherlands, Department of Mathematics. Cooperating Sequential Processes by Prof Dr Edsger W DijkstraBR/3/23/1/1

Technological University Eindhoven, Netherlands, Department of Mathematics. EWD 249 Notes on Structured Programming by Prof Dr Edsger W DijkstraBR/3/23/1/2

Technological University Eindhoven, Netherlands, Department of Mathematics. EWD 249 Notes on Structured Programming by Prof Dr Edsger W DijkstraBR/3/23/1/3

Technological University Eindhoven, Netherlands, Department of Mathematics. EWD 316 A Short Introduction to the Art Of Programming by Prof Dr Edsger W DijkstraBR/3/23/1/4

Computer Science Research Review 1971 -1972; Annual Report by Department of Computer Science Carnegie-Mellon University, USABR/3/23/1/5

University of Toronto Computer Systems Research Group Technical Report CSRG 19: Project Sue as a Learning Experience, by J W Atwood and othersBR/3/23/1/6

University of Toronto Computer Systems Research Group Technical Report CSRG 24: An Annotated Bibliography on Computer Program Engineering, by J D Gannon, editorBR/3/23/1/7

Science Research Council: Artificial Intelligence: A Paper SymposiumBR/3/23/1/8

Doctoral Thesis by Jean-Pierre Banatre (University of Rennes, France) presented to Professor Randell by the authorBR/3/23/1/9

Typescript of book by Robert W FloydBR/3/23/1/10

Computer Security Models, by J K Millen and CM CernigliaBR/3/23/1/11

The Newcastle Connection, by J P BlackBR/3/23/1/12

The Biographies of Computer Pioneers by John A N LeeBR/3/23/1/13

Howard Aiken Portrait of a Computer Pioneer edited by Bernard Cohen and Gregory WelchBR/3/23/1/14

Howard Aiken Portrait of a Computer Pioneer by Bernard CohenBR/3/23/1/15

Newcastle University: Conferences, Meetings, External Courses and Other Visits.BR/3/24

Newcastle University: Conferences, Meetings, External Courses and Other Visits.BR/3/25

Advanced Course on Computing Systems ReliabilityBR/3/26

Newcastle University: References Supplied by Professor RandellBR/3/27

Newcastle University: Appointments In Other Universities (General)BR/3/28

Newcastle University: Appointments In Other UniversitiesBR/3/29

Distinguished Dissertations SchemeBR/3/30

Research Assessment Exercise (RAE)BR/3/31

Professor Randell Personal and Miscellaneous CorrespondenceBR/3/32

Photographs of Professor Randell and of the Newcastle University Computing LaboratoryBR/3/33

United Kingdom Department Of Trade And Industry (DTI)BR/4

Science And Engineering Research Council (SERC)BR/5

Health And Safety Commission Advisory Committee On The Safety Of Nuclear Installations (ACSNI)BR/6

Europe and European UnionBR/7

European Union ESPRIT Research ProgrammeBR/8

European Union Information Society Technologies (IST) Research ProgrammeBR/9

Conseil Scientifique du Centre National de la Recherche Scientifique (CNRS)BR/10

Centre National de la Recherche Scientifique Laboratoire d'Analyse et d'Architecture des Systèmes (CNRS-LAAS)BR/11

Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA)BR/12

Ministry of Research (France)BR/13

Microelectronics Applications Research Institute (MARI)BR/14

Newcastle ConnectionBR/15

International Computers Limited (ICL)BR/16

Unix Technical Advisory BoardBR/17

Northern Informatics Applications AgencyBR/18

Computer Museum Boston, USABR/19

International Federation For Information Processing (IFIP)BR/20

British Computer SocietyBR/21

Other OrganisationsBR/22