WorldCat Identities

Dijkstra, Edsger Wybe

Overview
Works: 117 works in 383 publications in 8 languages and 4,943 library holdings
Genres: Conference papers and proceedings  History  Book reviews 
Roles: Author, Honoree, Editor, Contributor, Author of introduction
Classifications: QA76.6, 001.642
Publication Timeline
.
Most widely held works about Edsger Wybe Dijkstra
 
moreShow More Titles
fewerShow Fewer Titles
Most widely held works by Edsger Wybe Dijkstra
A discipline of programming by Edsger W Dijkstra( Book )

28 editions published between 1976 and 2013 in 6 languages and held by 1,040 WorldCat member libraries worldwide

Executional abstraction; The role of programming languages; States and their characterization; The characterization of semantics; The semantic characterization of a programming language; Two theorems; On the design of properly terminating; Euclid's algorithm revisited; The formal treatment of some small examples; The linear search theorem; The problem of the next permutation
Structured programming by Ole-Johan Dahl( Book )

58 editions published between 1969 and 1990 in English and Undetermined and held by 786 WorldCat member libraries worldwide

Selected writings on computing : a personal perspective by Edsger W Dijkstra( Book )

13 editions published between 1982 and 2011 in English and Undetermined and held by 558 WorldCat member libraries worldwide

Stepwise program construction. Parallelism in multi-record transactions. Finding the maximum strong components in a directed granph. trip reporte E.W.Dijkstra, summer school munich. The solution to a cyclic relaxation problem. Trip reporte IBM seminar "communication and computers". Self-stabilization in spite of distributed control. Acceptance speech for the AFIPS harry goode memorial award 1974. Speech at the occasion of an anniversary. Inside "mathematics inc". A multidisciplinary approach to mathematics. Ond the role of scientific thought. A time-wise hierarchy imposed upon the use of a two-level store. A new elephant built from mosquitoes humming in harmony. Monotonic replacement algorithms and their implementation. Trip report E.W.Dijkstra. Trip report visit ETH Zurich. A letter to my old friend Jonathan. "Craftsman or scientist?". Exercises in making programs robust. Trip report E.W.Dijkstra. how do we tell truths that might hurt?. Variation on a theme: an open letter to C.A.R hoare. A post-scriptum to EWD501. Erratum and embellishmething . A synthesis merging?. Commets at a symposium. Trip report E.W.Dijkstra. On a warning from E.A.Hauch. More on auck's warning. A collection of beautiful proofs. Mathematics inc., a private letter from its chairman. A personal summary of the gries-owicki theory. A "non Trip report". Formal techniques and sizearble programs. An exercises for Dr.R.M.Burstall. A great improvement. To H.D.Mills, chairman software methodology panel. On subgoal induction. Trip report E.W.Dijkstra. More about the function. A proof of a theorem communicated to us. Trip report E.W.Dijkstra. A parable. Trip report E.W.Dijkstra. A correctness proof for communicating processes: a small exercise. An elephant inspered by the dutch national flag. On the fact the atlantic ocean has two sides. Trip report E.W.Dijkstra. A somewhat open letter to EAA. On webster, users, bugs, and aristotle, On making solution more and more fine-grained. The mathematics behind the banker's algorithm. On two beautiful solutions designed by martin rem. Trip report E.W.Dijkstra. why naive program transformation systems are unlikely to word. The three golden rules for successful scientific research. The introduction of MAES. A class of simple communication patterns. "Why is software so expensive?" an explanation to the hardware designer. A theorem about odd powes of odd integers. Porgram inversion. On weak and strong termination. The equivalence of bounded nondeterminacy and continuity. A story that starts with a very good computer
Predicate calculus and program semantics by Edsger W Dijkstra( Book )

17 editions published between 1989 and 2012 in English and held by 463 WorldCat member libraries worldwide

Formal development of programs and proofs( Book )

10 editions published between 1989 and 1990 in English and held by 390 WorldCat member libraries worldwide

A primer of ALGOL 60 programming, together with Report on the algorithmic language ALGOL 60 by Edsger W Dijkstra( Book )

41 editions published between 1962 and 1978 in English and Undetermined and held by 389 WorldCat member libraries worldwide

Report on the algorithmic language Algol 60 is reproduces as an appendix
A method of programming by Edsger W Dijkstra( Book )

16 editions published between 1984 and 1994 in 4 languages and held by 323 WorldCat member libraries worldwide

Programmeren als een formele tak van de wiskunde met behulp van mathematische logica
Reasoning about programs by Edsger W Dijkstra( Visual )

10 editions published between 1990 and 2009 in English and held by 93 WorldCat member libraries worldwide

Lecture illustrating two critical problems in program correctness proof: invariance and termination
Methodik des Programmierens by Edsger W Dijkstra( Book )

3 editions published in 1985 in German and Undetermined and held by 57 WorldCat member libraries worldwide

Software -- Programming Techniques
Table of Everett's interpolation coefficients by Edsger W Dijkstra( Book )

10 editions published in 1955 in English and Undetermined and held by 36 WorldCat member libraries worldwide

Program construction : international summer school by Friedrich Ludwig Bauer( )

