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:"Computer 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
Kho tài liệu
- Phòng thư viện
- Kho tham khảo
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.	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ỏ)
	3.	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ỏ)
	4.	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ỏ)
	5.	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ỏ)
	6.	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ỏ)
	7.	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ỏ)
	8.	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ỏ)
	9.	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ỏ)
	10.	Agents and computational autonomy : potential, risks, and solutions Tác giả: Nickles, Matthias; Rovatsos, Michael; Weiss, Gerhard. -- (1st : International Workshop on Computational Autonomy 2003 : Melbourne, Vic.); (2nd : International Joint Conference on Autonomous Agents and Multiagent Systems 2003 : Melbourne, Vic.). Kiểu tài liệu: Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Berlin ; London : 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: Kho tham khảo . Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	11.	Agent-oriented information systems : 5th international bi-conference workshop, AOIS 2003, Melbourne, Australia, July 14, 2003 and Chicago, IL, USA, October 13, 2003 : revised selected papers Tác giả: -- LINK (Online service) -- AOIS 2003 (2003 : Melbourne, Vic. and Chicago, Ill.). 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: Agent oriented information systems.; AOIS 2003..Nguồn trực tuyến: Access full text online via Springer. \| 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 . Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	12.	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: 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. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	13.	Software reliability modelling and identification Tác giả: Bittanti, Sergio. Kiểu tài liệu: 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. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	14.	Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism Tác giả: Rao, Josyula Ramachandra. Kiểu tài liệu: Sách; Định dạng: print Xuất bản: Berlin ; New York : Springer-Verlag, 1995Trạ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. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	15.	Objective software quality : objective quality : Second Symposium on Software Quality Techniques and Acquisition Criteria, Florence, Italy, May 29-31, 1995 : proceedings Tác giả: -- 2nd : Symposium on Software Quality Techniques and Acquisition Criteria 1995 : Florence, Italy. Kiểu tài liệu: Sách; Định dạng: print Xuất bản: Berlin ; New York : 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: Phòng thư viện 005.1. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	16.	Computer-aided verification / 7th International Conference, CAV’95 Liège, Belgium, July 3-5, 1995, Proceedings Tác giả: -- International Conference on CAV Liège, Belgium 1995. Kiểu tài liệu: Sách; Định dạng: print ; Literary form: not fiction Xuất bản: Boston : Springer-Verlag, 1995Trạ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. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	17.	KORSO : methods, languages, and tools for the construction of correct software : final report Tác giả: Jähnichen, Stefan. Kiểu tài liệu: Sách; Định dạng: print Xuất bản: Berlin ; New York : Springer, c1995Trạ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. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	18.	Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers Tác giả: -- TACAS '95 (1995 : Århus, Denmark). Kiểu tài liệu: Sách; Định dạng: print Xuất bản: Berlin ; New York : Springer, c1995Trạ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. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	19.	Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem Tác giả: Godefroid, Patrice. Kiểu tài liệu: Sách; Định dạng: print Xuất bản: Berlin ; New York : Springer, 1996Trạ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. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	20.	Intelligent agents : ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, the Netherlands, August 8-9, 1994 : proceedings Tác giả: Jennings, Nick. -- (1st : Workshop on Agent Theories, Architectures, and Languages 1994 : Amsterdam, Netherlands); European Conference on Artificial Intelligence (1994 : Amsterdam, Netherlands). Kiểu tài liệu: Sách; Định dạng: print Xuất bản: Berlin ; New York : Springer-Verlag, 1995Trạ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. Đặ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ủ đề