Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Odsłon pozycji:
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2012 | Higher-Order Partial Differentiation | Endou, Noboru; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2012 | Free Z-module | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2014 | Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module | Nakasho, Kazuhisa; Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2014 | Difference of Function on Vector Space over F | Arai, Kenichi; Wakabayashi, Ken; Okazaki, Hiroyuki | - | - |
2012 | Formalization of the Data Encryption Standard | Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2012 | Quotient Module of Z-module | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2013 | Formalization of the Advanced Encryption Standard. Part I | Arai, Kenichi; Okazaki, Hiroyuki | - | - |
2015 | Definition and Properties of Direct Sum Decomposition of Groups | Nakasho, Kazuhisa; Yamazaki, Hiroshi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2013 | Isomorphisms of Direct Products of Finite Commutative Groups | Okazaki, Hiroyuki; Yamazaki, Hiroshi; Shidama, Yasunari | - | - |
2011 | Normal Subgroup of Product of Groups | Okazaki, Hiroyuki; Arai, Kenichi; Shidama, Yasunari | - | - |
Odkryj
Temat