kitap ara
kitaplar
Destekle
Giriş yap
Giriş yap
giriş yapıldıktan sonra kullanıcılar aşağıdakileri kullanılabilir:
kişisel Tavsiyeler
Telegram botu
indirme geçmişi
E-posta'ya veya Kindle'e gönder
koleksiyon yönetimi
favorilere kaydet
Kişisel
Kitap istekleri
Keşfet
Z-Recommend
Kitap seçimi
En popüler
Kategoriler
Bağış
Destekle
Yüklenilenler
Litera Library
Kağıt kitapları bağış yapın
Basılı kitaplar ekleyin
Search paper books
Benim LITERA Point
Anahtar kelime araması
Main
Anahtar kelime araması
search
1
Testmustergenerierung und Fehlersimulation in digitalen Schaltungen mit hoher Komplexität
Springer-Verlag Berlin Heidelberg
Michael H. Schulz (auth.)
fanout
fehlersimulation
signal
schaltung
fehler
testmustergenerierung
bild
wert
schaltungen
zahl
menge
logischen
verfahren
wertzuweisung
testmuster
proceedings
d.h
deterministischen
objectives
signale
fault
implikationen
prozedur
knoten
gatter
zonen
fanoutfreien
zwingend
seiten
entsprechend
wertzuweisungen
falls
automatischen
werte
bzw
socrates
sensibilisierungsmabnahmen
stamme
entscheidungsbaum
besteht
somit
durchfiihrung
urn
rahmen
anwendung
backtracking
bezeichnet
ergebnisse
notwendigen
signals
Yıl:
1988
Dil:
german
Dosya:
PDF, 8.85 MB
Etiketleriniz:
0
/
0
german, 1988
2
Die Programmierungssprachen Pascal und Algol 68
De Gruyter
Karl-Heinz Bachmann
wert
elementaraktionen
algol
typ
pascal
menge
elementaraktion
belegung
vgl
werte
zeichen
hinweis
programm
belegt
bezeichnet
abstrakten
darstellung
abb
verarbeitungsautomaten
notiert
dargestellt
bzw
proc
verwendet
wobei
erzeugung
werten
programmierungssprache
folge
ausgabe
automaten
typs
benutzt
stapel
beispiel
typen
parameter
daher
enthalten
mengen
programms
integer
zahl
anweisung
hinweise
ausdruck
char
einheit
goto
prozedur
Yıl:
1977
Dil:
german
Dosya:
PDF, 66.95 MB
Etiketleriniz:
0
/
0
german, 1977
3
Programmverifikation: Sequentielle, parallele und verteilte Programme
Springer-Verlag Berlin Heidelberg
Prof. Dr. Krzysztof R. Apt
,
Prof. Dr. Ernst-Rüdiger Olderog (auth.)
programme
korrektheit
gilt
programm
komponenten
variablen
lemma
programmen
parallele
beispiel
fiir
wobei
beweis
parallelen
integer
semantik
beweissystem
beweisen
totale
betrachten
zeigen
beweisskizzen
folgende
partielle
folgt
urn
beweisskizze
false
zustand
anweisung
freiheit
abschnitt
programms
berechnung
falls
aufgabe
komposition
interferenz
await
zusicherungen
komponente
deadlock
verifikation
anweisungen
korrektheitsformel
benutzen
oddtop
regeln
erhalten
standard
Yıl:
1994
Dil:
german
Dosya:
PDF, 5.39 MB
Etiketleriniz:
0
/
0
german, 1994
1
Bu bağlantıyı
takip edin veya Telegram'da @BotFather botunu arayın
2
Ona /newbot gönder
3
Botunuz için bir ad girin
4
Bot için kullanıcı adını belirtin
5
BotFather'dan gelen son mesajı kopyalayın ve buraya yapıştırın
×
×