Przejdź do treści
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
    • Монгол
Wyszukiwanie zaawansowane
  • Recent developments in FDR
  • Cytować
  • Wyślij wiadomość
  • Wyślij emailem
  • Drukuj
  • Eksportuj rekord
    • Eksportuj do RefWorks
    • Eksportuj do EndNoteWeb
    • Eksportuj do EndNote
  • Odnośnik bezpośredni
Recent developments in FDR

Recent developments in FDR

Pokaż inne wersje (3)
Opis bibliograficzny
Główni autorzy: Armstrong, P, Goldsmith, M, Lowe, G, Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J
Format: Conference item
Wydane: Springer Berlin/Heidelberg 2012
  • Egzemplarz
  • Opis
  • Inne wersje (3)
  • Podobne zapisy
  • Wersja MARC

Podobne zapisy

  • Recent developments in FDR
    od: Armstrong, P, i wsp.
    Wydane: (2012)
  • Recent developments in FDR
    od: Armstrong, P, i wsp.
    Wydane: (2012)
  • Recent Developments in FDR
    od: Armstrong, P, i wsp.
    Wydane: (2012)
  • Faster FDR Counterexample Generation Using SAT−Solving
    od: Palikareva, H, i wsp.
    Wydane: (2009)
  • FDR2 user manual
    od: Gardiner, P, i wsp.
    Wydane: (2000)

Opcje wyszukiwania

  • Historia wyszukiwania
  • Wyszukiwanie zaawansowane

Dalsze opcje

  • Przeglądaj katalog
  • Przeglądaj alfabetycznie
  • Przeglądaj kanały
  • Aparaty semestralne
  • Nowe nabytki

Pomoc

  • Wskazówka do wyszukiwania
  • Zapytaj bibliotekarza
  • Często zadawane pytania