Přeskočit na obsah
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
    • Монгол
Pokročilé
  • Recent developments in FDR
  • Vytvořit citaci
  • Zaslat SMS
  • Poslat e-mailem
  • Vytisknout
  • Exportovat záznam
    • Exportovat do RefWorks
    • Exportovat do EndNoteWeb
    • Exportovat do EndNote
  • Trvalý odkaz
Recent developments in FDR

Recent developments in FDR

Zobrazit další vydání (3)
Podrobná bibliografie
Hlavní autoři: Armstrong, P, Goldsmith, M, Lowe, G, Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J
Médium: Conference item
Vydáno: Springer Berlin/Heidelberg 2012
  • Jednotky
  • Popis
  • Další vydání (3)
  • Podobné jednotky
  • UNIMARC/MARC

Podobné jednotky

  • Recent developments in FDR
    Autor: Armstrong, P, a další
    Vydáno: (2012)
  • Recent developments in FDR
    Autor: Armstrong, P, a další
    Vydáno: (2012)
  • Recent Developments in FDR
    Autor: Armstrong, P, a další
    Vydáno: (2012)
  • Faster FDR Counterexample Generation Using SAT−Solving
    Autor: Palikareva, H, a další
    Vydáno: (2009)
  • FDR2 user manual
    Autor: Gardiner, P, a další
    Vydáno: (2000)

Možnosti vyhledávání

  • Historie vyhledávání
  • Pokročilé vyhledávání

Objevte více

  • Procházení katalogu
  • Abecední procházení
  • Grafické procházení katalogu
  • Rezervace kurzů
  • Nové tituly v katalogu

Hledáte pomoc?

  • Tipy pro vyhledávání
  • Zeptejte se knihovníka
  • Často kladené otázky