FAVPQC, 2023
Proceedings of the 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC), 2023
Editors: Santiago Escobar, Ayoub Otmani, Sedat Akleylek and Kazuhiro Ogata

ISBN 978-4-903092-62-1

KSS'2014
Proceedings of the 15th International Symposium on Knowledge and Systems Science
Editors: Shouyang Wang, Yoshiteru Nakamori and Van-Nam Huynh

USB版
ISBN 978-4-903092-39-3
※非売品です。入手を希望される方は，jaist-p@kagasaisei.co.jpまでご連絡下さい。

KSS'2013
Proceedings of the 14th International Symposium on Knowledge and Systems Science
Editors: Shouyang Wang, Yoshiteru Nakamori and Weiliang Jin

USB版
ISBN 978-4-903092-36-2
※非売品です。入手を希望される方は，jaist-p@kagasaisei.co.jpまでご連絡下さい。

KSS'2012
Proceedings of International Symposium on Knowledge and Systems Science
Editors: Yoshiteru Nakamori,Shouyang Wang and Van-Nam Huynh

CD-ROM版
ISBN 978-4-903092-34-8
※非売品です。入手を希望される方は，jaist-p@kagasaisei.co.jpまでご連絡下さい。

KICSS'2011 　

Susumu Kunifuji, Xijin Tang, Thanaruk Theeramunkong
A4判　182ページ
ISBN 978-4-903092-31-7
※非売品です。入手を希望される方は，jaist-p@kagasaisei.co.jpまでご連絡下さい。

「Nanobio-Interfaces in Relation to Molecular Mobility」
Edited by Nobuhiko YUI, Kazuhiko ISHIHARA, Akio KISHIDA, Tetsuji YAMAOKA

A4判　170ページ
ISBN 978-4-903092-24-9
※非売品です。入手を希望される方は，jaist-p@kagasaisei.co.jpまでご連絡下さい。

KICSS 2007

A4判　215ページ
ISBN 978-4-903092-08-9
※非売品です。入手を希望される方は，jaist-p@kagasaisei.co.jpまでご連絡下さい。


>>詳しく

KSS' 2007

A4判　445ページ
ISBN 978-4-903092-07-2
※非売品です。入手を希望される方は，jaist-p@kagasaisei.co.jpまでご連絡下さい。


>>詳しく

KSS’2005 IIASA

AA判　206ページ
ISBN4-924861-09-X
※非売品です。入手を希望される方は，jaist-p@kagasaisei.co.jpまでご連絡下さい。

>>詳しく