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

|
41. Integer Programming and Combinatorial Optimization : 8th International IPCO Conference Utrecht, the Netherlands. June 13-15, 2001; Proceedings

Tác giả: Gerards B.

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

42. Information Processing in Medical Imaging : 17th International Conference, IPMI 2001 Davis, CA, USA, June 18-22, 2001; Proceedings

Tác giả: Leahy R.M.

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

43. DNA computing : 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, the Netherlands, June 13-17, 2000 : revised papers

Tác giả: Condon, Anne; Rozenberg, Grzegorz. -- (6th : International Workshop on DNA-Based Computers 2000 : University of Leiden).

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, c2001Trạ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 511.3.

44. Engineering of intelligent systems : 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001 : proceedings

Tác giả: Monostori, László; Váncza, József; Ali, Moonis. -- (14th : International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems 2001 : Budapest, Hungary).

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

45. Algorithms and data structures : 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001 : proceedings

Tác giả: Dehne, F. (Frank); Sack, J.-R. (Jörg-Rüdiger); Tamassia, Roberto. -- WADS 2001 (2001 : Providence, R.I.).

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, c2001Nguồ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: Phòng thư viện 005.1.

46. Artificial neural networks--ICANN 2001 : International Conference, Vienna, Austria, August 21-25, 2001 : proceedings

Tác giả: Dorffner, Georg; Bischof, Horst; Hornik, Kurt. -- International Conference on Artificial Neural Networks (European Neural Network Society) (2001 : Vienna, Austria).

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.

47. Applications of evolutionary computing : EvoWorkshops 2001 : EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como, Italy, April 18-20, 2001 : proceedings

Tác giả: Boers, Egbert J. W. -- EvoWorkshops (2001 : Como, 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, 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.

48. Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

Tác giả: Sands, David. -- (10th : European Symposium on Programming 2001 : Genoa, Italy); ETAPS 2001 (2001 : Genoa, Italy).

Kiểu tài liệu: book Sách; Định dạng: print ; Literary form: not fiction Xuất bản: 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.

49. Discrete and computational geometry : Japanese conference, JCDCG 2000, Tokyo, Japan, November 22-25, 2000 : revised papers

Tác giả: Akiyama, J; Kano, Mikio; Urabe, Masatsugu. -- JCDCG 2000 (2000 : Tokyo, Japan).

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

50. Applied parallel computing : new paradigms for HPC in industry and academia : 5th international workshop, PARA 2000, Bergen, Norway, June 18-20, 2000 : proceedings

Tác giả: Sorevik, Tor. -- PARA 2000 (2000 : Bergen, Norway).

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

51. Network calculus : a theory of deterministic queuing systems for the Internet

Tác giả: Le Boudec, Jean-Yves; Thiran, Patrick.

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

52. Advances in learning classifier systems : third international workshop, IWLCS 2000, Paris, France, September 15-16, 2000 : revised papers

Tác giả: Lanzi, Pier Luca; Stolzmann, Wolfgang; Wilson, Stewart W. -- IWLCS 2000 (2000 : Paris, France).

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

53. Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures

Tác giả: Brinksma, Ed; Hermanns, Holger; Katoen, Joost-Pieter. -- (1st : EEF/Euro Summer School on Trends in Computer Science 2000 : Berg en Dal, 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, 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 004.01.

54. Algorithm engineering and experimentation : third international workshop, ALENEX 2001, WAshington, DC, USA, January 5-6, 2001 : revised papers

Tác giả: Buchsbaum, Adam Louis; Snoeyink, Jack. -- ALENEX 2001 (2001 : Washington, D.C.).

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

55. Computer analysis of images and patterns : 9th international conference, CAIP 2001, Warsaw, Poland, September 5-7, 2001 : proceedings

Tác giả: Skarbek, Władysław. -- CAIP 2001 (2001 : Warsaw, 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, 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.4.

56. Artificial Intelligence and Symbolic Computation : International Conference AISC 2000 Madrid, Spain, July 17-19, 2000; Revised Papers

Tác giả: Campbell, J. A; Roanes-Lozano, Eugenio.

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 .

57. Vector and Parallel Processing - VECPAR 2000: 4th International Conference, Porto, Portugal, June 21-23, 2000, Selected Papers and Invited Talks

Tác giả: Palma, José M. L. M; Dongarra, J. J; Hernández, Vicente$q(Hernández García).

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

58. Technologies for E-Services : Second International Workshop, TES 2001 Rome, Italy, September 14-15, 2001; Proceedings

Tác giả: Casati, Fabio; Georgakopoulos, Dimitrios; Shan, Ming-Chien. -- TES 2001 Rome, Italy 2001 :.

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

59. Mobile Agents for Telecommunication Applications : Third International Workshop, MATA 2001: Montreal, Canada, August 14-16, 2001; Proceeding

Tác giả: Pierre, Samuel; Glitho, Roch. -- MATA 2001 Montréal, Québec 2001 :.

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

60. Advances in Cryptology-CRYPTO 2001 : 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19-23, 2001; Proceedings

Tác giả: Kilian, Joe.

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

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