REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Przeglądaj przez Autor Okazaki, Hiroyuki

Skocz do: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
lub wpisz kilka początkowych liter:  
Pokazuję rezultaty 1 do 20 z 51  Dalej >
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2015Algebra of Polynomially Bounded Sequences and Negligible FunctionsOkazaki, Hiroyuki--
2011Banach Algebra of Bounded Complex-Valued FunctionalsKanazashi, Katuhiko; Okazaki, Hiroyuki; Shidama, Yasunari--
2012Banach’s Continuous Inverse Theorem and Closed Graph TheoremSakurai, Hideki; Okazaki, Hiroyuki; Shidama, Yasunari--
2018Binary Representation of Natural NumbersOkazaki, Hiroyuki--
2011Cartesian Products of Family of Real Linear SpacesOkazaki, Hiroyuki; Endou, Noboru; Shidama, Yasunari--
2016Conservation Rules of Direct Sum Decomposition of GroupsNakasho, Kazuhisa; Yamazaki, Hiroshi; Okazaki, Hiroyuki; Shidama, Yasunari--
2013Constructing Binary Huffman TreeOkazaki, Hiroyuki; Futa, Yuichi; Shidama, Yasunari--
2015Definition and Properties of Direct Sum Decomposition of GroupsNakasho, Kazuhisa; Yamazaki, Hiroshi; Okazaki, Hiroyuki; Shidama, Yasunari--
2014Difference of Function on Vector Space over FArai, Kenichi; Wakabayashi, Ken; Okazaki, Hiroyuki--
2011Differentiable Functions into Real Normed SpacesOkazaki, Hiroyuki; Endou, Noboru; Narita, Keiko; Shidama, Yasunari--
2013Double Sequences and LimitsEndou, Noboru; Okazaki, Hiroyuki; Shidama, Yasunari--
2015Equivalent Expressions of Direct Sum Decomposition of GroupsNakasho, Kazuhisa; Okazaki, Hiroyuki; Yamazaki, Hiroshi; Shidama, Yasunari--
2012Extended Euclidean Algorithm and CRT AlgorithmOkazaki, Hiroyuki; Aoki, Yosiki; Shidama, Yasunari--
2021Finite Dimensional Real Normed Spaces are Proper Metric SpacesNakasho, Kazuhisa; Okazaki, Hiroyuki; Shidama, Yasunari--
2011Formalization of Integral Linear SpaceFuta, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari--
2022Formalization of Orthogonal Decomposition for Hilbert SpacesOkazaki, Hiroyuki--
2013Formalization of the Advanced Encryption Standard. Part IArai, Kenichi; Okazaki, Hiroyuki--
2012Formalization of the Data Encryption StandardOkazaki, Hiroyuki; Shidama, Yasunari--
2012Free Z-moduleFuta, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari--
2012Functional Space C(ω), C0(ω)Kanazashi, Katuhiko; Okazaki, Hiroyuki; Shidama, Yasunari--