Μετάβαση στο περιεχόμενο
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
  • Αποστολή με email
  • Εκτύπωση
  • Αποθήκευση
    • Αποθήκευση σε 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)

Επιλογές αναζήτησης

  • Ιστορικό αναζητήσεων
  • Σύνθετη αναζήτηση

Βρείτε περισσότερα

  • Περιήγηση στον κατάλογο
  • Περιήγηση αλφαβητικά
  • Ανακαλύψτε κανάλια
  • Δεσμευμένα για μαθήματα
  • Νέα τεκμήρια

Χρειάζεστε βοήθεια;

  • Συμβουλές αναζήτησης
  • Ερώτηση σε βιβλιοθηκονόμο
  • Ρωτήστε μας