Перейти до змісту
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
  • Цитувати
  • Відправити по sms
  • Відправити е-поштою
  • Друк
  • Експортувати запис
    • Екпортувати в 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)

Опції пошуку

  • Історія пошуку
  • Розширений пошук

Знайти більше

  • Перегляд каталогу
  • Перегляд за алфавітом
  • Дослідити зв'язки
  • Матеріали до курсів
  • Нові ресурси

Потрібна допомога?

  • Поради для пошуку
  • Запитати бібліотекаря
  • Часті запитання