도서 검색
책
기부
로그인
로그인
로그인한 사용자가 사용할 수 있는 것:
개인적 권고 사항
Telegram 봇
다운로드 기록
Email 혹은 Kindle로 전송하기
선택 목록 관리
즐겨찾기에 저장하기
개인
책 요청
연구
Z-Recommend
책 목록
가장 인기 있는
카테고리
참여
기부
업로드
Litera Library
종이책 기부하기
종이책 추가하기
Search paper books
나의 LITERA Point
핵심어 검색
Main
핵심어 검색
search
1
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Springer International Publishing
David M. Russinoff
lemma
expo
rtz
2expo
rounding
rne
bool
lemmas
floating
flags
implies
zero
assume
shift
expa
fma
computation
precision
vector
sign
bits
encoding
rto
denormal
function
bias
integer
operand
fmt
square
acl2
addition
otherwise
exponent
arithmetic
sgn
sigp
sumshft
vectors
rna
expshft
expp
suppose
radix
expl
operation
operations
1sig
stk
exception
년:
2019
언어:
english
파일:
PDF, 3.56 MB
개인 태그:
0
/
0
english, 2019
2
Formal verification of floating-point hardware design : a mathematical approach
David Russinoff
lemma
expo
rtz
2expo
rounding
rne
lemmas
implies
floating
assume
integer
computation
bits
vector
function
encoding
precision
otherwise
rto
bias
shift
σi
addition
radix
denormal
suppose
sumshft
arithmetic
square
acl2
sigp
clz
operation
zero
fma
vectors
srt
values
operand
operations
cases
sgn
quotient
sect
computed
fmt
rna
sign
expshft
adder
년:
2022
언어:
english
파일:
PDF, 4.86 MB
개인 태그:
0
/
0
english, 2022
3
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach, 2nd Edition
Springer
David M. Russinoff
lemma
expo
rtz
2expo
rounding
rne
lemmas
implies
floating
assume
integer
computation
bits
vector
function
encoding
precision
otherwise
rto
bias
shift
σi
addition
radix
denormal
suppose
sumshft
arithmetic
square
acl2
sigp
clz
operation
zero
fma
vectors
srt
values
operand
operations
cases
sgn
quotient
sect
computed
expshft
fmt
rna
sign
adder
년:
2022
언어:
english
파일:
PDF, 4.86 MB
개인 태그:
0
/
5.0
english, 2022
1
이 링크로
이동하시거나 Telegram에서 "@BotFather" 봇을 찾으십시오
2
/newbot 명령을 발송하십시오
3
사용자님의 봇의 이름을 명시하십시오
4
봇의 사용자 이름을 명시하십시오
5
BotFather로부터 받으신 마지막 메시지를 복사하여 여기에 붙여넣기를 하십시오
×
×