Search Results - NOFX~

Refine Results
  1. 4181
  2. 4182
  3. 4183

    Symbolic and quantitative approaches to reasoning

    Published 1994
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book
  4. 4184

    Software engineering. Proceedings of the ...

    Published 1989
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book
  5. 4185

    Temporal logic in specification. Proceedings of the ...

    Published 1989
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book
  6. 4186
  7. 4187

    Simple program schemes and formal languages by Engelfriet, Joost

    Published 1974
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book
  8. 4188

    The MOSIX distributed operating system load balancing for UNIX by Barak, Amnon

    Published 1993
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book
  9. 4189

    Software engineering an advanced course

    Published 1977
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book
  10. 4190
  11. 4191
  12. 4192
  13. 4193
  14. 4194

    Language hierarchies and interfaces international summer school

    Published 1976
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book
  15. 4195

    Group theoretical methods in image processing by Lenz, Reiner 1953-

    Published 1990
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book
  16. 4196

    Topological vector spaces by Grothendieck, A. Alexandre

    Published 1973
    “…Notes on mathematics and its applications…”
    Click Here to View Status and Holdings.
    Book
  17. 4197

    Grammar and L forms an introduction by Wood, Derick l940-

    Published 1980
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book
  18. 4198
  19. 4199
  20. 4200