Help

More search options

Open Access Resources.

We are sorting your search results to highlight Open Access and other online resources. Some publishers are giving free access to online materials during the corona virus outbreak — find and access many of these resources through Discover. Read more on our blog....

Results 1 - 15 of 15.

Cover image
Predicate calculus and program semantics / (by) Edsger Wybe Dijkstra and Carel S. Scholten.
Author
  • Dijkstra, Edsger W.
ISBN
  • 0387969578
  • 9780387969572
Published
New York : Springer, 1990.
17 Holding libraries
book
  • E-resource
  • Printed resource
Cover image
Selected Writings on Computing: A personal Perspective / by Edsger W. Dijkstra.
Author
  • Dijkstra, Edsger W.
ISBN
  • 1-4612-5695-X
Edition
1st ed. 1982.
Published
New York, NY : Springer New York : Imprint: Springer, 1982.
22 Holding libraries
book
  • E-resource
  • Printed resource
Cover image
A discipline of programming / (by) Edsger Wybe Dijkstra.
Author
  • Dijkstra, Edsger W.
ISBN
  • 013215871X
  • 9780132158718
Published
Englewood Cliffs, N.J. : Prentice-Hall, 1976.
40 Holding libraries
book
  • Printed resource
Cover image
A short introduction to the art of programming / by Edsger W. Dijkstra.
Author
  • Dijkstra, Edsger W.
Published
[Eindhoven, Netherlands] : [Technische Hogeschool Eindhoven], 1971.
3 Holding libraries
book
  • Printed resource
Cover image
Formal development of programs and proofs / edited by Edsger W. Dijkstra.
ISBN
  • 0201172372
Published
Reading, Mass. ; Wokingham : Addison-Wesley, 1990.
17 Holding libraries
book
  • Printed resource
Cover image
A primer of Algol 60 programming / by E.W. Dijkstra.
Author
  • Dijkstra, Edsger W. (Edsger Wybe), 1930-
Published
London ; New York : Published for the Automatic Programming Information Centre, Brighton College of Technology by Academic Press, 1962.
4 Holding libraries
book
  • Printed resource
Cover image
Stepwise program construction / Edsger W. Dijkstra.
Author
  • Dijkstra, Edsger W. (Edsger Wybe), 1930-
Published
Eindhoven : Technical University Eindhoven, Department of Mathematics, 1968.
1 Holding library
book
  • Printed resource
Cover image
Notes on structured programming / by Edsger W. Dijkstra.
Author
  • Dijkstra, Edsger W. (Edsger Wybe), 1930-
Edition
second edition April 1970.
Published
Eindhoven : Technical University Eindhoven, Department of Mathematics, 1970.
2 Holding libraries
book
  • Printed resource
Cover image
Programmers - prepare for the shock.
Author
  • Dijkstra, Edsger W. (Edsger Wybe), 1930-2002.
Published
[United States] : Information Cassettes [for] the ACM, c1973.
1 Holding library
book
  • Printed resource
Cover image
A primer of ALGOL 60 programming : together with report on the algorithmic language ALGOL 60 / Edsger Wybe Dijkstra ; [edited by] P. Naur ; [by] J. W. Backus...[et al.].
Author
  • Dijkstra, Edsger W.
Published
London : Academic Press, 1962.
14 Holding libraries
book
  • Printed resource
Cover image
A method of programming / Edsger W. Dijkstra, W.H.J. Feijen ; translated by Joke Sterringa.
Author
  • Dijkstra, Edsger W.
ISBN
  • 0201175363 (pbk.)
Edition
1st English ed.
Published
Wokingham, England ; Reading, Mass. : Addison-Wesley, c1988.
23 Holding libraries
book
  • Printed resource
Cover image
Structured programming. [By] O.-J. Dahl, E. W. Dikstra, C. A. R. Hoare.
Author
  • DAHL, Ole-Johan.
ISBN
  • 0122005503
Published
London ; New York : Academic Press, 1972.
1 Holding library
book
  • Printed resource
Cover image
Structured programming. [By] O.-J. Dahl, E. W. Dijkstra C. A. R. Hoare. (Sixth printing.).
ISBN
  • 0122005562
Published
London ; New York : Academic Press, 1972 [1974]
1 Holding library
book
  • Printed resource
Cover image
Beauty is our business : a birthday tribute to Edsger W. Dijkstra.
Author
  • Feijen, W. H. J.
Published
1990.
1 Holding library
book
  • Printed resource
Cover image
Structured programming / [by] Ole-Johan Dahl, Edsger Wybe Dijkstra, Charles Antony Richard.
Author
  • Dahl, Ole-Johan, 1931-
Published
London, 1972
32 Holding libraries
book
  • Printed resource

Export:

Selection Options