Αποστολή με SMS :: UTM Library Massive Scholar Tracking

Μετάβαση στο περιεχόμενο

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
- Монгол

Σύνθετη

Proving safety with trace auto...
Αποστολή με SMS

Αποστολή με SMS: Proving safety with trace automata and bounded model checking

Αριθμός:

Πάροχος:

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

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

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

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

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

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