Агуулга руу алгасах
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
    • Монгол
Дэлгэрэнгүй
  • Recent developments in FDR
  • Үүнийг ишлэх
  • Үүнийг мессежээр илгээх
  • Үүнийг цахим шуудангаар илгээх
  • Хэвлэх
  • Бүртгэлийг экспортлох
    • RefWorks руу экспортлох
    • EndNoteWeb руу экспортлох
    • EndNote руу экспортлох
  • Байнгын холбоос
Recent developments in FDR

Recent developments in FDR

Бусад хувилбаруудыг харуулах (3)
Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид: Armstrong, P, Goldsmith, M, Lowe, G, Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J
Формат: Conference item
Хэвлэсэн: Springer Berlin/Heidelberg 2012
  • Түр хойшлуулсан зүйлс
  • Тодорхойлолт
  • Бусад хувилбарууд (3)
  • Ижил төстэй зүйлс
  • Ажилтнуудыг харах
Тодорхойлолт
Тойм:

Ижил төстэй зүйлс

  • Recent developments in FDR
    -н: Armstrong, P, зэрэг
    Хэвлэсэн: (2012)
  • Recent developments in FDR
    -н: Armstrong, P, зэрэг
    Хэвлэсэн: (2012)
  • Recent Developments in FDR
    -н: Armstrong, P, зэрэг
    Хэвлэсэн: (2012)
  • Faster FDR Counterexample Generation Using SAT−Solving
    -н: Palikareva, H, зэрэг
    Хэвлэсэн: (2009)
  • FDR2 user manual
    -н: Gardiner, P, зэрэг
    Хэвлэсэн: (2000)

Хайлтын боломжууд

  • Хайлтын түүх
  • Дэлгэрэнгүй хайлт

Илүү ихийг хайх

  • Каталогийг дуудах
  • Үсгийн дарааллаар нь дуудах
  • Сувгуудыг судлах
  • Хичээлийн нөөц
  • Шинэ зүйлүүд

Тусламж хэрэгтэй?

  • Хайх зөвлөмжүүд
  • Номын санчаас асуух
  • Түгээмэл асуултууд