Aller au contenu
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
    • Монгол
Recherche avancée
  • Recent developments in FDR
  • Citer
  • Envoyer par SMS
  • Envoyer par courriel
  • Imprimer
  • Exporter les notices
    • Exporter vers RefWorks
    • Exporter vers EndNoteWeb
    • Exporter vers EndNote
  • Permalien
Recent developments in FDR

Recent developments in FDR

Afficher d'autres versions (3)
Détails bibliographiques
Auteurs principaux: Armstrong, P, Goldsmith, M, Lowe, G, Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J
Format: Conference item
Publié: Springer Berlin/Heidelberg 2012
  • Exemplaires
  • Description
  • Autres Versions (3)
  • Documents similaires
  • Affichage MARC

Documents similaires

  • Recent developments in FDR
    par: Armstrong, P, et autres
    Publié: (2012)
  • Recent developments in FDR
    par: Armstrong, P, et autres
    Publié: (2012)
  • Recent Developments in FDR
    par: Armstrong, P, et autres
    Publié: (2012)
  • Faster FDR Counterexample Generation Using SAT−Solving
    par: Palikareva, H, et autres
    Publié: (2009)
  • FDR2 user manual
    par: Gardiner, P, et autres
    Publié: (2000)

Options de recherche

  • Historique de recherche
  • Recherche avancée

Autres modes de recherche

  • Parcourir le catalogue
  • Parcours alphabétique
  • Explorer avec les canaux
  • Exemplaires mis en réserve pour un cours
  • Nouveautés

Besoin d'aide ?

  • Astuces pour la recherche
  • Contacter un bibliothécaire
  • FAQ