W BIAŁYMSTOKU
Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Rezultaty 371-380 z 515 (Czas wyszukiwania: 0.002 sekund).
Odsłon pozycji:
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 2014 | The Formalization of Decision-Free Petri Net | Shah, Pratima K.; Kawamoto, Pauline N.; Giero, Mariusz | - | - |
| 2014 | Semiring of Sets: Examples | Coghetto, Roland | - | - |
| 2011 | Sorting by Exchanging | Bancerek, Grzegorz | - | - |
| 2011 | Conway's Games and Some of their Basic Properties | Nittka, Robin | - | - |
| 2011 | Linear Transformations of Euclidean Topological Spaces | Pąk, Karol | - | - |
| 2011 | Set of Points on Elliptic Curve in Projective Coordinates | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
| 2011 | Brouwer Fixed Point Theorem for Simplexes | Pąk, Karol | - | - |
| 2011 | Continuity of Barycentric Coordinates in Euclidean Topological Spaces | Pąk, Karol | - | - |
| 2011 | Banach Algebra of Bounded Complex-Valued Functionals | Kanazashi, Katuhiko; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
| 2011 | The Axiomatization of Propositional Linear Time Temporal Logic | Giero, Mariusz | - | - |