Kết quả tìm kiếm

1381

Computational Processing of the Portuguese Language

Bỡi Villavicencio, Aline, Moreira, Viviane, Abad, Alberto, Caseli, Helena, Gamallo, Pablo, Ramisch, Carlos, Oliveira, Hugo Gonçalo, Paetzold, Gustavo Henrique
Được phát hành 2020

Những chủ đề: “...Mathematical Logic and Formal Languages...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Liên kết dữ liệu

1382

Advances in Case-Based Reasoning

Được phát hành 2020

Những chủ đề: “...Mathematical Logic and Formal Languages...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Liên kết dữ liệu

1383

Theory and Applications of Satisfiability Testing

Được phát hành 2020

Những chủ đề: “...Mathematical Logic and Formal Languages...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Liên kết dữ liệu

1384

Natural Language Processing – IJCNLP 2005

Bỡi Dale, Robert, Wong, Kam-Fai, Su, Jian, Kwong, Oi Yee
Được phát hành 2020

Những chủ đề: “...Mathematical Logic and Formal Languages...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Liên kết dữ liệu

1385

Formal Concept Analysis

Được phát hành 2020

Những chủ đề: “...Mathematical Logic and Formal Languages...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Liên kết dữ liệu

1386

Theory and Applications of Satisfiability Testing - SAT 2007

Bỡi Marques-Silva, Joao, Sakallah, Karem A.
Được phát hành 2020

Những chủ đề: “...Mathematical Logic and Formal Languages...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Liên kết dữ liệu

1387

Human Language Technology. Challenges for Computer Science and Linguistics

Bỡi Vetulani, Zygmunt, Mariani, Joseph, Kubis, Marek
Được phát hành 2020

Những chủ đề: “...Mathematical Logic and Formal Languages...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Liên kết dữ liệu

1388

Philosophy of Science for Scientists. 1st ed.

Bỡi Johansson, Lars-Göran
Được phát hành 2020

Những chủ đề: “...Mathematical Logic and Foundations...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Liên kết dữ liệu

1389

KI 2007: Advances in Artificial Intelligence

Bỡi Hertzberg, Joachim, Beetz, Michael, Englert, Roman
Được phát hành 2020

Những chủ đề: “...Mathematical Logic and Formal Languages...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Liên kết dữ liệu

1390

Digital design and computer architecture

Bỡi Harris, David Money
Được phát hành 2013

Những chủ đề: “... Điện tử số; Thiết kế logic; Cấu trúc máy tính; ...”

Thư viện lưu trữ: Trung tâm Thư viện - Trường Đại học Công nghiệp TP. Hồ Chí Minh

1391

Fuzzy modeling and genetic algorithms for data mining and exploration

Bỡi Cox, Earl
Được phát hành 2005

Những chủ đề: “... Khai thác dữ liệu; Logic mờ; Thuật toán di truyền; ...”

Thư viện lưu trữ: Trung tâm Thư viện - Trường Đại học Công nghiệp TP. Hồ Chí Minh

1392

Giáo trình kỹ thuật số: Sách dùng cho các trường đào tạo hệ Trung học chuyên nghiệp. /

Bỡi Nguyễn Viết Nguyên
Được phát hành 2006

Những chủ đề: “...Cổng Logic--Mạch điện cổng--Mạch logic tổ hợp--Trigơ--Bộ nhớ bán dẫn...”

Thư viện lưu trữ: Thư viện Trường CĐ Kỹ Thuật Cao Thắng

1393

Giáo trình kỹ thuật số: Sách dùng cho các trường đào tạo hệ Trung học chuyên nghiệp. /

Bỡi Nguyễn Viết Nguyên
Được phát hành 2005

Những chủ đề: “...Cổng Logic--Mạch điện cổng--Mạch logic tổ hợp--Trigơ--Bộ nhớ bán dẫn...”

Thư viện lưu trữ: Thư viện Trường CĐ Kỹ Thuật Cao Thắng

1394

Rèn luyện tư duy Lôgic và ngôn ngữ chính xác cho học sinh thông qua dạy học hai chương " Tam giác - Tam giác đồng dạng " ( Hình học 7, 8) Khóa luận tốt nghiệp : Ngành Sư phạm Toán : Trình độ : Cao đẳng

Bỡi Nguyễn, Thị Chi
Được phát hành 2010

Thư viện lưu trữ: Trung tâm Học liệu Lê Vũ Hùng, Trường Đại học Đồng Tháp

1395

Xác định cơ sở lý luận hay lôgic cùa việc phát triển văn hóa và con người Việt Nam trong quá trình đổi mới và hội nhập quốc tế /

Bỡi Hồ Bá Thâm, TS.

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

1396

Phát triển Card giao diện PC-Based MCD trên cơ sở ứng dụng kỹ thuật "Mảng các phần tử logic lập trình được - FPGA" trong môi trường Windows 79/

Bỡi Phan Nam Anh
Được phát hành 2001

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

1397

Theorems, corollaries, lemmas, and methods of proof

Bỡi Rossi, Richard J.
Được phát hành 2006

Những chủ đề: “...Proof theory,Mathematical analysis,Logic, Symbolic and mathematical,Bằng chứng lý thuyết...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

1398

Intelligent control : Aspects of fuzzy logic and neural nets

Bỡi Harris, C. J.
Được phát hành 1993

Những chủ đề: “...Intelligent control systems,Fuzzy logic,Neural networks (Computer science),Hệ thống kiểm...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

1399

Automated Technology for Verification and Analysis

Được phát hành 2020

Những chủ đề: “...Logics and Meanings of Programs...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Liên kết dữ liệu

1400

Đề xuất kết hợp surf và độ đo lipschitz với fuzzy logic cho vấn đề sàng lọc những vị trí nghi ngờ những vị trí giả mạo của chữ ký

Bỡi Lê, Quang Thiên

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Thủ Dầu Một

Liên kết dữ liệu

Tìm kiếm hẹp