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

|
61. Digital earth moving : first international symposium, DEM 2001, Manno, Switzerland, September 5-7,2001 : proceedings

Tác giả: Westort, Caroline Y. -- DEM 2001 (2001 : Manno, Switzerland).

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, 2001Trạ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 624.1.

62. Case-Based Reasoning Research and Development : 4th International Conference on Case-Based Reasoning, ICCBR 2001 Vancouver, BC, Canada, July 30 - August 2, 2001; Proceedings

Tác giả: Aha, David W; Watson, Ian.

Kiểu tài liệu: book Sách; Định dạng: print Xuất bản: Berlin ; New York : Springer, 2001Trạ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 006.3.

63. Advances in learning software organizations : third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings

Tác giả: Althoff, Klaus-Dieter; Feldmann, Raimund L; Muller, Wolfgang. -- LSO 2001 (2001 : Kaiserslautern, 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, 2001Trạ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.1.

64. Pattern Recognition : 23rd DAGM Symposium Munich, Germany, September 12-14, 2001 : Proceedings

Tác giả: Radig, B; Florczyk, S.

Kiểu tài liệu: book Sách; Định dạng: print Xuất bản: Berlin ; NewYork: Springer-Verlag, 2001Trạ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 001.53.

65. Software reliability modelling and identification

Tác giả: Bittanti, Sergio.

Kiểu tài liệu: book Sách; Định dạng: print Xuất bản: Berlin ; New York : Springer-Verlag, c1988Trạ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.

66. Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings

Tác giả: Brookes, S. D. -- (7th : International Conference on the Mathematical Foundations of Programming Semantics 1991 : Carnegie Mellon University).

Kiểu tài liệu: book Sách; Định dạng: print Xuất bản: Berlin ; New York : Springer-Verlag, c1992Trạ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.13.

67. Algorithms and computation : Third International Symposium, ISAAC’92, Nagoya, Japan, December 16-18, 1992 : proceedings. Editors : T. Ibaraki… [et al]

Tác giả: -- ISAAC (Conference) Nagoya, Japan, December 16-18, 1992.

Kiểu tài liệu: serial Continuing Resource; Định dạng: print Xuất bản: Berlin ; New York : Springer-Verlag 1992Trạ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 004.01.

68. Advances in cryptology--CRYPTO '93 : Workshop on the Theory and Application of Cryptographic Techniques, Lofthus, Norway, May 23 - 27, 1993; Proceedings

Tác giả: -- CRYPTO (Conference) May 23 - 27, 1993, Lofthus, Norway,.

Kiểu tài liệu: book Sách; Định dạng: print Xuất bản: Berlin ; New York : Springer-Verlag, 1994Trạ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.8.

69. The Newton-Cauchy framework : a unified approach to unconstrained nonlinear minimization

Tác giả: Nazareth, J. L. (John L.).

Kiểu tài liệu: book Sách; Định dạng: print Xuất bản: Berlin ; New York : Springer-Verlag, c1994Trạ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 004.01.

70. Visualization of scientific parallel programs

Tác giả: Tomas, Gerald; Ueberhuber, Christoph W.

Kiểu tài liệu: book Sách; Định dạng: print Xuất bản: Berlin ; New York : Springer-Verlag, c1994Trạ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.2.

71. Advances in cryptology--CRYPTO '92 : 13th Annual International Cryptology Conference, Santa Barbara, California, USA, August 22-26, 1993: proceedings

Tác giả: -- CRYPTO (Conference) (1993: Santa Barbara, Calif.).

Kiểu tài liệu: book Sách; Định dạng: print Xuất bản: Berlin ; New York : Springer-Verlag, c1994Trạ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.8.

72. STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 1994 : proceedings

Tác giả: Mayr, Ernst; Wagner, K. W. -- (11th : Symposium on Theoretical Aspects of Computer Science 1994 : Caen, France).

Kiểu tài liệu: book Sách; Định dạng: print Xuất bản: Berlin ; New York : Springer-Verlag, c1994Trạ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 004.01.

73. Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings

Tác giả: Ehrig, Hartmut.

Kiểu tài liệu: book Sách; Định dạng: print Xuất bản: Berlin ; New York : Springer-Verlag, c1994Trạ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.1.

74. Information theory and applications : third Canadian workshop, Rockland, Ontario, Canada, May 30-June 2, 1993 : proceedings

Tác giả: Secord, Norman P. -- (3rd : Canadian Workshop on Information Theory 1993 : Rockland, Ont.).

Kiểu tài liệu: book Sách; Định dạng: print Xuất bản: Berlin ; New York : Springer-Verlag, c1994Trạ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.8.

75. High-performance computing and networking : international conference and exhibition, Munich, Germany, April 18-20, 1994 : proceedings / Vol. 2

Tác giả: Harms, Uwe.

Kiểu tài liệu: book Sách; Định dạng: print Xuất bản: Berlin ; New York : Springer-Verlag, 1994Trạ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 004.3.

76. Parallel and distributed computing : theory and practice : first Canada-France conference, Montréal, Canada, May 19-21, 1994 : proceedings

Tác giả: Ferreira, Afonso; Peters, Joseph G. -- (1st : Canada-France Conference on Parallel Computing 1994 : Montréal, Québec).

Kiểu tài liệu: book Sách; Định dạng: print Xuất bản: Berlin ; New York : Springer-Verlag, c1994Trạ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 004.1.

77. Combinatorial pattern matching : 5th Annual Symposium, CPM 94, Asilomar, CA, USA, June 5-8, 1994 Proceedings

Tác giả: Gusfield D. -- (5th : Symposium on Combinatorial Pattern Matching 1994: Asilomar, CA, USA.).

Kiểu tài liệu: book Sách; Định dạng: print Xuất bản: Berlin ; New York : Springer-Verlag, 1994Trạ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 004.1.

78. Fast software encryption : Cambridge Security Workshop, Cambridge, U.K., December 9-11, 1993 : proceedings

Tác giả: -- Cambridge Security Workshop 1993 UK.

Kiểu tài liệu: book Sách; Định dạng: print Xuất bản: Berlin ; New York : Springer-Verlag, 1994Trạ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.8.

79. Results and trends in theoretical computer science : colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings

Tác giả: . Maurer, H; Rozenberg G.

Kiểu tài liệu: book Sách; Định dạng: print Xuất bản: Berlin ; New York : Springer-Verlag, 1994Trạ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 004.01.

80. Automata, languages and programming : 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11-14, 1994 Proceedings

Tác giả: Shamir E. -- 21st International Colloquium on Automata, Languages, and Programming 1994 Jerusalem, Israel.

Kiểu tài liệu: book Sách; Định dạng: print Xuất bản: Berlin ; New York : Springer, 1994Trạ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.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