( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Digital Telephone Junction Network Planning System Considering Logical and Physical Network Aspects

, и . стр. 2.1-2.7. (1985)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Hiroyuki Tan

Hiroyuki Kobayashi

Hiroyuki Okamuro

Hiroyuki Takada

Hiroyuki Isobe

 

Другие публикации лиц с тем же именем

Banach's Continuous Inverse Theorem and Closed Graph Theorem., , и . Formaliz. Math., 20 (4): 271-274 (2012)Real Vector Space and Related NotionsThis study was supported in part by JSPS KAKENHI Grant Numbers 17K00182 and 20K19863., , и . Formaliz. Math., 29 (3): 117-127 (2021)Formalization of Orthogonal Decomposition for Hilbert Spaces.. Formaliz. Math., 30 (4): 295-299 (декабря 2022)Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof Checker., , и . FCS, стр. 81-86. CSREA Press, (2010)Algebra of Polynomially Bounded Sequences and Negligible Functions.. Formaliz. Math., 23 (4): 371-378 (2015)Posterior Probability on Finite Set.. Formaliz. Math., 20 (4): 257-263 (2012)On the design and an implementation of broadband access management systems., , , , , и . NOMS, стр. 382-391. IEEE, (1996)Application to Women's Healthcare of Health Management System Using a Tablet Phone., , , , и . BIH, том 9250 из Lecture Notes in Computer Science, стр. 262-271. Springer, (2015)Analysis of a Gradual Input Model for Bursty Traffic in ATM, , и . стр. 795-800. (1991)Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order., , , и . Formalized Mathematics, 21 (3): 207-211 (2013)