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 science"'

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
- Kho tham khảo
Tùng thư
Chủ đề

	61.	Algorithm Theory SWAT’94 : 4th Scandinavian Workshop on Algorithm Theory Aarhus, Denmark, July 6-8, 1994; Proceedings Tác giả: Skyum S. -- Scandinavian Workshop on Algorithm Theory; Aarhus, Denmark 1994. Kiểu tài liệu: Sách; Định dạng: print Xuất bản: Berlin : 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. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	62.	Algorithms and computation : 5th International Symposium, Isaac 1994, Beijing, P.R. China, August 25-27, 1994; Proceedings Tác giả: X.S. Zhang. Kiểu tài liệu: Sách; Định dạng: print Xuất bản: 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 511.3. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	63.	Mathematical foundations of computer science 1994 : 19th International Symposium, MFCS’ 94 Košice Slovakia, August 1994; Proceedings Tác giả: B. Rovan; P. Ružička. -- 19th : Symposium on Mathematical Foundations of Computer Science 1994 : Košice Slovakia,. Kiểu tài liệu: 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 004.1. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	64.	Foundations of Software Technology Theoretical Computer Science : 14th Conference Madras, India, December 15-17, 1994 Proceeding Kiểu tài liệu: Sách; Định dạng: print Xuất bản: Berlin : 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.1. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	65.	Analysis of dynamical and cognitive systems : advanced course, Stockholm, Sweden, August 9-14, 1993 : proceedings 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 003. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	66.	STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings Tác giả: Puech, C. -- (12th : Symposium on Theoretical Aspects of Computer Science 1995 : Munich, Germany). 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 004.01. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	67.	Graph-theoretic concepts in computer science : 19th international workshop, WG '93, Utrecht, The Netherlands, June 16-18, 1993 : proceedings Tác giả: -- (19th : International Workshop on Graph-Theoretic Concepts in Computer Science 1993 : Utrecht, Netherlands). Kiểu tài liệu: 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. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	68.	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ỏ)
	69.	Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course Tác giả: Jouannaud, Jean-Pierre. -- French Spring School of Theoretical Computer Science (1993 : Font-Romeu, France). 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.13. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	70.	Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers Tác giả: -- (22nd : French Spring School of Theoretical Computer Science 1994 : Châtillon-sur-Seine, France). Kiểu tài liệu: Sách; Định dạng: print Xuất bản: Berlin ; New York : Springer-Verlag, 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ỏ)
	71.	LATIN '95 : theoretical informatics : second Latin American symposium, Valparaíso, Chile, April 3-7, 1995 : proceedings Tác giả: Goles E; Poblete P.V. -- (2nd : Latin American Symposium on Theoretical Informatics 1995 : Valparaíso, Chile). 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 004.2. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	72.	Language and Compilers for Parallel Computing : 7th International Workshop Ithaca, N.Y., U.S.A., August 8-10, 1994 Tác giả: -- International Workshop on Language and Compilers for Parallel Computing ; (N.Y., U.S.A., 1994 ). Kiểu tài liệu: Sách; Định dạng: print Xuất bản: Berlin : 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.01. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	73.	Efficient graph rewriting and its implementation Tác giả: Dörr, Heiko. Kiểu tài liệu: Sách; Định dạng: print Xuất bản: 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.13. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	74.	Constraint processing : selected papers Kiểu tài liệu: Sách; Định dạng: print ; Literary form: not fiction Xuất bản: 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. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	75.	Object-based models and languages for concurrent systems : ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994 : proceedings Tác giả: Nierstrasz, Oscar Marius; Yonezawa, Akinori. -- ECOOP (Conference) 1994 : Bologna, 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.2. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	76.	Advanced functional programming : first International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995 : tutorial text Tác giả: Meijer, Erik. -- (1st : International Spring School on Advanced Functional Programming Techniques 1995 : Båstad, Sweden). 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ỏ)
	77.	Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers Tác giả: Tiuryn Jerzy. -- 8th : Workshop on Computer Science Logic 1994 : Kazimierz Dolny, Poland. 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 004.1. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	78.	Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings Tác giả: Nivat, M. -- 4th : International Conference on Algebraic Methodology and Software Technology 1995 : Montréal, Québec. 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ỏ)
	79.	Exploitation of fine-grain parallelism Tác giả: Böckle, G. 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 004.35. Đặt mượn Thêm vào giỏ tài liệu (Loại bỏ)
	80.	Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings Tác giả: -- MPC '95 1995 ; Kloster Irsee. 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 004.2. Đặ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ủ đề