yr 〜
yr

Search results 6,331

Advances in automated negotiations : 11th international workshop on automated negotiation : ACAN2018 : ACAN : Jul 2018, Stockholm, Sweden. (Studies in Computational Intelligence ; 905)

Advances in automated negotiations : 11th international workshop on automated negotiation : ACAN2018 : ACAN : Jul 2018, Stockholm, Sweden. (Studies in Computational Intelligence ; 905)
Paper図書
Springer[2021]<M17-22-325>
National Diet Library
  • Subject HeadingIntelligent agents (Computer software)--Congresses. ......ligent agents (Computer software) Multiagent systems

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
Paper図書
Mitsuhia Sato, editor.Springer[2019]<M159-B169>
National Diet Library
  • Subject HeadingHigh 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)
Paper図書
Jeff M. Holder, editorNova Science Publishers, Inc.[2020]<M151-D24>
National Diet Library
  • Subject HeadingComputer security Computer software--Development S......uter security. Computer software--Development. School enrollme...

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

2016 IEEE international conference on software testing, verification and validation (ICST 2016) : Chicago, Illinois, USA : 11-15 April 2016 : 9th IEEE international conference on software testing, verification, and validation : Apr 2016, Chicago, IL.
Paper図書
IEEE[2016]<M17-18-1531>
National Diet Library
  • Subject HeadingComputer software--Testing--Congresses. Computer software--Validation--Congresses. Computer software--Verification--Congresses. Computer software--Testing. Computer software--Validation. Computer software--Verification.

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

2016 IEEE ninth international conference on software testing, verification and validation workshops (ICSTW 2016) : Chicago, Illinois, USA : 11-15 April 2016 : ICST 2016 : Apr 2016, Chicago, IL.
Paper図書
IEEE[2016]<M17-18-1530>
National Diet Library
  • Subject HeadingComputer software--Testing--Congresses. Computer software--Validation--Congresses. Computer software--Verification--Congresses. Computer software--Testing. Computer software--Validation. Computer software--Verification.

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

Collaboration and technology : 22nd international conference, CRIWG 2016 : Kanazawa, Japan, September 14-16, 2016 : proceedings : Sep 2016, Kanazawa, Japan. (Lecture Notes in Computer Science ; 9848)
Paper図書
Springer[2016]<M17-20-873>
National Diet Library
  • Subject HeadingGroupware (Computer software)--Congresses. Groupware (Computer software)

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

2016 IEEE international conference on software quality, reliability and security : (QRS 2016) : Vienna, Austria : 1-3 August 2016 : Aug 2016, Vienna, Austria.
Paper図書
IEEE[2016]<M17-18-1526>
National Diet Library
  • Subject HeadingComputer software--Quality contr......l--Congresses. Computer software--Reliability--Congresses. Computer software--Security meas......s--Congresses. Computer software--Quality control. Computer software--Reliability. Computer software--Security measures.

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

2016 IEEE international conference on software quality, reliability and security companion : (QRS-C 2016) : Vienna, Austria : 1-3 August 2016 : QRS 2016 : Aug 2016, Vienna, Austria.
Paper図書
IEEE[2016]<M17-18-1525>
National Diet Library
  • Subject HeadingComputer software--Quality contr......l--Congresses. Computer software--Reliability--Congresses. Computer software--Security meas......s--Congresses. Computer software--Quality control. Computer software--Reliability. Computer software--Security measures.

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

Collaboration technologies and social computing : 25th international conference, CRIWG+CollabTech 2019 : Kyoto, Japan, September 4-6, 2019 : proceedings : international conference on collaboration and technology : Sep 2019, Kyoto, Japan. (Lecture Notes in Computer Science ; 11677)
Paper図書
Springer[2019]<M17-21-673>
National Diet Library
  • Subject Heading...es. Groupware (Computer software)--Congresses. Groupware (Computer software) Human-computer interaction.

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

2016 international conference on software analysis, testing and evolution (SATE 2016) : Kunming, China : 3-4 November 2016 : annual conference on software analysis, testing and evolution : Nov 2016, Kunming, China.
Paper図書
IEEE[2016]<M17-18-1511>
National Diet Library
  • Subject HeadingComputer software--Development--Congresses. Computer software--Testing--Congresses. Computer software--Development. Computer software--Testing.

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

The handbook of peer production (Handbooks in communication and media)
Paper図書
edited by Mathieu O'Neil, Christian Pentzold, Sophie ToupinWiley Blackwell2021<DK411-D35>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingOpen source software Computer file sharing Shareware (Computer software) Information commons

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

