Chuyển đến nội dung
VuFind
    • 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
    • हिंदी
    • Հայերէն
    • Українська
    • Sámegiella
    • Монгол
Nâng cao
  • Recent developments in FDR
  • Trích dẫn điều này
  • Văn bản này
  • Email này
  • In
  • Xuất bản ghi
    • Xuất tới RefWorks
    • Xuất tới EndNoteWeb
    • Xuất tới EndNote
  • Liên kết dài hạn
Recent developments in FDR

Recent developments in FDR

Hiển thị phiên bản (3) khác
Chi tiết về thư mục
Những tác giả chính: Armstrong, P, Goldsmith, M, Lowe, G, Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J
Định dạng: Conference item
Được phát hành: Springer Berlin/Heidelberg 2012
  • Đang giữ
  • Miêu tả
  • Phiên bản (3) khác
  • Những quyển sách tương tự
  • Chế độ xem nhân viên

Những quyển sách tương tự

  • Recent developments in FDR
    Bằng: Armstrong, P, et al.
    Được phát hành: (2012)
  • Recent developments in FDR
    Bằng: Armstrong, P, et al.
    Được phát hành: (2012)
  • Recent Developments in FDR
    Bằng: Armstrong, P, et al.
    Được phát hành: (2012)
  • Faster FDR Counterexample Generation Using SAT−Solving
    Bằng: Palikareva, H, et al.
    Được phát hành: (2009)
  • FDR2 user manual
    Bằng: Gardiner, P, et al.
    Được phát hành: (2000)

Tùy chọn tìm kiếm

  • Lịch sử tìm kiếm
  • Tìm kiếm nâng cao

Tìm thêm

  • Tìm theo Ca-ta-lô
  • Tìm theo thứ tự ABC
  • Khám phá kênh
  • Khóa học dự trữ
  • Sách mới

Cần giúp đỡ?

  • Mẹo tìm kiếm
  • Hỏi thủ thư
  • FAQs