4 editions published in 1979 in English and held by 36 WorldCat member libraries worldwide

Language hierarchies and interfaces : international summer school by Friedrich Ludwig Bauer( )

3 editions published in 1976 in English and Undetermined and held by 31 WorldCat member libraries worldwide

Beauty is our business : a birthday salute to Edsger W. Dijkstra by W. H. J Feijen( Book )

6 editions published in 1990 in English and Italian and held by 30 WorldCat member libraries worldwide

More than anything else, this book is a tribute to Edsger W. Dijkstra, on the occasion of his sixtieth birthday, by just a few of those fortunate enough to be influenced by him and his work and to be called his friend or relation, his master, colleague, or pupil. This book contains fifty-four technical contributions in different areas of endeavor, although many of them deal with an area of particular concern to Dijkstra: programming. Each contribution is relatively short and could be digested in one sitting. Together, they form a nice cross section of the discipline of programming at the beginning of the nineties. While many know of Dijkstra's technical contributions, they may not be aware of his ultimate goal, the mastery of complexity in mathematics and computing science. He has forcefully argued that beauty and elegance are essential to this mastery. The title of this book, chosen to reflect his ultimate goal, comes from a sentence in an article of his on some beautiful arguments using mathematical induction: " ... when we recognize the battle against chaos, mess, and unmastered complexity as one of computing sci- ence's major callings, we must admit that 'Beauty Is Our Business'."
Communication with an automatic computer by Edsger W Dijkstra( Book )

5 editions published in 1959 in English and held by 24 WorldCat member libraries worldwide

A short introduction to the art of programming by Edsger W Dijkstra( Book )

5 editions published between 1971 and 1973 in English and held by 18 WorldCat member libraries worldwide

Cursus programmeren in Algol 60 by Edsger W Dijkstra( Book )

10 editions published between 1960 and 1972 in Dutch and held by 14 WorldCat member libraries worldwide

De logische automaat in academisch milieu by Edsger W Dijkstra( Book )

3 editions published between 1962 and 1963 in Dutch and held by 14 WorldCat member libraries worldwide

Oral history interview with Edsger W. Dijkstra by Edsger W Dijkstra( )

1 edition published in 2001 in English and held by 1 WorldCat member library worldwide

Dijkstra recounts his early education and training as a theoretical physicist and as a 'programmer'. He describes his work developing software for the Mathematical Centre in Amsterdam, the completion of his Ph.D. thesis, and his activities at several early information processing conferences. Dijkstra also discourses on the development of ALGOL 60 and the origins of computing science in Europe and America
Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems : Anacapri (Capri Island), Italy, 1-3 October 2003 : proceedings by Workshop on Object-Oriented Real-Time Dependable Systems( )

1 edition published in 2004 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.55 (from 0.44 for A discipli ... to 1.00 for [Papers] ...)

A discipline of programming
Alternative Names
Dejkstra, È.

Dijkstra, E. W.

Dijkstra, E.W. 1930-2002

Dijkstra, E. W. (Edsger Wybe)

Dijkstra, Edsger W.

Dijkstra, Edsger W. 1930-2002

Dijkstra, Edsger W. (Edsger Wybe)

Dijkstra, Edsger Wybe

Dijkstra, Edzger W. 1930-2002

Edsger Dijkstra holenderski informatyk

Edsger Dijkstra informático neerlandés

Edsger Dijkstra informatico olandese

Edsger Dijkstra mathématicien et informaticien néerlandais

Edsger Dijkstra Nederlands wiskundige en informaticus met name gestructureerd programmeren

Edsger Dijkstra nederlandsk matematikar, fysikar, informatikar og ingeniør

Edsger Dijkstra nederländsk matematiker, fysiker, datavetare och ingenjör

Edsger Dijkstra nederlandsk matematiker, fysiker, informatiker og ingeniør

Edsger W. Deykstra

Edsger W. Dijkstra Dutch computer scientist

Edsger W. Dijkstra niederländischer Informatiker

Edsger Wybe Dijkstra

Edsger Wybe Dijkstra holland matematikus, fizikus, informatikus

Edsgers Deikstra

Έντσγκερ Ντάικστρα

Дейкстра, Э.

Дейкстра, Эдсгер Вибе нидерландский учёный

Дийкстра, Э.

Едсгер Дейкстра

Едсгер Дејкстра холандски информатичар

Едсхер Дајкстра

Едсхер Дейкстра

Эдсгер Дейкстра

אדסחר דייקסטרה

ادسخر دیسترا ریاضی‌دان، فیزیک‌دان، دانشمند علوم کامپیوتر، و مهندس هلندی

ادسخر دیكسترا

एड्सगर डिक्स्ट्रा

এট্‌সখার ডেইক্‌স্ট্রা

എഡ്ഗർ ഡൈക്സ്ട്രാ

에츠허르 데이크스트라

エドガー・ダイクストラ

ダイクストラ, E. W

艾兹赫尔·戴克斯特拉

Languages
Covers
Predicate calculus and program semanticsFormal development of programs and proofsA method of programmingProgram construction : international summer schoolBeauty is our business : a birthday salute to Edsger W. Dijkstra