Đang hiển thị
1 - 6
kết quả của
6
cho tìm kiếm '
'
Chuyển đến nội dung
VuFind
Tài khoản của bạn
Đăng xuất
Đăng nhập tổ chức
Ngôn ngữ
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português (Brasil)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Tất cả các trường
Tác giả
Tiêu đề
Tiêu đề tạp chí
Chủ đề
số ISBN/ISSN
Nhãn
Tìm kiếm
Nâng cao
Đặt lại bộ lọc
Chủ đề:
Computer logic
Đặt lại bộ lọc
Hiển thị bộ lọc (1)
Chủ đề:
Computer logic
Kết quả tìm kiếm
Đang hiển thị
1 - 6
kết quả của
6
cho tìm kiếm '
'
, thời gian truy vấn: 0.10s
Tinh chỉnh kết quả
Kết quả mỗi trang
10
20
40
60
80
100
Sắp xếp
Mức độ liên quan
Ngày giảm dần
Ngày tăng dần
Tác giả
Tiêu đề
Danh sách
Lưới
Đang tải...
Computer Aided Verification
lấy văn bản
Đang tải...
Computer Aided Verification
lấy văn bản
Đang tải...
Computer Aided Verification
lấy văn bản
Đang tải...
Tools and Algorithms for the Construction and Analysis of Systems
lấy văn bản
Đang tải...
Tools and Algorithms for the Construction and Analysis of Systems
lấy văn bản
Đang tải...
Tools and Algorithms for the Construction and Analysis of Systems
lấy văn bản
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
Trở lại
Tìm kiếm hẹp
Tổ chức giáo dục
DOAB
6
Loại trừ kết quả phù hợp
Bộ sưu tập
Directory of Open Access Books
6
Loại trừ kết quả phù hợp
Định dạng
Livro
6
Loại trừ kết quả phù hợp
Tác giả
Chockler, Hana
2
Loại trừ kết quả phù hợp
Vojnar, Tomáš
2
Loại trừ kết quả phù hợp
Weissenbacher, Georg
2
Loại trừ kết quả phù hợp
Zhang, Lijun
2
Loại trừ kết quả phù hợp
Beyer, Dirk
1
Loại trừ kết quả phù hợp
Dillig, Isil
1
Loại trừ kết quả phù hợp
hơn ...
Huisman, Marieke
1
Loại trừ kết quả phù hợp
Kordon, Fabrice
1
Loại trừ kết quả phù hợp
Steffen, Bernhard
1
Loại trừ kết quả phù hợp
Tasiran, Serdar
1
Loại trừ kết quả phù hợp
Xem tất cả ...
ít hơn ...
Chủ đề
Computer logic
Computer science
6
Loại trừ kết quả phù hợp
Mathematical logic
6
Loại trừ kết quả phù hợp
Software engineering
6
Loại trừ kết quả phù hợp
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
6
Loại trừ kết quả phù hợp
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
6
Loại trừ kết quả phù hợp
hơn ...
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
6
Loại trừ kết quả phù hợp
Artificial intelligence
5
Loại trừ kết quả phù hợp
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
5
Loại trừ kết quả phù hợp
Algorithms
3
Loại trừ kết quả phù hợp
Computer simulation
3
Loại trừ kết quả phù hợp
Computer system failures
3
Loại trừ kết quả phù hợp
Computers
3
Loại trừ kết quả phù hợp
thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics
3
Loại trừ kết quả phù hợp
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
3
Loại trừ kết quả phù hợp
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
3
Loại trừ kết quả phù hợp
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
3
Loại trừ kết quả phù hợp
Logic design
1
Loại trừ kết quả phù hợp
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design
1
Loại trừ kết quả phù hợp
Xem tất cả ...
ít hơn ...
Ngôn ngữ
Inglês
6
Loại trừ kết quả phù hợp
Năm của ấn phẩm
Từ ngày:
Tới ngày:
Năm của ấn phẩm
Dọn dẹp
×
Đang tải...