Formalized Mathematics, 2013, Volume 21, Issue 1
: [7]
Strona glówna kolekcji
Zobacz statystyki
Spis treści/Content
- Bancerek, Grzegorz
Analysis of Algorithms: An Example of a Sort Algorithm - Kanazashi, Katuhiko / Okazaki, Hiroyuki / Shidama, Yasunari
The Ck Space - Okazaki, Hiroyuki / Shidama, Yasunari
Random Variables and Product of Probability Spaces - Bancerek, Grzegorz
Semantics of MML Query - Ordering - Rowinska-Schwarzweller, Agnieszka / Schwarzweller, Christoph
A Test for the Stability of Networks - Grabowski, Adam
Relational Formal Characterization of Rough Sets - Okazaki, Hiroyuki / Yamazaki, Hiroshi / Shidama, Yasunari
Isomorphisms of Direct Products of Finite Commutative Groups
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 7 z 7
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2013 | Semantics of MML Query - Ordering | Bancerek, Grzegorz | - | - |
2013 | Isomorphisms of Direct Products of Finite Commutative Groups | Okazaki, Hiroyuki; Yamazaki, Hiroshi; Shidama, Yasunari | - | - |
2013 | A Test for the Stability of Networks | Rowinska-Schwarzweller, Agnieszka; Schwarzweller, Christoph | - | - |
2013 | Relational Formal Characterization of Rough Sets | Grabowski, Adam | - | - |
2013 | The Ck Space | Kanazashi, Katuhiko; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2013 | Analysis of Algorithms: An Example of a Sort Algorithm | Bancerek, Grzegorz | - | - |
2013 | Random Variables and Product of Probability Spaces | Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 7 z 7