Edsger W. Dijkstra Archive

Home

Search

Numerical
EWD Index:
    00xx
    01xx
    02xx
    03xx
    04xx
    05xx
    06xx
    07xx
    08xx
    09xx
    10xx
    11xx
    12xx
    13xx

BibTeX index

MC Reports

Other documents

Transcriptions

Video and Audio

External links

EWD Manuscripts 300-399

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 EWD396.html
397 76 Self-stabilizing systems with distributed control
398 449 Sequencing primitives revisited
399 28 An immediate sequel to EWD398: ``Sequencing primitives revisited''

Revised 08-Sep-2013