GIỜ PHỤC VỤ BẠN ĐỌC

Từ thứ 2 đến thứ 6
- Sáng: 8:30 - 11:30
- Chiều: 13:30 - 16:30
Thứ 7, CN thư viện nghỉ

Tìm thấy 9 kết quả phù hợp với yêu cầu của bạn. Theo dõi kết quả tìm kiếm này

|
1. Đồ thị phân cực

Tác giả: Lê, Xuân Hùng; TS. Ngô, Đắc Tân.

Kiểu tài liệu: book Sách Xuất bản: Hà Nội Viện Toán học 2000Ghi chú luận văn: Luận văn Thạc sĩ Toán họcViện Toán học Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: Phòng lưu trữ_P307 .

2. Mạng Petri: Nửa vết, quá trình, miền đại số và cấu trúc sự kiện

Tác giả: Trần, Văn Dũng; PGS.PTS. Phạm, Trà Ân; PTS. Nguyễn, Xuân My.

Kiểu tài liệu: book Sách Xuất bản: Hà Nội Viện Toán học 1996Ghi chú luận văn: Tóm tắt luận án Phó tiến sĩ khoa học Toán lýViện Toán học Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: Phòng lưu trữ_P307 .

3. Mô hình hóa quá trình lưu trữ, tìm kiếm thông tin và quá trình phục vụ người đọc ở một thư viện

Tác giả: Đoàn, Phan Tân; PGS.TS. Nguyễn, Xuân Huy; PTS. Vũ, Hoài Chương.

Kiểu tài liệu: book Sách Xuất bản: Hà Nội Viện Công nghệ Thông tin 1993Ghi chú luận văn: Luận án Phó tiến sĩ khoa học TViện Công nghệ Thông tin Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: Phòng lưu trữ_P307 .

4. Một cơ sở đại số cho logic mờ Zadeh và tính toán trên các từ

Tác giả: Huỳnh, Văn Nam; PGS.TS. Hồ, Tú Bảo; PGS.TS. Nguyễn, Cát Hồ.

Kiểu tài liệu: book Sách Xuất bản: Hà Nội Viện Toán học 1999Ghi chú luận văn: Tóm tắt luanạ án Tiến sĩ Toán họcViện Tóan học Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: Phòng lưu trữ_P307 .

5. Một số vấn đề phụ thuộc dữ liệu và luật kết hợp trong CSDL có yếu tố thời gian

Tác giả: Nguyễn, Đình Thuân; GS.TSKH. Nguyễn, Đình Ngọc; PGS.TSKH. Nguyễn, Xuân Huy.

Kiểu tài liệu: book Sách Xuất bản: Hà Nội Viện Công nghệ Thông tin 2004Ghi chú luận văn: Luận án Tiến sĩ Toán họcViện Công nghệ Thông tin Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: Phòng lưu trữ_P307 .

6. Ngôn ngữ mạng Petri

Tác giả: Nguyễn, Đăng Trình; PGS.TS. Phạm, Trà Ân.

Kiểu tài liệu: book Sách Xuất bản: Hà Nội Viện Toán học 2000Ghi chú luận văn: Luanạ án Thạc sĩ khoa học Toán Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: Phòng lưu trữ_P307 .

7. Phương pháp lập luận xấp xỉ và ứng dụng vào một số bài toán trợ giúp quyết định trong giáo dục

Tác giả: Vũ, Minh Lộc; PGS.TSKH. Nguyễn, Cát Hồ.

Kiểu tài liệu: book Sách Xuất bản: Hà Nội Viện Công nghệ Thông tin 2004Ghi chú luận văn: Luận án Tiến sĩ Toán họcViện Công nghệ Thông tin Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: Phòng lưu trữ_P307 .

8. Về khả năng biểu diễn ngôn ngữ của mạng Petri

Tác giả: Phạm, Văn Thao; PGS.TS. Phạm, Trà Ân; TS. Kiều, Đức Thành.

Kiểu tài liệu: book Sách Xuất bản: Hà Nội Viện Toán học 2001Ghi chú luận văn: Tóm tắt luận án Tiến sĩ Toán họcViện Toán học Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: Phòng lưu trữ_P307 .

9. Về một cách tiếp cận trong nghiên cứu chuyển đổi mô hình quan hệ sang mô hình hướng đối tượng

Tác giả: Hoàng, Quang; PGS.TS. Đoàn, Văn Ban; PGS.TS. Hồ, Thuần.

Kiểu tài liệu: book Sách Xuất bản: Hà Nội Viện Công nghệ Thông tin 2004Ghi chú luận văn: Luận án Tiến sĩ Toán họcViện Công nghệ Thông tin Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (2). Kho tài liệu: Phòng lưu trữ_P307 .

VIỆN HÀN LÂM KHOA HỌC VÀ CÔNG NGHỆ VIỆT NAM - TRUNG TÂM THÔNG TIN TƯ LIỆU
Địa chỉ: Nhà A11- Số 18 - Hoàng Quốc Việt - Hà Nội - Việt Nam
Điện thoại: 043.756 4344 - Fax: 043.756.4344
Email: vanthu@isi.vast.vn