skip to main content
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục

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

Chỉ hiển thị
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Radical Innovations of Software and Systems Engineering in the Future 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers
Material Type:
Sách
Thêm vào Góc nghiên cứu

Radical Innovations of Software and Systems Engineering in the Future 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers

RISSEF 2002 Venice, Italy 2002 ; Wirsing Martin; Knapp Alexander; Balsamo Simonetta

c2004

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

2
Adapting Proofs-as-Programs
Adapting Proofs-as-Programs
Material Type:
Sách
Thêm vào Góc nghiên cứu

Adapting Proofs-as-Programs

Iman Hafiz Poernomo ; John N Crossley; David Gries; Fred B Schneider; Martin Wirsing

2005

Truy cập trực tuyến

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

Chủ đề của tôi

  1. Thiết lập

Refine Search Results

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

  1.   

Chỉ hiển thị

  1. Toàn văn trực tuyến (1)

Lọc kết quả

Năm xuất bản 

Từ đến

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. Balsamo Simonetta
  2. Wirsing Martin
  3. Poernomo, Iman Hafiz
  4. RISSEF 2002
  5. Knapp Alexander

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