3,118 results Refine Results
  1. 21
    Published 1982
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Problems and methodologies in mathematical software production : international seminar held at Sorrento, Italy, November 3-8, 1980 /
  2. 22
    Published 1985
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    The Munich Project CIP /
  3. 23
    by Thayse, Andre, 1940-
    Published 1984
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    P-functions and Boolean matrix factorization : a unified approach for wired, programmed, and microprogrammed implementations of discrete algorithms /
  4. 24
    Published 1980
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 /
  5. 25
    Published 1980
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Automata, languages and programming : seventh Colloquium Noordwijkerhout, the Netherlands, July 14-18, 1980 /
  6. 26
    Published 1982
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 /
  7. 27
    Published 1982
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Logics of Programs Workshop, Yorktown Heights, New York, May 1981 /
  8. 28
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Group-theoretic algorithms and graph isomorphism /
  9. 29
    by Constable, R. L. (Robert L.)
    Published 1982
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    An introduction to the PL/CV2 programming logic /
  10. 30
    Published 1983
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    The IOTA programming system : a modular programming environment /
  11. 31
    Published 1983
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 /
  12. 32
    Published 1984
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Ada software tools interfaces workshop, Bath, July 13-15, 1983 : proceedings /
  13. 33
    by Bekic, H. (Hans), 1936-1982
    Published 1984
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Programming languages and their definition /
  14. 34
    Published 1984
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Readings on cognitive ergonomics--mind and computers : proceedings of the 2nd European conference, Gmunden, Austria, September 10-14, 1984 /
  15. 35
    by Pan, Victor
    Published 1984
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    How to multiply matrices faster /
  16. 36
    Published 1983
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Trees in algebra and programming : 8th colloquium, L'Aquila, March 9-11, 1983 : proceedings /
  17. 37
    Published 1983
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings /
  18. 38
    Published 1984
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984 /
  19. 39
    Published 1984
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings /
  20. 40
    Published 1984
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings /

Search Tools: