Chủ đề được đề xuất trong tìm kiếm của bạn.
Đang hiển thị 1,441 - 1,460 kết quả của 3,031 cho tìm kiếm '"logic"', thời gian truy vấn: 0.19s Tinh chỉnh kết quả
1441
Bồi dưỡng năng lực sáng tạo cho học sinh trung học cơ sở thông qua khai thác suy luận Logic từ các bài toán hình học phổ biến trong dạy học toán /
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Lưu vào danh sách
Đã lưu trong:
1442
Bồi dưỡng năng lực sáng tạo cho học sinh trung học cơ sở thông qua khai thác suy luận logic từ các bài toán hình học phổ biến trong dạy học toán.
Bỡi Phan, Anh, TS.
Được phát hành 2019
Những chủ đề: “...Suy luận logic...”
Thư viện lưu trữ: Trung tâm Học liệu và E-Learning, Trường Đại học Sư phạm – Đại học Đà Nẵng
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1443
Principles of Programming Languages
Bỡi Dowek, Gilles
Đượ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
Lưu vào danh sách
Đã lưu trong:
1444
Program Analysis and Compilation, Theory and Practice
Bỡi Reps, Thomas, Sagiv, Mooly, Bauer, Jörg
Đượ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
Lưu vào danh sách
Đã lưu trong:
1445
Computer Safety, Reliability, and Security
Bỡi Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann
Đượ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
Lưu vào danh sách
Đã lưu trong:
1446
Compiler Construction
Bỡi Hendren, Laurie
Đượ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
Lưu vào danh sách
Đã lưu trong:
1447
Unifying Theories of Programming
Bỡi Bowen, Jonathan P., Zhu, Huibiao
Đượ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
Lưu vào danh sách
Đã lưu trong:
1448
Fundamentals of Computation Theory
Đượ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
Lưu vào danh sách
Đã lưu trong:
1449
Value-Range Analysis of C Programs
Bỡi Simon, Axel
Đượ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
Lưu vào danh sách
Đã lưu trong:
1450
Computer Safety, Reliability, and Security
Bỡi Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann
Đượ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
Lưu vào danh sách
Đã lưu trong:
1451
Compiler Construction
Đượ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
Lưu vào danh sách
Đã lưu trong:
1452
Practical Aspects of Declarative Languages
Bỡi Calimeri, Francesco, Hamlen, Kevin, Leone, Nicola
Đượ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
Lưu vào danh sách
Đã lưu trong:
1453
Computer Science – Theory and Applications
Bỡi Fomin, Fedor V., Podolskii, Vladimir V.
Đượ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
Lưu vào danh sách
Đã lưu trong:
1454
Multiparadigm Programming in Mozart/Oz
Đượ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
Lưu vào danh sách
Đã lưu trong:
1455
Critical Systems: Formal Methods and Automated Verification
Bỡi Petrucci, Laure, Seceleanu, Cristina, Cavalcanti, Ana
Đượ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
Lưu vào danh sách
Đã lưu trong:
1456
Communicating Sequential Processes. The First 25 Years
Đượ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
Lưu vào danh sách
Đã lưu trong:
1457
Theoretical Aspects of Computing – ICTAC 2017
Bỡi Hung, Dang Van, Kapur, Deepak
Đượ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
Lưu vào danh sách
Đã lưu trong:
1458
Learning and Intelligent Optimization
Bỡi Battiti, Roberto, Kvasov, Dmitri E., Sergeyev, Yaroslav D.
Đượ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
Lưu vào danh sách
Đã lưu trong:
1459
Theoretical Aspects of Computing – ICTAC 2018
Bỡi Fischer, Bernd, Uustalu, Tarmo
Đượ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
Lưu vào danh sách
Đã lưu trong:
1460
Compiler Construction
Bỡi Krishnamurthi, Shriram, Odersky, Martin
Đượ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
Lưu vào danh sách
Đã lưu trong:
Công cụ tìm kiếm: Nhận nguồn cấp dữ liệu RSS — Tìm kiếm email này — Lưu tìm kiếm