αναζήτηση βιβλίων
βιβλία
Υποστήριξη
Σύνδεση
Σύνδεση
Σε εξουσιοδοτημένους χρήστες είναι διαθέσιμα:
προσωπικές συστάσεις
Telegram bot
ιστορία λήψεων
αποστολή στο Email ή Kindle
διαχείριση λιστών βιβλίων
αποθήκευση στα αγαπημένα
Προσωπικά
Αιτήματα βιβλίων
Εξερευνήστε
Z-Recommend
Λίστες βιβλίων
Τα πιο δημοφιλή
Κατηγορίες
Συμμετοχή
Υποστήριξη
Μεταφορτώσεις
Litera Library
Δωρεά χάρτινων βιβλίων
Προσθήκη χάρτινων βιβλίων
Search paper books
Το LITERA Point μου
Αναζήτηση λέξεων κλειδιών
Main
Αναζήτηση λέξεων κλειδιών
search
1
Petri-Netz-Methoden und -Werkzeuge: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen
Springer-Verlag Berlin Heidelberg
M. Leszak
,
H. Eggert (auth.)
transition
netz
petri
transitionen
component
markierung
menge
netzes
d.h
netze
nieht
bzw
schalten
transitions
substitution
graph
scc
z.b
abb
prt
deadlock
marking
ffir
seiten
variablen
erreichbarkeits
task
firable
tick
markierungen
netzen
werkzeuge
klassifikation
beispiel
definiert
fifo
spezifikation
weakly
werkzeug
knoten
gilt
nodes
prover
infinitely
simulation
node
realisiert
urn
parameter
aile
Έτος:
1989
Γλώσσα:
german
Αρχείο:
PDF, 12.96 MB
Οι ετικέτες (tags) σας:
0
/
0
german, 1989
1
Ακολουθήστε
αυτόν τον σύνδεσμο
ή αναζητήστε το bot "@BotFather" στο Telegram
2
Στείλτε την εντολή /newbot
3
Εισάγετε ένα όνομα για το chatbot σας
4
Εισάγετε ένα όνομα χρήστη για το bot
5
Αντιγράψτε το τελευταίο μήνυμα από τον BotFather και επικολλήστε το εδώ
×
×