本文に飛ぶ

年 〜
年

検索結果 6,257 件

Malware : handbook of prevention and detection (Advances in information security ; volume 91)

Malware : handbook of prevention and detection (Advances in information security ; volume 91)
紙図書
Dimitris Gritzalis, Kim-Kwang Raymond Choo, Constantinos Patsakis, editorsSpringer[2025]<M159-D20>
国立国会図書館

Software fault prevention, verification, and validation : first international symposium, SFPVV 2024 : Hiroshima, Japan, December 2-3, 2024 : proceedings (Lecture notes in computer science ; 15393)

Software fault prevention, verification, and validation : first international symposium, SFPVV 2024 : Hiroshima, Japan, December 2-3, 2024 : proceedings (Lecture notes in computer science ; 15393)
紙図書
Springer[2025]<M17-25-79>
国立国会図書館

Advances in automated negotiations. (Studies in Computational Intelligence ; 905)

Advances in automated negotiations. (Studies in Computational Intelligence ; 905)
紙図書
Springer[2021]<M17-22-325>
国立国会図書館

Applied OSS reliability assessment modeling, AI and tools : mathematics and AI for OSS reliability assessment (Springer series in reliability engineering)

Applied OSS reliability assessment modeling, AI and tools : mathematics and AI for OSS reliability assessment (Springer series in reliability engineering)
紙図書
Yoshinobu Tamura, Shigeru YamadaSpringer[2024]<M159-D21>
国立国会図書館

Advanced software technologies for post-Peta scale computing : the Japanese post-Peta CREST research project

Advanced software technologies for post-Peta scale computing : the Japanese post-Peta CREST research project
紙図書
Mitsuhia Sato, editor.Springer[2019]<M159-B169>
国立国会図書館
  • 件名High performance computing. Computer software.

A closer look at safety and security (Safety and risk in society)

A closer look at safety and security (Safety and risk in society)
紙図書
Jeff M. Holder, editorNova Science Publishers, Inc.[2020]<M151-D24>
国立国会図書館

Financial market design by an agent-based model (Evolutionary economics and social complexity science ; volume 33)

Financial market design by an agent-based model (Evolutionary economics and social complexity science ; volume 33)
紙図書
Takanobu Mizuta, Isao YagiSpringer[2025]<DF161-D6>
国立国会図書館全国の図書館

2016 IEEE international conference on software testing, verification and validation (ICST 2016) : Chicago, Illinois, USA : 11-15 April 2016.

2016 IEEE international conference on software testing, verification and validation (ICST 2016) : Chicago, Illinois, USA : 11-15 April 2016.
紙図書
IEEE[2016]<M17-18-1531>
国立国会図書館

2016 IEEE ninth international conference on software testing, verification and validation workshops (ICSTW 2016) : Chicago, Illinois, USA : 11-15 April 2016.

2016 IEEE ninth international conference on software testing, verification and validation workshops (ICSTW 2016) : Chicago, Illinois, USA : 11-15 April 2016.
紙図書
IEEE[2016]<M17-18-1530>
国立国会図書館

Collaboration technologies and social computing : 25th international conference, CRIWG+CollabTech 2019 : Kyoto, Japan, September 4-6, 2019 : proceedings. (Lecture Notes in Computer Science ; 11677)

Collaboration technologies and social computing : 25th international conference, CRIWG+CollabTech 2019 : Kyoto, Japan, September 4-6, 2019 : proceedings. (Lecture Notes in Computer Science ; 11677)
紙図書
Springer[2019]<M17-21-673>
国立国会図書館

Collaboration and technology : 22nd international conference, CRIWG 2016 : Kanazawa, Japan, September 14-16, 2016 : proceedings. (Lecture Notes in Computer Science ; 9848)

Collaboration and technology : 22nd international conference, CRIWG 2016 : Kanazawa, Japan, September 14-16, 2016 : proceedings. (Lecture Notes in Computer Science ; 9848)
紙図書
Springer[2016]<M17-20-873>
国立国会図書館

2016 IEEE international conference on software quality, reliability and security companion : (QRS-C 2016) : Vienna, Austria : 1-3 August 2016.

2016 IEEE international conference on software quality, reliability and security companion : (QRS-C 2016) : Vienna, Austria : 1-3 August 2016.
紙図書
IEEE[2016]<M17-18-1525>
国立国会図書館

2016 international conference on software analysis, testing and evolution (SATE 2016) : Kunming, China : 3-4 November 2016.

2016 international conference on software analysis, testing and evolution (SATE 2016) : Kunming, China : 3-4 November 2016.
紙図書
IEEE[2016]<M17-18-1511>
国立国会図書館

2016 IEEE international conference on software quality, reliability and security : (QRS 2016) : Vienna, Austria : 1-3 August 2016.

2016 IEEE international conference on software quality, reliability and security : (QRS 2016) : Vienna, Austria : 1-3 August 2016.
紙図書
IEEE[2016]<M17-18-1526>
国立国会図書館

The handbook of peer production (Handbooks in communication and media)

The handbook of peer production (Handbooks in communication and media)
紙図書
edited by Mathieu O'Neil, Christian Pentzold, Sophie ToupinWiley Blackwell2021<DK411-D35>
国立国会図書館全国の図書館

2016 international conference on software security and assurance (ICSSA 2016) : St. Polten, Austria : 24-25 August 2016.

2016 international conference on software security and assurance (ICSSA 2016) : St. Polten, Austria : 24-25 August 2016.
紙図書
IEEE[2016]<M17-19-298>
国立国会図書館

Collaboration technologies and social computing : 26th international conference, CollabTech 2020 : Tartu, Estonia, September 8-11, 2020 : proceedings. (Lecture Notes in Computer Science ; 12324)

Collaboration technologies and social computing : 26th international conference, CollabTech 2020 : Tartu, Estonia, September 8-11, 2020 : proceedings. (Lecture Notes in Computer Science ; 12324)
紙図書
Springer[2020]<M17-22-621>
国立国会図書館

2015 IEEE 8th international conference on software testing, verification and validation : (ICST 2015) : Graz, Austria : 13-17 April 2015.

2015 IEEE 8th international conference on software testing, verification and validation : (ICST 2015) : Graz, Austria : 13-17 April 2015.
紙図書
IEEE[2015]<M17-17-1596>
国立国会図書館

Modern approaches to agent-based complex automated negotiation (Studies in computational intelligence ; volume 674)

Modern approaches to agent-based complex automated negotiation (Studies in computational intelligence ; volume 674)
紙図書
Katsuhide Fujita, Quan Bai, Takayuki Ito, Minjie Zhang, Fenghui Ren, Reyhan Aydoğan, Rafik Hadfi, editors.Springer[2017]<M121-B166>
国立国会図書館全国の図書館

2015 IEEE eighth international conference on software testing, verification and validation workshops : (ICSTW 2015) : Graz, Austria : 13-17 April 2015.

2015 IEEE eighth international conference on software testing, verification and validation workshops : (ICSTW 2015) : Graz, Austria : 13-17 April 2015.
紙図書
IEEE[2015]<M17-17-1595>
国立国会図書館
RSS