Loại tài liệu:    Chỉ tìm trong: 
Tìm được 11 kết quả
The birth of model theory : Lowenheim's theorem in the frame of the theory of relatives
Tác giả: Calixto Badesa, Calixto Badesa
Xuất bản: Princeton: Princeton University Press , c2004.
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.34
 
Model theory with applications to algebra and analysis
Tác giả: Zoé Mari Chatzidakis
Xuất bản: Cambridge, UK ; New York: Cambridge University Press , 2008
Bộ sưu tập: Khoa học tự nhiên
ddc:  511.34
 
The stationary tower : notes on a course by W. Hugh Woodin
Tác giả: Paul B Larson
Xuất bản: Providence, R.I: American Mathematical Society , c2004.
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.34
 
Lectures on infinitary model theory
Tác giả: D Marker
Xuất bản: ,
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.34
 
Về mô hình giao thoa trong phân tích độ tin cậy mờ
Tác giả: Văn Phó Nguyễn, Đình Xân Nguyễn, Thác Vũ Nguyễn
Xuất bản: Tuyển tập công trình Hội nghị Khoa học toàn quốc Cơ học vật rắn biến dạng lần thứ 8 - Hội cơ học Việt Nam - Đại học Thái Nguyên , 2006
Bộ sưu tập: Metadata
eBook (pdf)
ddc:  511.34
 
Điều khiển ổn định thời gian hữu hạn (FTS) trên nền tối ưu tác động nhanh
Tác giả: Thị Thúy Nga Vũ, Doãn Phước Nguyễn
Xuất bản: Khoa học và Công nghệ (Đại học Thái Nguyên , 2015
Bộ sưu tập: Metadata
eBook (pdf)
ddc:  511.34
 
Suy diễn đơn luật trong các hệ tri thức f-luật
Tác giả: Thanh Thuỷ Nguyễn, Thanh Sơn Phạm, Kim Chi Trịnh
Xuất bản: Kỷ yếu hội thảo khoa học quốc gia lần thứ nhất về nghiên cứu, phát triển và ứng dụng công nghệ thông tin và truyền thông , 2003
Bộ sưu tập: Metadata
eBook (pdf)
ddc:  511.34
 
Độ phức tạp ôtômat hữu hạn của biểu thức chính quy hai phía
Tác giả: Huy Ruận Đặng, Trọng Quế Vũ
Xuất bản: Tin học và điều khiển học , 2007
Bộ sưu tập: Metadata
eBook (pdf)
ddc:  511.34
 
Một số kết quả về phụ thuộc hàm, phủ của các phụ thuộc hàm và các dạng chuẩn trong mô hình du...
Tác giả: Đình Thắng Trịnh
Xuất bản: Một số vấn đề chọn lọc của công nghệ thông tin: Chủ đề Mã Nguồn mở: Kỷ yếu hội nghị quốc gia , 2006
Bộ sưu tập: Metadata
eBook (pdf)
ddc:  511.34
 
Mô hình phân tử hữu hạn để giải bài toán đánh chìm khối chân đế công trình biển bằng thép tư...
Tác giả: Quang Cường Đinh
Xuất bản: Tuyển tập Báo cáo Hội nghị khoa học - công nghệ. 30 năm Dầu khí Việt Nam: Cơ hội và thách thức. Quyển 2 , 2011
Bộ sưu tập: Metadata
eBook (pdf)
ddc:  511.34
 
1 2 Tiếp

Truy cập nhanh danh mục