Informujemy, że od dnia 11 marca 2025 r. wszystkie książki wydane do 1939 r. z zasobów Biblioteki Humanistyczno Społecznej im. Andrzeja Wyczańskiego (WHS) dostępne są wyłącznie w czytelni Biblioteki Głównej (ul. Ciołkowskiego 1R, kampus Uniwersytetu w Białymstoku).
 
Katal. Centralny UWB
Zaloguj
Moje konto
Preferencje
Bazy
Nowości w katalogu CEN
Pomoc
Bazy Online
Indeksy
Wyszukaj
Lista wyników
Poprzednie wyszukiwania
Moja e-półka
Wykaz działów
Strona Biblioteki
 
  Wybrane rekordy:  Wybrany widok  |  Zapisz/wyślij  |  Utwórz podzestaw  |  Zapisz na serwerze  |  Filtr  
  Cały zestaw:  Zaznacz wszystko  |  Odznacz  |  Waga słów  |  Zawęź  |  Dodaj do Mojej e-półki  |   


nazw osobowych Poprzedni Okawara, Mami Hiraike.
Bieżący Okazaki, Hiroyuki.
Następny Okazaki, Krystyna ( -2008).

Wyniki dla Okazaki, Hiroyuki.; sortowanie wg tytułu, potem roku
Opcje sortowania: autora, potem rautora, potem rroku, potem autroku, potem autautora, potem ttytułu, potem tytułu, potemroku, potem tytsygn. potem rokart. potem tyt.
Opcje formatowania :  Ustaw format 951 dla zestawu rekordów 951 Ustaw format 951 dla zestawu rekordów 952 Ustaw format widok skrócony-tabela dla zestawu rekordów 953 Ustaw format 953 dla zestawu rekordów Widok skrócony-tabela
Rekordy 1 - 17 z 17 (maksymalna ilość wyświetlonych i sortowanych rekordów to 6000)  

 
 
No Previous Page   No Next Page
#
Autor Tytuł Rok wyd. Lokalizacja   [?] Artykuł w: Pełny tekst
1
Kanazashi, Katuhiko. Banach algebra of bounded complex-valued functionals / Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama. 2011 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 19, 2 (2011), s. 121-126
2
Okazaki, Hiroyuki. Cartesian products of family of real linear spaces / Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama. 2011 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 19, 1 (2011), s. 51-59
3
Okazaki, Hiroyuki. Differentiable functions into real normed spaces / Hiroyuki Okazaki, Noboru Endou, Keiko Narita, Yasunari Shidama. 2011 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 19, 2 (2011), s. 69-72
4
Futa, Yuichi. Formalization of integral linear space / Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama. 2011 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 19, 1 (2011), s. 61-64
5
Kanazashi, Katuhiko. Functional Space C(Ω), C0(Ω) / Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama. 2012 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 20, 1 (2012), s. 15-22
6
Endou, Noboru. Hopf extension theorem of measure / Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama. 2009 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 17, 2 (2009), s. 157-162
7
Yamazaki, Hiroshi. Inferior limit, superior limit and convergence of sequences of extended real numbers / Hiroshi Yamazaki, Noboru Endou, Yasunari Shidama, Hiroyuki Okazaki. 2007 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 15, 4 (2007), s. 231-235
8
Okazaki, Hiroyuki. More on continuous functions on normed linear spaces / Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama. 2011 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 19, 1 (2011), s. 45-49
9
Okazaki, Hiroyuki. Normal subgroup of product of groups / Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama. 2011 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 19, 1 (2011), s. 23-26
10
Futa, Yuichi. Operations of points on elliptic curve in projective coordinates / Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Mizushima. 2012 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 20, 1 (2012), s. 87-95
11
Okazaki, Hiroyuki. Probability measure on discrete spaces and algebra of real-valued random variables / Hiroyuki Okazaki, Yasunari Shidama. 2010 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 18, 4 (2010), s. 213-217
12
Okazaki, Hiroyuki. Probability on finite and discrete set and uniform distribution / Hiroyuki Okazaki. 2009 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 17, 2 (2009), s. 173-178
13
Okazaki, Hiroyuki. Probability on finite set and real-valued random variables / Hiroyuki Okazaki, Yasunari Shidama. 2009 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 17, 2 (2009), s. 129-136
14
Arai, Kenichi. Properties of primes and multiplicative group of a field / Kenichi Arai, Hiroyuki Okazaki. 2009 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 17, 2 (2009), s. 151-155
15
Futa, Yuichi. Set of points on elliptic curve in projective coordinates / Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama. 2011 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 19, 3 (2011), s. 131-138
16
Okazaki, Hiroyuki. Uniqueness of factoring an Integer and multiplicative group Z/pZ* / Hiroyuki Okazaki, Yasunari Shidama. 2008 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 16, 2 (2008), s. 103-107
17
Futa, Yuichi. Z-modules / Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama. 2012 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 20, 1 (2012), s. 47-59

No Previous Page No Next Page

Możesz korygować swoje wyszukiwanie:

Wybierz bazę:


© 2009 Ex Libris