Suche nach Büchern
Bücher
Spenden
Einloggen
Einloggen
für autorisierte Benutzer stellen folgendes zur Verfügung:
Persönliche Empfehlungen
Telegram-Bot
Downloadverlauf
an E-Mail-Adresse oder Kindle senden
Bücherlisten verwalten
in Favoriten speichern
Persönlich
Suchanfrage nach dem Buch
Erkunden
Z-Recommend
Bücherlisten
Meistgefragt
Kategorien
Teilnahme
Spenden
Hochladen
Litera Library
Papierbücher spenden
Papierbücher hinzufügen
Search paper books
Mein LITERA Point
Suche nach den Begriffen
Main
Suche nach den Begriffen
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
Jahr:
2016
Sprache:
german
Datei:
PDF, 1.51 MB
Ihre Tags:
0
/
0
german, 2016
2
Theorie der logischen Programmierung: Eine elementare Einführung
Springer-Verlag Berlin Heidelberg
Prof. Dr. Peter H. Schmitt (auth.)
gilt
flir
menge
prolog
aile
beweissuchbaum
satz
beweis
formeln
formel
tiber
folgt
fiir
pfad
unifikator
1st
lemma
jedes
struktur
substitution
modell
wobei
gdw
variablen
herbrand
klauseln
klausel
aufgabe
zeigen
situationen
nieht
vokabular
wahr
existiert
kante
beispiel
erfolgreichen
heibt
strukturen
besitzt
element
folge
hornklauseln
knoten
somit
erfolglos
allgemeine
mub
allgemeinen
programming
Jahr:
1992
Sprache:
german
Datei:
PDF, 5.47 MB
Ihre Tags:
0
/
0
german, 1992
3
Die Atomionen Chemischer Elemente und Ihre Kanalstrahlen-Spektra
Springer-Verlag Berlin Heidelberg
Dr. J. Stark (auth.)
atomionen
positiven
kanalstrahlen
atom
elektronen
positive
stark
atome
atoms
atomion
chemischen
phys
strahlen
valenzelektronen
ionisierung
positiv
fiir
linien
negative
serienlinien
chemischer
geschwindigkeit
namlich
elektrischen
elektrolytischen
darum
kraftlinien
einwertigen
kraft
spektra
spektrum
stob
einwertige
element
indes
dreiwertige
dreiwertigen
elektrische
funkenspektrum
ladung
linie
vorkommen
zahl
auffassung
intensitat
zentren
besitzt
bewegten
elektron
grober
Jahr:
1913
Sprache:
german
Datei:
PDF, 2.22 MB
Ihre Tags:
0
/
0
german, 1913
1
Folgen Sie
diesem Link
oder finden Sie einen Bot "@BotFather" in Telegram
2
Senden Sie Befehl /newbot
3
Geben Sie den Namen für Ihren Bot an
4
Geben Sie den Benutzername für den Bot
5
Kopieren Sie die letzte Meldung von BotFather und fügen Sie hier ein
×
×