Sysno
|
000124370
|
|
|
Název
|
Symbolic algebraic methods and verification methods / Eds. Götz Alefeld ; Jiří Rohn ; Siegfried Rump ; Tetsuro Yamamoto
|
|
|
Variantní název
|
SYMBOLIC
|
Popis
|
vi-ix, 266 s. Počet kusů 1
|
|
|
Naklad.údaje
|
Wien : Springer-Verlag, 2001.
|
OBJEDNEJTE SI:
|
Všechny jednotky
|
OBJEDNEJTE SI:
|
Ústav informatiky
|
|
|
Edice
|
Springer Mathematics
|
Jazyk
|
eng
|
ISBN
|
3-211-83593-8
|
MDT
|
519.67
|
|
|
|
|
|
|
VedlZ-osobní jm.
|
Yamamoto, Tetsuro
|
|
Alefeld, Götz
|
|
Rohn, Jiří
|
|
Rump, Siegfried
|
|
|
Vlastník záznamu
|
UIAA
|
Sigla
|
ABB076
|
Formát
|
BK
|
|
|
Číslo zázn.
|
000124370
|
|
|
Číslo 035
|
010057
|