| 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 | Kawamoto, Ichiro (1923-2017). |
| Bieżący | Kawamoto, Pauline Naomi. | |
| Następny | Kawamura, Tetsuji (1951- ). |
Wyniki dla Kawamoto, Pauline Naomi.; 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.
autora, potem rautora, potem rroku, potem autroku, potem autautora, potem ttytułu, potem tytułu, potemroku, potem tytsygn. potem rokart. potem tyt.
| Rekordy 1 - 9 z 9 (maksymalna ilość wyświetlonych i sortowanych rekordów to 6000) | ||
|
|
||
 
|
| # | Autor | Tytuł | Rok wyd. | Lokalizacja [?] | Artykuł w: | Pełny tekst | |
|---|---|---|---|---|---|---|---|
| 1 | Wasaki, Katsumi. | 2’s complement circuit / Katsumi Wasaki, Pauline N. Kawamoto. | 1997 | BG( 31/ 0) BIM( 43/ 0) |
Formalized Mathematics : (computer assisted approach) Vol. 6, 2 (1997), s. 189-197 | ||
| 2 | Kawamoto, Pauline Naomi. | Basic concepts for Petri nets with Boolean markings / Pauline N. Kawamoto, Yasushi Fuwa, Yatsuka Nakamura. | 1993 | BG( 31/ 0) BIM( 43/ 0) |
Formalized Mathematics : (computer assisted approach) Vol. 4, 1 (1993), s. 87-90 | ||
| 3 | Kawamoto, Pauline Naomi. | Basic Petri Net concepts / Pauline N. Kawamoto, Yasushi Fuwa, Yatsuka Nakamura. | 1992 | BG( 31/ 0) BIM( 43/ 0) |
Formalized Mathematics : (computer assisted approach) Vol. 3, 2 (1992), s. 183-187 | ||
| 4 | Jitsukawa, Mitsuru. | Cell Petri net concepts / Mitsuru Jitsukawa, Pauline N. Kawamoto, Yasunari Shidama, Yatsuka Nakamura. | 2009 | BG( 31/ 0) BIM( 43/ 0) |
Formalized Mathematics : (computer assisted approach) Vol. 17, 1 (2009), s. 37-42 | ||
| 5 | Nakamura, Yatsuka (matematyka). | Introduction to Circuits, I / Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec, Pauline N. Kawamoto. | 1996 | BG( 31/ 0) BIM( 43/ 0) |
Formalized Mathematics : (computer assisted approach) Vol. 5, 2 (1996), s. 227-232 | ||
| 6 | Nakamura, Yatsuka (matematyka). | Introduction to circuits, II / Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec, Pauline N. Kawamoto. | 1996 | BG( 31/ 0) BIM( 43/ 0) |
Formalized Mathematics : (computer assisted approach) Vol. 5, 2 (1996), s. 273-278 | ||
| 7 | Shidama, Yasunari. | On the Formalization of Lebesgue Integrals / Yasunari Shidama, Noburu Endou, and Pauline N. Kawamoto. | 2007 | BG( 207/ 0) BHU( 3/ 0) BWP( 24/ 0) WHS( 39/ 0) BIM( 61/ 0) |
Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 167-177 | ||
| 8 | Nakamura, Yatsuka (matematyka). | Preliminaries to circuits, I / Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec, Pauline N. Kawamoto. | 1996 | BG( 31/ 0) BIM( 43/ 0) |
Formalized Mathematics : (computer assisted approach) Vol. 5, 2 (1996), s. 167-172 | ||
| 9 | Nakamura, Yatsuka (matematyka). | Preliminaries to circuits, II / Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec, Pauline N. Kawamoto. | 1996 | BG( 31/ 0) BIM( 43/ 0) |
Formalized Mathematics : (computer assisted approach) Vol. 5, 2 (1996), s. 215-220 |
Możesz korygować swoje wyszukiwanie:
© 2009 Ex Libris