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 192 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. Software process technology : 4th European workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3-5, 1995 : proceedings

Tác giả: Schäfer, Wilhelm. -- EWSPT '95 (1995 : Noordwijkerhout, Netherlands).

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, c1995Nguồ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 (2). Kho tài liệu: Phòng thư viện 005.1.

2. Advances in databases : 13th British National Conference on Databases, BNCOD 13 Manchester, United Kingdom, July 12-14, 1995 : proceedings

Tác giả: Goble, Carole; Keane, John. -- (13th : British National Conference on Databases 1995 : Manchester, England).

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, c1995Nguồ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 (2). Kho tài liệu: Phòng thư viện 005.74.

3. Algorithmic aspects in information and management : 4th international conference, AAIM 2008, Shanghai, China, June 23-25, 2008. proceedings

Tác giả: Fleischer, Rudolf; Xu, Jinhui. -- AAIM 2005 (2008 : Shanghai, China).

Ấ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: New York : Springer, 2008Trạ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.

4. Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 proceedings

Ấ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: New York : Springer, 2008Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: .

5. 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.

6. Asian digital libraries : looking back 10 years and forging new frontiers. 10th international conference on Asian digital libraries, ICADL 2007, Hanoi, Vietnam, December 10-13, 2007. proceedings

Ấ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: New York : Springer, 2007Nguồ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: .

7. 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.

8. Field-programmable logic and applications : 14th international conference, FPL 2004, Antwerp, Belgium, August 30-September 1, 2004 : proceedings

Tác giả: Becker, Jürgen; Platzner, Marco; Vernalde, Serge. -- (14th : International Conference on Field-Programmable Logic and Applications 2004 : Antwerp, Belgium).

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, c2004Nhan đề song song: FPL 2004.Nguồ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: 621.39.

9. 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.

10. Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures

Tác giả: Boer, Frank S. de. -- FMCO 2003 (2003 : Leiden, Netherlands).

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, c2004Nhan đề song song: FMCO 2003.Nguồ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: 004/.01/51.

11. Intelligence and security informatics : Second Symposium on Intelligence and Security Informatics, ISI 2004, Tucson, AZ, USA, June 10-11, 2004 : proceedings

Tác giả: Chen, Hsinchun. -- (2nd : Symposium on Intelligence and Security Informatics 2004 : Tucson, Ariz.).

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, 2004Nhan đề song song: ISI 2004.Nguồn trực tuyến: Restricted to Springer LINK subscribers | 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: 006.3.

12. Networking 2004 : networking technologies, services, and protocols : performance of computer and communication networks : mobile and wireless communications : Third International IFIP-TC6 Networking Conference, Athens, Greece, May 9-14, 2004 : proceedings

Tác giả: Mitrou, Nikolas. -- (3rd : International IFIP-TC6 Networking Conference 2004 : Athens, Greece).

Kiểu tài liệu: book Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Berlin : Springer, c2004Nhan đề song song: Networking technologies, services, and protocols, performance of computer and communication networks, mobile and wireless communications.Nguồ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: 004.6.

13. Object-oriented and internet-based technologies : 5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World, Net.ObjectDays 2004, Erfurt, Germany, September 27-30, 2004 : proceedings

Tác giả: Weske, Mathias; Liggesmeyer, Peter. -- NODe 2004 (2004 : Erfurt, Germany).

Kiểu tài liệu: book Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Berlin ; New York, N.Y. : Springer, 2004Nhan đề song song: Object oriented and internet based technologies; 5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World; International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World; Net.ObjectDays 2004; NODe 2004.Nguồ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.1/17.

14. Integer programming and combinatorial optimization : 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005 : proceedings

Tác giả: Jünger, M. (Michael); Kaibel, Volker. -- (11th : Conference on Integer Programming and Combinatorial Optimization 2005 : Berlin, Germany).

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, c2005Nhan đề song song: 11th International IPCO Conference; Eleventh International IPCO Conference; International IPCO Conference; IPCO XI 2005.Nguồn trực tuyến: Restricted to SpringerLink subscribers | Publisher description | Table of contents only 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 thư viện 519.77.

15. Scientific engineering of distributed Java applications : third international workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : revised papers

Tác giả: Guelfi, Nicolas; Astesiano, E. (Egidio); Reggio, Gianna. -- FIDJI 2003 (2003 : Luxembourg, Luxembourg).

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, 2004Nguồ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.1.

16. Software engineering research and applications : first international conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003 : selected revised papers

Tác giả: Ramamoorthy, C. V. (Chittoor V.); Lee, R. Y. (Roger Y.); Lee, Kyung Whan. -- SERA 2003 (2003 : San Francisco, Calif.).

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, 2004Nguồ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.1.

17. Wireless on-demand network systems : first IFIP TC6 working conference, WONS 2004, Madonna di Campiglio, Italy, January 21-23, 2004 : proceedings

Tác giả: Battiti, Roberto; Conti, Marco; Lo Cigno, R. (Renato). -- WONS 2004 (2004 : Madonna di Campiglio, Italy).

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, 2004Nguồ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: 621.382.

18. Cryptography and coding : 10th IMA International Conference, Cirencester, UK, December 19-21, 2005 : proceedings

Tác giả: Smart, Nigel P. (Nigel Paul). -- (10th : IMA International Conference 2005 : Cirencester, England).

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, c2005Nguồn trực tuyến: Table of contents only | Restricted to SpringerLink subscribers | 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: Phòng thư viện 005.82.

19. Adaptive multimedia retrieval : first international workshop, AMR 2003, Hamburg, Germany, September 15-16, 2003, revised selected and invited papers

Tác giả: Nürnberger, Andreas; Detyniecki, Marcin. -- (1st : International workshop Adaptive Multimedia Retrieval 2003 : Hamburg, Germany).

Ấ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: New York, NY : Springer-Verlag Berlin Heidelberg, 2004Nguồ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: Kho tham khảo 006.7.

20. Advances in databases and information systems : 8th East European conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004 : proceedings

Tác giả: Benczúr, A. (Andras); Demetrovics, János; Gottlob, G. (Georg). -- ADBIS 2004 (2004 : Budapest, Hungary).

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, c2004Nhan đề song song: ADBIS 2004.Nguồ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: Kho tham khảo 005.74.

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