пошук книг
книги
Підтримати
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
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
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×