Chủ đề được đề xuất trong tìm kiếm của bạn.
Đang hiển thị 1 - 20 kết quả của 273 cho tìm kiếm '', thời gian truy vấn: 0.02s Tinh chỉnh kết quả
  1. 1
    Formal program development : IFIP TC2/WG 2.1 state-of-the-art report /
    Sách
    Được phát hành 1993
    Lưu vào danh sách
    Đã lưu trong:
  2. 2
    Networking software /
    Sách
    Được phát hành 1987
    Lưu vào danh sách
    Đã lưu trong:
  3. 3
    Structured programming.
    Tạp chí
    Được phát hành 1989
    Lưu vào danh sách
    Đã lưu trong:
  4. 4
    Eclipse : an integrated project support environment /
    Sách
    Được phát hành 1989
    Lưu vào danh sách
    Đã lưu trong:
  5. 5
    The B language and method : a guide to practical formal development /
    Sách
    Bằng Lano, K.
    Được phát hành 1996
    Lưu vào danh sách
    Đã lưu trong:
  6. 6
    The spine of software : designing provably correct software--theory and practice, or, A mathematical introduction to the semantics of computer programs /
    Sách
    Bằng Baber, Robert Laurence
    Được phát hành 1988
    Lưu vào danh sách
    Đã lưu trong:
  7. 7
    Software reliability handbook /
    Sách
    Được phát hành 1990
    Lưu vào danh sách
    Đã lưu trong:
  8. 8
    Integrated project support environments /
    Sách
    Được phát hành 1985
    Lưu vào danh sách
    Đã lưu trong:
  9. 9
    Software development : fashioning the baroque /
    Sách
    Bằng Ince, D. (Darrel)
    Được phát hành 1988
    Lưu vào danh sách
    Đã lưu trong:
  10. 10
    Tools and algorithms for the construction and analysis of systems : ... International Workshop, TACAS ...
    Hội nghị đang tiến hành
    Được phát hành 1995
    Lưu vào danh sách
    Đã lưu trong:
  11. 11
    Industrial software technology /
    Sách
    Được phát hành 1987
    Lưu vào danh sách
    Đã lưu trong:
  12. 12
    Hardware/software co-design : an annotated bibliography: 350 bibliographical references /
    Sách
    Bằng Buchenrieder, Klaus
    Được phát hành 1994
    Lưu vào danh sách
    Đã lưu trong:
  13. 13
    Developing safety systems : a guide using Ada /
    Sách
    Bằng Pyle, I. C. (Ian C.), 1934-
    Được phát hành 1991
    Lưu vào danh sách
    Đã lưu trong:
  14. 14
    Computing /
    Sách
    Bằng Long, Larry
    Được phát hành 1995
    Lưu vào danh sách
    Đã lưu trong:
  15. 15
    Software acquisition management : managing the acquisition of custom software systems /
    Sách
    Bằng Marciniak, John J.
    Được phát hành 1990
    Table of Contents
    Contributor biographical information
    Publisher description
    Lưu vào danh sách
    Đã lưu trong:
  16. 16
    Measures for excellence : reliable software on time, within budget /
    Sách
    Bằng Putnam, Lawrence H.
    Được phát hành 1992
    Lưu vào danh sách
    Đã lưu trong:
  17. 17
    A knowledge based approach to software development : ESPRIT Project ASPIS /
    Sách
    Được phát hành 1991
    Lưu vào danh sách
    Đã lưu trong:
  18. 18
    Making CASE work : strategies for the successful introduction of CASE technology in commercial information systems development /
    Sách
    Bằng Parkinson, John
    Được phát hành 1991
    Lưu vào danh sách
    Đã lưu trong:
  19. 19
    Software reliability modelling and identification /
    Sách
    Được phát hành 1988
    Lưu vào danh sách
    Đã lưu trong:
  20. 20
    The What PC? guide to your PC /
    Sách
    Bằng Young, Rob, 1964-
    Được phát hành 1999
    Lưu vào danh sách
    Đã lưu trong:
Công cụ tìm kiếm: Nhận nguồn cấp dữ liệu RSS – Tìm kiếm email này – Lưu tìm kiếm