Showing 1 - 20 results of 190 for search '', query time: 0.41s Refine Results
  1. 1
    The specification of computer programs /
    by Turski, Władysław
    Published 1987
    Book
  2. 2
    ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings /
    Published 1988
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  3. 3
    Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979 /
    Published 1980
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  4. 4
    Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979 /
    Published 1981
    Connect to the full text of this electronic book
    eBook
  5. 5
    Lectures on the logic of computer programming /
    by Manna, Zohar
    Published 1980
    Publisher description
    Table of contents only
    Book
  6. 6
    Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974 /
    Published 1975
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  7. 7
    Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979 /
    Published 1979
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  8. 8
    Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978 /
    Published 1979
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  9. 9
    Program construction : international summer school /
    Published 1979
    Connect to the full text of this electronic book
    eBook
  10. 10
    Computers and intractability : a guide to the theory of NP-completeness /
    Book
  11. 11
    First-order dynamic logic /
    by Harel, David, 1950-
    Published 1979
    Connect to the full text of this electronic book
    eBook
  12. 12
    Problems and methodologies in mathematical software production : international seminar held at Sorrento, Italy, November 3-8, 1980 /
    Published 1982
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  13. 13
    Programming Symposium : proceedings. Colloque sur la programmation, Paris, April 9-11, 1974 /
    Published 1974
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  14. 14
    RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings /
    Published 1983
    Connect to the full text of this electronic book
    eBook
  15. 15
    Mathematical foundations of computer science, 1977 : proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977 /
    Published 1977
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  16. 16
    ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986 : proceedings /
    Published 1986
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  17. 17
    Language hierarchies and interfaces : international summer school /
    Published 1976
    Connect to the full text of this electronic book
    eBook
  18. 18
    Simple program schemes and formal languages /
    by Engelfriet, Joost
    Published 1974
    Connect to the full text of this electronic book
    eBook
  19. 19
    Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 /
    Published 1975
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  20. 20
    Operating systems : proceedings of an international symposium held at Rocquencourt, April 23-25, 1974 /
    Published 1974
    Connect to the full text of this electronic book
    Conference Proceeding eBook
Search Tools: RSS Feed – Email Search