Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Rezultaty 331-340 z 515 (Czas wyszukiwania: 0.002 sekund).
Odsłon pozycji:
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 2013 | Formalization of the Advanced Encryption Standard. Part I | Arai, Kenichi; Okazaki, Hiroyuki | - | - |
| 2012 | The Borsuk-Ulam Theorem | Korniłowicz, Artur; Riccardi, Marco | - | - |
| 2012 | Quotient Module of Z-module | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
| 2012 | Riemann Integral of Functions from R into n-dimensional Real Normed Space | Miyajima, Keiichi; Korniłowicz, Artur; Shidama, Yasunari | - | - |
| 2010 | Sperner's Lemma | Pąk, Karol | - | - |
| 2010 | On the Continuity of Some Functions | Korniłowicz, Artur | - | - |
| 2012 | Transition of Consistency and Satisfiability under Language Extensions | Schlöder, Julian J.; Koepke, Peter | - | - |
| 2010 | The Sum and Product of Finite Sequences of Complex Numbers | Miyajima, Keiichi; Kato, Takahiro | - | - |
| 2010 | Miscellaneous Facts about Open Functions and Continuous Functions | Korniłowicz, Artur | - | - |
| 2011 | More on Continuous Functions on Normed Linear Spaces | Okazaki, Hiroyuki; Endou, Noboru; Shidama, Yasunari | - | - |
