skip to main content
Ngôn ngữ:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Tìm kiếm đơn giản

1 Kết quả  trong Tất cả tài nguyên thư viện

Sắp xếp theo: Sắp xếp theo: Thích hợpOr hit Enter to replace sort method
Lọc theo: Nơi xuất bản: Berlin New York Springer xóa
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Teaching Formal Methods CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings
Teaching Formal Methods CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings
Material Type:
Sách 		Thêm vào Góc nghiên cứu

Teaching Formal Methods CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings

TFM 2004 Ghent, Belgium 2004 ; Dean Neville; Boute R. T

c2004

Kiểm tra tình trạng sẵn có của tài liệu

1 Kết quả  trong Tất cả tài nguyên thư viện

Sắp xếp theo: Sắp xếp theo: Thích hợpOr hit Enter to replace sort method

Chủ đề của tôi

  1. Thiết lập

Refine Search Results

Mở rộng kết quả tìm kiếm

  1.   

Gợi ý tìm kiếm

Bỏ qua truy vấn này và tìm kiếm mọi thứ

theo tác giả:

  1. TFM 2004
  2. Dean Neville
  3. Boute R. T

theo chủ đề:

  1. Computer software
  2. Formal methods (Computer science)

    DANH MỤC LIÊN HỆ
  Giới thiệu Tìm kiếm TRUNG TÂM SỐ - ĐẠI HỌC THÁI NGUYÊN
  Sản phẩm Sử dụng Phường Tân Thịnh-Thành phố Thái Nguyên
  Dịch vụ Hỏi đáp Điện thoại: (+84)-2803.852.443 Fax: 02803.656.601
  Tài liệu mở Email:tthl(a)tnu.edu.vn

Đang tìm Cơ sở dữ liệu bên ngoài...