αναζήτηση βιβλίων
βιβλία
Υποστήριξη
Σύνδεση
Σύνδεση
Σε εξουσιοδοτημένους χρήστες είναι διαθέσιμα:
προσωπικές συστάσεις
Telegram bot
ιστορία λήψεων
αποστολή στο Email ή Kindle
διαχείριση λιστών βιβλίων
αποθήκευση στα αγαπημένα
Προσωπικά
Αιτήματα βιβλίων
Εξερευνήστε
Z-Recommend
Λίστες βιβλίων
Τα πιο δημοφιλή
Κατηγορίες
Συμμετοχή
Υποστήριξη
Μεταφορτώσεις
Litera Library
Δωρεά χάρτινων βιβλίων
Προσθήκη χάρτινων βιβλίων
Search paper books
Το LITERA Point μου
Αναζήτηση λέξεων κλειδιών
Main
Αναζήτηση λέξεων κλειδιών
search
1
Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen für asynchrone Prozesse
Springer Vieweg
Malte Schmitz (auth.)
ϕ
formel
proposition
propositionen
agenten
fdtl
semantik
definition
menge
automaten
ptltl
zustand
monitor
monitore
gilt
verwendet
büchi
ltl3
beispiel
automat
sodass
dtl
formeln
ausgabe
zeichen
enthält
lauf
dreiwertigen
entfernten
monitors
definiert
quelltext
folgenden
teilformeln
auswertung
funktion
monitorkonstruktion
zustände
nachricht
automatenmodell
endlichen
operatoren
false
fsdtl
monitorgenerierung
dreiwertige
teilformel
systems
nachrichten
abbildung
Έτος:
2016
Γλώσσα:
german
Αρχείο:
PDF, 1.51 MB
Οι ετικέτες (tags) σας:
0
/
0
german, 2016
1
Ακολουθήστε
αυτόν τον σύνδεσμο
ή αναζητήστε το bot "@BotFather" στο Telegram
2
Στείλτε την εντολή /newbot
3
Εισάγετε ένα όνομα για το chatbot σας
4
Εισάγετε ένα όνομα χρήστη για το bot
5
Αντιγράψτε το τελευταίο μήνυμα από τον BotFather και επικολλήστε το εδώ
×
×