Viện Hàn lâm Khoa học và Công nghệ Việt Nam › Kết quả tìm kiếm của 'su:"software"'

Giới hạn kết quả tìm kiếm

Trạng thái tài liệu
- Tài liệu sẵn sàng.
Tác giả
Thư viện sở hữu
- Trung tâm Thông tin - Tư liệu
Kiểu tài liệu
- Sách chuyên khảo
- Báo cáo đề tài KHCN
Kho tài liệu
Tùng thư
Chủ đề

	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: 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. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	2.	Software engineering : a practitioner's approach Tác giả: Pressman, Roger S. Ấn bản: 3rd ed.Kiểu tài liệu: Sách; Định dạng: print regular print ; Literary form: not fiction Xuất bản: New York : McGraw-Hill, c1992Trạ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. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	3.	Waves and optics simulations Tác giả: Christian, Wolfgang. Kiểu tài liệu: Sách; Định dạng: print ; Literary form: not fiction Xuất bản: New York : John Wiley, c1995Nguồ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: 539.2/01/135365. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	4.	The Impact of CASE technology on software processes Tác giả: Cooke, D. (Daniel). Kiểu tài liệu: Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Singapore ; River Edge, N.J. : World Scientific, 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.1. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	5.	Object-oriented technology for database and software systems Tác giả: Alagar, Vangalur S; Missaoui, R. Kiểu tài liệu: 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. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	6.	Software abstractions : logic, language and analysis Tác giả: Jackson, Daniel. Kiểu tài liệu: Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Cambridge, Mass. : MIT Press, c2006Trạ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. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	7.	Software ecosystem : understanding an indispensable technology and industry Tác giả: Messerschmitt, David G; Szyperski, Clemens. Kiểu tài liệu: Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Cambridge, Mass. : MIT Press, c2003Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: 005.3. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	8.	Лазерные устройства для обеспечения судовождения Tác giả: Карвнов, М. В. -- АН СССР, И-т оптики атмосферы Kiểu tài liệu: 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 629.735.05. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	9.	BEA WebLogic server bible Tác giả: Zuffoletto, Joe; Miranda, Lou. Ấn bản: 2nd ed.Kiểu tài liệu: Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Indianapolis, IN : Wiley Pub., c2003Nguồn trực tuyến: Contributor biographical information \| 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.2/762. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	10.	Database design, application development, and administration Tác giả: Mannino, Michael V. Ấn bản: 3rd ed.Kiểu tài liệu: Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Boston : McGraw-Hill Irwin, 2007Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (1). Kho tài liệu: 005.74. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	11.	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: 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. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	12.	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: 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. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	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: 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. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	14.	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: 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. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	15.	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: 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. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	16.	Phần mềm quản lí trạng thái kỹ thuật thiết bị quay DMSOFT Tác giả: GS.TSKH - KSC Nguyễn Cao Mệnh, Nguyễn Văn Đắc. Kiểu tài liệu: Sách Xuất bản: 2004Trạng thái: ĐKCB khác: Trung tâm Thông tin - Tư liệu (1 ). Kho tài liệu: Phòng lưu trữ_P307 . Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	17.	Software engineering : a practitioner's approach Tác giả: Pressman, Roger S. Ấn bản: 6th ed.Kiểu tài liệu: Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Boston, Mass. : McGraw-Hill, 2005Trạng thái: ĐKCB sẵn sàng: Trung tâm Thông tin - Tư liệu (4). Kho tài liệu: Phòng thư viện 005.1. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	18.	Database design, application development, and administration Tác giả: Mannino, Michael V. Ấn bản: 2nd ed.Kiểu tài liệu: Sách; Định dạng: print ; Literary form: not fiction Xuất bản: New York : McGraw-Hill, 2004Trạ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. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	19.	Software Quality : Concepts and Practices Tác giả: Khan, R.A; K. Mustafa; S.I. Ahson. Kiểu tài liệu: Sách; Nature of contents: Xuất bản: Oxfrod : Alpha Science Internatoinal Ltd, 2006Trạ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.3. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	20.	Advances in agent communication : International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003 : revised and invited papers Tác giả: Dignum, Frank. -- International Workshop on Agent Communication Languages (2003 : Melbourne, Vic.). Kiểu tài liệu: Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Berlin ; New York : Springer, 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: Kho tham khảo 006.3. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)

SÁCH MỚI

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

Giới hạn kết quả tìm kiếm

Tác giả

Kiểu tài liệu

Kho tài liệu

Tùng thư

Chủ đề