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 190 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. Visual C++ generic programming

Tác giả: Shammas, Namir Clement.

Ấn bản: 1st ed.Kiểu tài liệu: book Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Blue Ridge Summit, Pa. : Windcrest/McGraw-Hill, c1994Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: 005.7/3.

2. The impact of emerging technologies on computer science and operations research

Tác giả: Nash, Stephen (Stephen G.); Sofer, Ariela.

Kiểu tài liệu: book Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Boston : Kluwer Academic Publishers, c1995Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: 003.

3. New frontiers in applied artificial intelligence : 21st International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2008, Wrocław, Poland, June 18-20, 2008 proceedings

Tác giả: Nguyen, Ngoc Thanh (Computer scientist). -- (21st : International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems 2008 : Wrocław, Poland).

Kiểu tài liệu: book Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Berlin ; New York : Springer, c2008Nhan đề song song: 21st International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems; IEA/AIE 2008.Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: 006.3.

4. Transactions on data hiding and multimedia security III

Tác giả: Shi, Yun Q.

Kiểu tài liệu: book Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Berlin ; New York : Springer, c2008Nhan đề song song: Data hiding and multimedia security III; Transactions on data hiding and multimedia security 3; Data hiding and multimedia security 3.Nguồn trực tuyến: Publisher description | Table of contents only Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: 005.8.

5. Hybrid intelligent engineering systems

Tác giả: Jain, L. C; Jain, R. K.

Kiểu tài liệu: book Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Singapore ; River Edge, NJ : World Scientific, c1997Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: 620/.001/1363.

6. High-Level feedback control with neural networks

Tác giả: Kim, Y. H. (Young Ho); Lewis, Frank L.

Kiểu tài liệu: book Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Singapore ; River Edge, NJ : World Scientific, c1998Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: 629.8/3.

7. An introduction to object-oriented programming with Java

Tác giả: Wu, C. Thomas.

Ấn bản: 4th ed.Kiểu tài liệu: book Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Boston : McGraw-Hill, c2006Nhan đề song song: Java.Nguồn trực tuyến: Table of contents only | Publisher description Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (2). Kho tài liệu: 005.13/3.

8. Object-oriented technology for database and software systems

Tác giả: Alagar, Vangalur S; Missaoui, R.

Kiểu tài liệu: book Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Singapore ; River Edge, N.J. : World Scientific, c1995Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: 005.1/1.

9. Web communities : analysis and construction

Tác giả: Zhang, Yanchun; Yu, Jeffrey Xu; Hou, Jingyu.

Kiểu tài liệu: book Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Berlin ; New York : Springer, c2006Nguồn trực tuyến: Table of contents only | Publisher description | Contributor biographical information Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: 005.75/8.

10. Document engineering : analyzing and designing documents for business informatics & Web services

Tác giả: Glushko, Robert J; McGrath, Tim.

Kiểu tài liệu: book Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Cambridge, Mass. : MIT Press, 2005Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: 005.

11. Object oriented systems development

Tác giả: Bahrami, Ali.

Kiểu tài liệu: book Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Boston : Irwin/McGraw-Hill, c1999Nguồn trực tuyến: Publisher description | Table of contents Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: 005.1/2.

12. Problem solving, modeling and data analysis labs

Tác giả: Metzger, W.

Kiểu tài liệu: book Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Massachusetts D C Heath and Company 1996Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: 004.

13. Computer Aided Verification

Tác giả: -- 7th International conference, CAV 95 Belgium 1995.

Kiểu tài liệu: book Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Berlin Springer 1995Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: 004.

14. Кибернетика и вычислительная техника Медицинская кибернетика Вып. 74

Tác giả: Попов, А. А. -- АН Укр. ССР, И-т кибернетики им. В. М. Глушкова

Kiểu tài liệu: book Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Киев Наукова думка 1987Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: Kho tham khảo 003.

15. Кибернетика и вычислительная техника Дискретные системы управления Вып. 75

Tác giả: Кунцевич, В. М. -- АН Укр. ССР, И-т кибернетики им. В. М. Глушкова

Kiểu tài liệu: book Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Киев Наукова думка 1987Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: Kho tham khảo 003.

16. Технология решения на ЭВМ задач газовой динамики

Tác giả: Тимошенко, В. И; Лиманский, А. В. -- АН Укр. ССР, И-т технической механики

Kiểu tài liệu: book Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Киев Наукова думка 1985Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: Kho tham khảo 003.

17. ЭВМ массового применения

Tác giả: Наумов, Б. Н.

Kiểu tài liệu: book Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Москва Наука 1987Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: Kho tham khảo 629,8.

18. Декомпозиция в задачах большой размерности

Tác giả: Цирков, В. И.

Kiểu tài liệu: book Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Москва Наука 1981Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (2). Kho tài liệu: Kho tham khảo 003.

19. Fast software encryption : 11th international workshop, FSE 2004, Delhi, India, February 5-7, 2004 ; revised papers

Tác giả: Roy, Bimal; Meier, Willi. -- (11th : FSE 2004 2004 : Dehli, India).

Kiểu tài liệu: book Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Berlin ; New York : Springer, c2004Nguồn trực tuyến: Table of contents | Publisher description Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: 005.8.

20. Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers

Tác giả: Petrenko, Alexandre; Ulrich, Andreas, Dr. Ing. -- FATES 2003 (2003 : Montréal, Québec); (18th : IEEE International Automated Software Engineering Conference 2003 : Montréal, Québec).

Kiểu tài liệu: book Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Berlin ; New York : Springer-Verlag, c2004Nguồn trực tuyến: Publisher description Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: 005.13/1.

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