2016 international conference on software security and assurance (ICSSA 2016) : St. Polten, Austria : 24-25 August 2016 : 2nd international conference on software security and assurance : Aug 2016, St. Polten, Austria.
Paper図書
IEEE[2016]<M17-19-298>
National Diet Library
  • Subject HeadingComputer software--Security meas......s--Congresses. Computer software--Reliability--Congresses. Computer software--Reliability. Computer software--Security measures.

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

Collaboration technologies and social computing : 26th international conference, CollabTech 2020 : Tartu, Estonia, September 8-11, 2020 : proceedings : Sep 2020, ------. (Lecture Notes in Computer Science ; 12324)
Paper図書
Springer[2020]<M17-22-621>
National Diet Library
  • Subject Heading...es. Groupware (Computer software)--Congresses. ......̀s. Groupware (Computer software) Human-computer interaction.

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

2015 IEEE eighth international conference on software testing, verification and validation workshops : (ICSTW 2015) : Graz, Austria : 13-17 April 2015 : ICST : Apr 2015, Graz, Austria.
Paper図書
IEEE[2015]<M17-17-1595>
National Diet Library
  • Subject HeadingComputer software--Testing--Congresses. Computer software--Validation--Congresses. Computer software--Verification--Congresses. Computer software--Testing. Computer software--Validation. Computer software--Verification.

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)
Paper図書
Katsuhide Fujita, Quan Bai, Takayuki Ito, Minjie Zhang, Fenghui Ren, Reyhan Aydoğan, Rafik Hadfi, editors.Springer[2017]<M121-B166>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingIntelligent agents (Computer software)

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

2015 IEEE 8th international conference on software testing, verification and validation : (ICST 2015) : Graz, Austria : 13-17 April 2015 : ICST week : Apr 2015, Graz, Austria.
Paper図書
IEEE[2015]<M17-17-1596>
National Diet Library
  • Subject HeadingComputer software--Testing--Congresses. Computer software--Validation--Congresses. Computer software--Verification--Congresses. Computer software--Testing. Computer software--Validation. Computer software--Verification.

Collaboration technologies and social computing : 10th international conference, CollabTech 2018 : Costa de Caparica, Portugal, September 5-7, 2018 : proceedings : Sep 2018, Costa de Caparica, Portugal. (Lecture Notes in Computer Science ; 11000)

Collaboration technologies and social computing : 10th international conference, CollabTech 2018 : Costa de Caparica, Portugal, September 5-7, 2018 : proceedings : Sep 2018, Costa de Caparica, Portugal. (Lecture Notes in Computer Science ; 11000)
Paper図書
Springer[2018]<M17-20-863>
National Diet Library
  • Subject HeadingGroupware (Computer software)--Congresses. ......es. Groupware (Computer software) Human-computer interaction.

2015 IEEE international conference on software quality, reliability and security--companion : (QRS-C 2015) : Vancouver, British Columbia, Canada : 3-5 August 2015 : 1st QRS conference : Aug 2015, Vancouver, Canada.

2015 IEEE international conference on software quality, reliability and security--companion : (QRS-C 2015) : Vancouver, British Columbia, Canada : 3-5 August 2015 : 1st QRS conference : Aug 2015, Vancouver, Canada.
Paper図書
IEEE[2015]<M17-17-1887>
National Diet Library
  • Subject HeadingComputer software--Quality contr......l--Congresses. Computer software--Reliability--Congresses. Computer software--Security meas......s--Congresses. Computer software--Quality control. Computer software--Reliability. Computer software--Security measures.

2015 IEEE international conference on software quality, reliability and security : (QRS 2015) : Vancouver, British Columbia, Canada : 3-5 August 2015 : 1st QRS conference : Aug 2015, Vancouver, Canada.

2015 IEEE international conference on software quality, reliability and security : (QRS 2015) : Vancouver, British Columbia, Canada : 3-5 August 2015 : 1st QRS conference : Aug 2015, Vancouver, Canada.
Paper図書
IEEE[2015]<M17-17-1888>
National Diet Library
  • Subject HeadingComputer software--Quality contr......l--Congresses. Computer software--Reliability--Congresses. Computer software--Security meas......s--Congresses. Computer software--Quality control. Computer software--Reliability. Computer software--Security measures.

2016 IEEE 27th international symposium on software reliability engineering : (ISSRE 2016) : Ottawa, Ontario, Canada : 23-27 October 2016 : Oct 2016, Ottawa, Canada.

2016 IEEE 27th international symposium on software reliability engineering : (ISSRE 2016) : Ottawa, Ontario, Canada : 23-27 October 2016 : Oct 2016, Ottawa, Canada.
Paper図書
IEEE[2016]<M17-18-1528>
National Diet Library
  • Subject HeadingComputer software--Reliability--Congresses. Computer software--Reliability.