모금 9월 15일 2024 – 10월 1일 2024
모금에 대해서
도서 검색
책
모금:
67.8% 도달
로그인
로그인
로그인한 사용자가 사용할 수 있는 것:
개인적 권고 사항
Telegram 봇
다운로드 기록
Email 혹은 Kindle로 전송하기
선택 목록 관리
즐겨찾기에 저장하기
개인
책 요청
연구
Z-Recommend
책 목록
가장 인기 있는
카테고리
참여
기부
업로드
Litera Library
종이책 기부하기
종이책 추가하기
Search paper books
나의 LITERA Point
핵심어 검색
Main
핵심어 검색
search
1
Software-Zuverlässigkeit: Grundlagen Konstruktive Maßnahmen Nachweisverfahren
Springer-Verlag Berlin Heidelberg
(auth.)
programm
nieht
flir
fehler
urn
bild
beispiel
bzw
daten
zuverlassigkeit
programms
tiber
mub
vorbedingung
nachbedingung
soli
methoden
tests
gilt
moduln
funktion
wahr
regeln
korrektheit
aile
wert
programmierung
bedingung
modell
schleife
beweisregel
sieh
wahrend
anforderungsspezifikation
anforderungen
anwendung
fiir
siehe
versagen
versagensrate
variablen
anzahl
integer
kohasion
seiten
folgenden
nachweis
eigenschaften
mabnahmen
verfahren
년:
1993
언어:
german
파일:
PDF, 6.84 MB
개인 태그:
0
/
0
german, 1993
2
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Springer-Verlag Berlin Heidelberg
Werner Damm (auth.)
memory
modify
hex
operation
primaryfile
interrupt
accu
ausführung
mikrooperationen
bzw
spezifikation
abbildung
programcounter
beispiel
architektur
vgl
abb
somit
buffer
select
instructionreg
menge
typ
beschreibung
aadl
falls
false
nachbedingung
seiten
verwendung
operationen
speicherelemente
flag
startof
befehls
verifikation
mikrooperation
folgenden
microdata
sources
implementierung
function
zero
definiert
insbesondere
sämtliche
abschnitt
modification
wert
substitution
년:
1987
언어:
german
파일:
PDF, 7.96 MB
개인 태그:
0
/
0
german, 1987
3
Wahrheitserforschung im Strafprozeß: Methoden der Sachverhaltsaufklärung
De Gruyter
Wolfgang Käßer
wirklichkeit
richter
wahrheit
vgl
erkenntnis
erfahrung
theorie
wahrscheinlichkeit
stpo
beweiswürdigung
überzeugung
berlin
theorien
rechtsprechung
aufl
erkenntnismittel
strafprozessuale
abs
richters
begriff
evidenz
hierzu
prozeß
richterliche
empirischen
lebenserfahrung
erfahrungen
richterlichen
strafprozeß
logik
bereich
verfahren
erfahrungssätze
subjektive
beweisregeln
empirische
insbesondere
ähnlich
möglichkeit
tatbestand
urteil
angeklagten
lernen
faktoren
indizien
kaufmann
sicherheit
vielmehr
aussage
entscheidungsfindung
년:
1974
언어:
german
파일:
PDF, 9.12 MB
개인 태그:
0
/
0
german, 1974
1
이 링크로
이동하시거나 Telegram에서 "@BotFather" 봇을 찾으십시오
2
/newbot 명령을 발송하십시오
3
사용자님의 봇의 이름을 명시하십시오
4
봇의 사용자 이름을 명시하십시오
5
BotFather로부터 받으신 마지막 메시지를 복사하여 여기에 붙여넣기를 하십시오
×
×