Suggested Topics within your search.
Showing 781 - 800 results of 964 for search '"Lecture Notes in Computer Science"', query time: 0.05s Refine Results
  1. 781
    Computer algebra and parallelism : second international workshop, Ithaca, USA, May 9-11, 1990 : proceedings /
    Book
    Published 1992
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  2. 782
    Functional programming languages and computer architecture : 5th ACM conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings /
    Conference Proceeding Book
    Published 1991
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  3. 783
    Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings /
    Book
    Published 1990
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  4. 784
    Advanced information systems engineering : ... International Conference, CAiSE ... : proceedings.
    Conference Proceeding Journal
    Published 1990
    “…Lecture notes in computer science.…”
    Save to List
    Saved in:
  5. 785
    Alternating sequential/parallel processing /
    Book
    by Wallach, Y. (Yehuda), 1928-
    Published 1982
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  6. 786
    Category theory and computer programming : tutorial and workshop, Guildford, U.K., September 16-20, 1985 : proceedings /
    Book
    Published 1986
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  7. 787
    Methods of programming : selected papers on the CIP-project /
    Book
    Published 1991
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  8. 788
    Axiomatising the logic of computer programming /
    Book
    by Goldblatt, Robert
    Published 1982
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  9. 789
    Large sparse numerical optimization /
    Book
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  10. 790
    Computer vision--ECCV 90 : First European Conference on Computer Vision, Antibes, France, April 1990 proceedings /
    Conference Proceeding Book
    Published 1990
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  11. 791
    Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship /
    Book
    by Zwiers, J. (Job), 1956-
    Published 1989
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  12. 792
    Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers /
    Conference Proceeding Book
    Published 1996
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  13. 793
    A systematic catalogue of reusable abstract data types /
    Book
    by Uhl, J. (Jürgen)
    Published 1990
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  14. 794
    Memory management : international workshop IWMM '92, St. Malo, France, September 17-19, 1992 : proceedings /
    Conference Proceeding Book
    Published 1992
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  15. 795
    Verifying concurrent processes using temporal logic /
    Book
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  16. 796
    The problem of incomplete information in relational databases /
    Book
    by Grahne, G., 1955-
    Published 1991
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  17. 797
    A survey of verification techniques for parallel programs /
    Book
    by Barringer, Howard, 1951-
    Published 1985
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  18. 798
    Programming languages and their definition /
    Book
    by Bekič, H. (Hans), 1936-1982
    Published 1984
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  19. 799
    Symbolic and algebraic computation : EUROSAM '79, an International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979 /
    Conference Proceeding Book
    Published 1979
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  20. 800
    Attribute grammars : definitions, systems, and bibliography /
    Book
    by Deransart, Pierre
    Published 1988
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search