Résultat(s) 1 - 20 résultats de 1 319 pour la requête '', Temps de recherche: 0,08s Affiner les résultats
  1. 1
    Correctness proofs of the Peterson-Fischer mutual exclusion algorithms /
    par Colby, Christopher P
    Publié 1989

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Thèse Livre
  2. 2
    CALVIN--a rule based expert system for improving arrhythmia detector performance during noisy ECGs /
    par Muldrow, Warren K
    Publié 1987

    Thèse Livre
  3. 3
    Concurrent timestamping made simple /
    par Gawlick, Rainer
    Publié 1992

    Thèse Livre
  4. 4
    A process algebraic view of I/O automata /
    par Segala, Roberto, 1968-
    Publié 1992

    Thèse Livre
  5. 5
    Combinatorial geometric optimization /
    par Kravets, Dina
    Publié 1992

    Thèse Livre
  6. 6
    Layouts for the shuffle exchange graph and lower bound techniques for VLSI
    Publié 1982

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Livre
  7. 7
    Automatic synthesis of implementations for abstract data types from algebraic specifications
    Publié 1982

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Livre
  8. 8
    A very high level language for business data processing

    Livre
  9. 9
    Cooperative office work, teleconferencing and calendar management: a collection of papers (presented at conferences)
    Publié 1982

    Livre
  10. 10
    Reflection and semantics in a procedural language
    Publié 1982

    Livre
  11. 11
    Derived pairs, overlap closures, and rewrite dominoes: new tools for analyzing term rewriting systems

    Livre
  12. 12
    Optimizing synchronous systems
    Publié 1982

    Livre
  13. 13
    A switch-level simulation model for integrated logic circuits
    Publié 1981

    Livre
  14. 14
    PCAL: a personal calendar
    Publié 1982

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Livre
  15. 15
    A file transfer program for a personal computer
    Publié 1982

    Livre
  16. 16
    Semiautomatic translation of COBOL to HIBOL
    Publié 1981

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Livre
  17. 17
    A computer system for decision analysis in Hodgkins disease
    Publié 1981

    Livre
  18. 18
    The complexity of concurrency control for distributed databases
    Publié 1981

    Livre
  19. 19
    An approximation algorithm for Manhattan routing
    Publié 1983

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Livre
  20. 20
    Implementing internet remote login on a personal computer
    Publié 1982

    Livre
Outils de recherche: S'abonner aux flux RSS — Envoyer cette recherche par courriel