The Culture of Capital Punishment in Japan [electronic resource]
	Tác giả: David T Johnson
	Xuất bản: Cham: Springer International Publishing : Imprint: Palgrave Pivot , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  364.095  Thêm vào giỏ

Combinatorial Pattern Matching [electronic resource] : 13th Annual Symposium, CPM 2002 Fukuoka, Japan, July 3-5, 2002 Proceedings
	Tác giả: Alberto Apostolico, Masayuki Takeda
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2002.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  511.1  Thêm vào giỏ

Biologically Inspired Approaches to Advanced Information Technology [electronic resource] : Second International Workshop, BioADIT 2006, Osaka, Japan 26-27, 2006, Proceedings
	Tác giả: Auke Jan Ijspeert, Shinji Kusumoto, Toshimitsu Masuzawa
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2006.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Automata, Languages, and Programming [electronic resource] : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
	Tác giả: Magnús M Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2015.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  518.1  Thêm vào giỏ

Automata, Languages, and Programming [electronic resource] : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
	Tác giả: Magnús M Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2015.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  518.1  Thêm vào giỏ

Collaboration Technologies and Social Computing [electronic resource] : 8th International Conference, CollabTech 2016, Kanazawa, Japan, September 14-16, 2016, Proceedings
	Tác giả: Nelson Baloian, Gwo-Dong Chen, Tomoo Inoue, Takashi Yoshino, Takaya Yuizono, Gustavo Zurita
	Xuất bản: Singapore: Springer Nature Singapore : Imprint: Springer , 2016.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.019  Thêm vào giỏ

Automated Technology for Verification and Analysis [electronic resource] : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
	Tác giả: Cyrille Artho, Axel Legay, Doron Peled
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

Biomedical Informatics and Technology [electronic resource] : First International Conference, ACBIT 2013, Aizu-Wakamatsu, Japan, September 16-17, 2013. Revised Selected Papers
	Tác giả: Danny Coomans, Kazuhisha Ichikawa, Xiaoyi Jiang, Mayumi Oyama-Higa, Tuan D Pham
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2014.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  610.285  Thêm vào giỏ

Cellular Automata [electronic resource] : 8th International Conference on Cellular Automata for Research and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008, Proceedings
	Tác giả: Toshihiko Komatsuzaki, Shin Morishita, Katsuhiro Nishinari, Hiroshi Umeo
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2008.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
	Tác giả: Chris Hawblitzel, Dale Miller
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2012.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