Zobrazeno 1 - 2 of 2 pro vyhledávání: '"Yoshimasa, Noriaki"'
1
Conference
Automated proof for equivalence of telephone systems.
Autor: Sakoh, Jun, Yoshimasa, Noriaki, Kawabe, Yoshinobu
Publikováno v: 2013 IEEE/ACIS 12th International Conference on Computer & Information Science (ICIS); 2013, p497-502, 6p
Zobrazit plný text záznamu
2
Conference
On embedded programming education with a tiny Lisp.
Autor: Osawa, Manami, Yoshimasa, Noriaki, Kawabe, Yoshinobu
Publikováno v: 2013 IEEE/ACIS 12th International Conference on Computer & Information Science (ICIS); 2013, p567-568, 2p
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje