3,118 results Refine Results
  1. 81
    Published 1982
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 /
  2. 82
    by Thayse, Andre, 1940-
    Published 1981
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Boolean calculus of differences /
  3. 83
    by Davenport, James Harold, 1953-
    Published 1981
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    On the integration of algebraic functions /
  4. 84
    Published 1983
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    DIANA : an intermediate language for ADA /
  5. 85
    Published 1977
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca /
  6. 86
    Published 1978
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Mathematical foundations of computer science, 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 /
  7. 87
    by Jones, Neil D.
    Published 1978
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages /
  8. 88
    Published 1978
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Information systems methodology : proceedings, 2nd conference of the European Cooperation in Informatics, Venice, October 10-12, 1978 /
  9. 89
    by Bochmann, Gregor von, 1941-
    Published 1979
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Architecture of distributed computer systems /
  10. 90
    by Gordon, Michael J. C., 1948-
    Published 1979
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Edinburgh LCF : a mechanised logic of computation /
  11. 91
    Published 1977
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977 /
  12. 92
    Published 1977
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Methods of algorithmic language implementation /
  13. 93
    Published 1977
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Interactive systems : proceedings, 6th Informatik Symposium, IBM Germany, Bad Homburg v. d. H., September 1976 /
  14. 94
    Published 1977
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Matrix eigensystem routines : EISPACK guide extension /
  15. 95
    by Hartmann, Alfred C., 1948-
    Published 1977
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    A Concurrent PASCAL compiler for minicomputers /
  16. 96
    by Sandford, David M.
    Published 1980
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Using sophisticated models in resolution theorem proving /
  17. 97
    Published 1980
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Towards a formal description of Ada /
  18. 98
    Published 1980
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980 /
  19. 99
    Published 1981
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Distributed systems--architecture and implementation : an advanced course /
  20. 100
    by Zlatev, Zahari, 1939-
    Published 1981
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Y12M solution of large and sparse systems of linear algebraic equations : documentation of subroutines /

Search Tools: