|
EWD number
|
Size (KB)
|
Title
|
transcriptions |
| 300 |
104 |
Exit ``The Programming Laboratory'' |
EWD300.html |
| 301 |
45 |
Over de bewijsbaartheid van programmacorrectheid |
|
| 302 |
448 |
Design considerations in more detail |
EWD302.html |
| 303 |
427 |
On the reliability of programs |
EWD303.html |
| 306 |
81 |
Over het gewicht van een informatica-opleiding |
EWD306.html |
| 307 |
174 |
(over een voorgestelde configuratie van een P1400 en vier P880's) |
EWD307.html |
| 308 |
87 |
Reisverslag bezoek van E.W.Dijkstra aan IFIP W.G.2.3 te Warwick, Engeland |
EWD308.html |
| 309 |
48 |
(over een voorgestelde configuratie van een P1400 en vier P880's) |
EWD309.html |
| 310 |
1017 |
Hierarchical ordering of sequential processes |
EWD310.html |
| 311 |
91 |
[Review of] Bauer, Goos: ``Informatik, Erster Teil'' Heidelberger Taschenbuecher, Band 80 Springer Verlag, 1971 |
EWD311.html |
| 312 |
126 |
Verslag van reis van E.W.Dijkstra naar Noord Amerika |
EWD312.html |
| 316 |
2104 |
A short introduction to the art of programming |
EWD316.html |
| 316A |
155 |
Reisverslag van Edsger W.Dijkstra aan Summer School Marktoberdorf, juli 1971 |
EWD316a.html |
| 317 |
255 |
On a methodology of design |
EWD317.html |
| 319 |
183 |
A class of allocation strategies inducing bounded delays only |
EWD319.html |
| 325 |
660 |
Poging tot plaatsbepaling van de Informatica |
EWD325.html |
| 329 |
55 |
Information streams sharing a finite buffer |
|
| 330 |
82 |
[Book review of: Bauer-Goos, Informatik, Zweiter Teil] |
EWD330.html |
| 338 |
201 |
Parallelism in multi-record transactions (with C.S.Scholten) |
|
| 340 |
473 |
The humble programmer |
EWD340.html |
| 341 |
87 |
[Toespraak over de noodzaak van programmeermethodologie] |
EWD341.html |
| 343 |
142 |
Reisverslag betreffende het bezoek aan de USA van 14 tot 30 mei 1972 door E.W.Dijkstra |
EWD343.html |
| 345 |
51 |
Ter zake van wiskundige modelvorming |
EWD345.html |
| 348 |
151 |
Verslag van de reis van E.W.Dijkstra naar Boston, 12 - 18 augustus 1972 |
EWD348.html |
| 349 |
118 |
Ontwikkelingsplan Informatica |
EWD349.html |
| 351 |
82 |
Verslag bezoek Engeland 30 augustus - 9 september 1972 |
EWD351.html |
| 353 |
81 |
Elementen ener afstudeerrichting in de informatica |
EWD353.html |
| 356 |
86 |
Advanced Course on Computer Systems Architecture (Grenoble, December 1972) |
|
| 360 |
967 |
On the Necessity of Correctness Proofs |
|
| 361 |
170 |
Programming as a discipline of mathematical nature |
EWD361.html |
| 362 |
154 |
Bezoek van E.W.Dijkstra aan l'Alpe d'Huez, 8--15 december 1972 |
EWD362.html |
| 363 |
103 |
Reisverslag E.W.Dijkstra: Open house on semantics, Aarhus, 7 - 18 jan. 1973 |
EWD363.html |
| 364 |
68 |
Weledelgestrenge Heer, Ingenieur Swinkels |
EWD364.html |
| 365 |
61 |
A parabel |
EWD365.html |
| 366 |
134 |
Waarom ik niet gewoon hoogleraar wil blijven |
EWD366.html |
| 367 |
336 |
On the axiomatic definition of semantics |
|
| 368 |
127 |
Verslag van bezoek aan Washington, maart 1973 |
EWD368.html |
| 372 |
422 |
A simple axiomatic basis for programming language constructs |
|
| 374 |
93 |
The analysis of multiprogrammed systems of unspecified degree of parallellism |
EWD374.html |
| 375 |
151 |
A non algebraic example of a constructive correctness proof |
|
| 376 |
261 |
Finding the maximum strong components in a directed graph [see EWD453] |
|
| 379 |
110 |
On a connection pattern between 2**N elements |
|
| 384 |
101 |
Betrouwbaarheid van programma's |
|
| 385 |
116 |
Trip report E.W.Dijkstra Summer School Munich, July 25 to August 4, 1973 |
EWD385.html |
| 386 |
72 |
The solution to a cyclic relaxation problem |
EWD386.html |
| 387 |
197 |
Trip report IBM Seminar ``Communication and Computers'', Newcastle, Sept. 1973 |
EWD387.html |
| 389 |
95 |
Trip report I.U.C.C. Colloquium, Canterbury, 18th--21st Sept. 1973 |
EWD389.html |
| 391 |
218 |
Self-stabilization in spite of distributed control |
EWD391.html |
| 392 |
122 |
Self-stabilization with four-state machines |
|
| 393 |
210 |
On representational abstraction |
|
| 395 |
186 |
Trip report E.W.Dijkstra IFIP Working Group W.G.2.3 ``On Programming Methodology'', 21st - 26th October 1973, Blanchland, England |
EWD395.html |
| 396 |
73 |
Self-stabilization with three-state machines |
|
| 397 |
76 |
Self-stabilizing systems with distributed control |
|
| 398 |
449 |
Sequencing primitives revisited |
|
| 399 |
28 |
An immediate sequel to EWD398: ``Sequencing primitives revisited'' |
|