Thư viện Đại học Mở Hà Nội

Thông tin ấn phẩm

Bộ sưu tập

Loại ấn phẩm

Tìm kiếm theo

Từ khóa tìm kiếm

Từ khóa tìm kiếm tối thiểu 2 chữ cái, không chứa ký tự đặc biệt

Thông tin sách	Tác giả & NXB	Tóm tắt	Trạng thái & Thao tác
The XLISP Primer Năm XB: 1987 \| NXB: Prentice Hall Từ khóa: XLISP (Computer program language) Số gọi: 005.133 FL-B	Tác giả: Fladung, Bonnie J.	Chưa có tóm tắt	Bản giấy Chi tiết
The Computer Modelling Of Mathematical Reasoning Năm XB: 1983 \| NXB: Academic Press Từ khóa: Formal notation The Computer Modelling Of Mathematical Reasoning The Computer Số gọi: 511.3 BU-A	Tác giả: Alan Bundy	Nội dung gồm: 5 phần: Formal notation, Uniform proof procedures...	Bản giấy Chi tiết
Computer operating systems : For micros, minis and mainframes / Năm XB: 1971 \| NXB: Chapman & Hall Từ khóa: Systems Computer Computer operating systems Operating systems Số gọi: 001.6425 BA-D	Tác giả: David Barron	Bao gồm: some background, mainly historical, operating system architecture...	Bản giấy Chi tiết
Modular software design NXB: Chartwell-Bratt Từ khóa: Development Computer systems Software Số gọi: 005.1 ST-M	Tác giả: Stannett, Mike	Chưa có tóm tắt	Bản giấy Chi tiết

Tác giả: Fladung, Bonnie J.

Năm XB: 1987 | NXB: Prentice Hall

Giấy Chi tiết

Từ khóa:

XLISP (Computer program language)

Tác giả: Alan Bundy

Năm XB: 1983 | NXB: Academic Press

Tóm tắt: Nội dung gồm: 5 phần: Formal notation, Uniform proof procedures...

Giấy Chi tiết

Từ khóa:

Formal notation The Computer Modelling Of Mathematical Reasoning The Computer

Tác giả: David Barron

Năm XB: 1971 | NXB: Chapman & Hall

Tóm tắt: Bao gồm: some background, mainly historical, operating system architecture...

Giấy Chi tiết

Từ khóa:

Systems Computer Computer operating systems

Tác giả: Stannett, Mike

NXB: Chartwell-Bratt

Giấy Chi tiết

Từ khóa:

Development Computer systems Software