Đang hiển thị
1 - 1
kết quả của
1
cho tìm kiếm '
"New York City"
'
Chuyển đến nội dung
VuFind
Back to Portal
Ngôn ngữ
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
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
Tiêu đề
Tác giả
Chủ đề
Số hiệu
số ISBN/ISSN
Nhãn
Tìm kiếm
Nâng cao
Đặt lại bộ lọc
Chủ đề được đề xuất:
Computer modelling & simulation
Đặt lại bộ lọc
Hiển thị bộ lọc (1)
Chủ đề được đề xuất:
Computer modelling & simulation
Kết quả tìm kiếm - "New York City"
Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
Artificial intelligence
1
Computer modelling & simulation
Computer networking & communications
1
Computer science
1
Programming & scripting languages: general
1
Software Engineering
1
Đang hiển thị
1 - 1
kết quả của
1
cho tìm kiếm '
"New York City"
'
, thời gian truy vấn: 0.01s
Tinh chỉnh kết quả
Sắp xếp
Mức độ liên quan
Ngày giảm dần
Ngày tăng dần
Số cuộc gọi
Tác giả
Tiêu đề
1
Computer Aided Verification : 31st International Conference, CAV 2019,
New
York
City
, NY, USA, July 15-18, 2019, Proceedings, Part I
Được phát hành 2019
Số hiệu:
Đang tải…
Nằm:
Đang tải…
Get Fullteks
DOAB: description of the publication
Chương của sách
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
Trở lại
Tinh chỉnh kết quả
Tổ chức giáo dục
Directory of Open Access Books
1
Thư viện
DOAB
1
Định dạng
Chương của sách
1
Tác giả
Dillig, Isil
1
Tasiran, Serdar
1
Năm của ấn phẩm
Từ ngày:
Tới ngày: