本文へ移動

年 〜
年

検索結果 13,122 件

Compliance for artificial intelligence systems : strategies, principles and methods (Lecture notes in computer science. Lecture notes in artificial intelligence ; 14377)

Compliance for artificial intelligence systems : strategies, principles and methods (Lecture notes in computer science. Lecture notes in artificial intelligence ; 14377)
紙図書
David Restrepo Amariles, Ken Satoh, editorsSpringer[2026]<A491-D20>
国立国会図書館
  • タイトル標目Lecture notes in computer science ; 14377. 1611-3349 Lecture notes in computer science. Lecture notes in artificial ...

Rigorous state-based methods : 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, proceedings (Lecture notes in computer science ; 15728)

Rigorous state-based methods : 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, proceedings (Lecture notes in computer science ; 15728)
紙図書
Springer[2026]<M17-26-19>
国立国会図書館

Programming languages and systems : 22nd Asian symposium, APLAS 2024 : Kyoto, Japan, October 22-24, 2024 : proceedings Corrected publication 2025 (Lecture notes in computer science ; 15194)

Programming languages and systems : 22nd Asian symposium, APLAS 2024 : Kyoto, Japan, October 22-24, 2024 : proceedings Corrected publication 2025 (Lecture notes in computer science ; 15194)
紙図書
Springer[2025]<M17-25-73>
国立国会図書館全国の図書館
  • 関連情報Lecture notes in computer science
  • 掲載誌Lecture notes in computer science

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>
国立国会図書館

Stabilization, safety, and security of distributed systems : 26th international symposium, SSS 2024 : Nagoya, Japan, October 20-22, 2024 : proceedings (Lecture Notes in Computer Science ; 14931)

Stabilization, safety, and security of distributed systems : 26th international symposium, SSS 2024 : Nagoya, Japan, October 20-22, 2024 : proceedings (Lecture Notes in Computer Science ; 14931)
紙図書
Springer[2025]<M17-25-42>
国立国会図書館

Database systems for advanced applications : 29th international conference, DASFAA 2024 : Gifu, Japan, July 2-5, 2024 : proceedings (Lecture Notes in Computer Science ; 14850-14856)

Database systems for advanced applications : 29th international conference, DASFAA 2024 : Gifu, Japan, July 2-5, 2024 : proceedings (Lecture Notes in Computer Science ; 14850-14856)
紙図書
Springer[2024-2025]<M17-25-39>
国立国会図書館

Automated technology for verification and analysis : 22nd international symposium, ATVA 2024 : Kyoto, Japan, October 21-25, 2024 : proceedings (Lecture notes in computer science ; 15054-15055)

Automated technology for verification and analysis : 22nd international symposium, ATVA 2024 : Kyoto, Japan, October 21-25, 2024 : proceedings (Lecture notes in computer science ; 15054-15055)
紙図書
Springer[2025]<M17-25-93>
国立国会図書館全国の図書館
  • 関連情報Lecture notes in computer science
  • 掲載誌Lecture notes in computer science

Multimedia modeling : 31st international conference on multimedia modeling, MMM 2025 : Nara, Japan, January 8-10, 2025 : proceedings, part III (Lecture notes in computer science ; 15522)

Multimedia modeling : 31st international conference on multimedia modeling, MMM 2025 : Nara, Japan, January 8-10, 2025 : proceedings, part III (Lecture notes in computer science ; 15522)
紙図書
Springer[2025]<M17-25-89>
国立国会図書館

Multimedia modeling : 31st international conference on multimedia modeling, MMM 2025 : Nara, Japan, January 8-10, 2025 : proceedings, part V (Lecture notes in computer science ; 15524)

Multimedia modeling : 31st international conference on multimedia modeling, MMM 2025 : Nara, Japan, January 8-10, 2025 : proceedings, part V (Lecture notes in computer science ; 15524)
紙図書
Springer[2025]<M17-25-91>
国立国会図書館

Big data analytics in astronomy, science, and engineering : 12th international conference on big data analytics, BDA 2024 : Aizu, Japan, November 26-28, 2024 : proceedings (Lecture notes in computer science ; 15546)

Big data analytics in astronomy, science, and engineering : 12th international conference on big data analytics, BDA 2024 : Aizu, Japan, November 26-28, 2024 : proceedings (Lecture notes in computer science ; 15546)
紙図書
Springer[2025]<M17-25-102>
国立国会図書館

Entertainment computing : ICEC 2025 IFIP TC 14 Workshops : Tokyo, Japan, August 27-30, 2025, proceedings (Lecture notes in computer science ; 15935)

Entertainment computing : ICEC 2025 IFIP TC 14 Workshops : Tokyo, Japan, August 27-30, 2025, proceedings (Lecture notes in computer science ; 15935)
紙図書
Springer2025<M17-26-40>
国立国会図書館

Multimedia modeling : 31st international conference on multimedia modeling, MMM 2025 : Nara, Japan, January 8-10, 2025 : proceedings, part II (Lecture notes in computer science ; 15521)

Multimedia modeling : 31st international conference on multimedia modeling, MMM 2025 : Nara, Japan, January 8-10, 2025 : proceedings, part II (Lecture notes in computer science ; 15521)
紙図書
Springer[2025]<M17-25-88>
国立国会図書館

Multimedia modeling : 31st international conference on multimedia modeling, MMM 2025 : Nara, Japan, January 8-10, 2025 : proceedings, part IV (Lecture notes in computer science ; 15523)

Multimedia modeling : 31st international conference on multimedia modeling, MMM 2025 : Nara, Japan, January 8-10, 2025 : proceedings, part IV (Lecture notes in computer science ; 15523)
紙図書
Springer[2025]<M17-25-90>
国立国会図書館

Implementation and application of automata : 28th international conference, CIAA 2024 : Akita, Japan, September 3-6, 2024 : proceedings (Lecture notes in computer science ; 15015)

Implementation and application of automata : 28th international conference, CIAA 2024 : Akita, Japan, September 3-6, 2024 : proceedings (Lecture notes in computer science ; 15015)
紙図書
Springer[2024]<M17-25-47>
国立国会図書館全国の図書館
  • 関連情報Lecture notes in computer science
  • 掲載誌Lecture notes in computer science

Intelligent information and database systems : 17th Asian conference, ACIIDS 2025 : Kitakyushu, Japan, April 23-25, 2025 : proceedings (Lecture Notes in Computer Science ; 15683-15684. Lecture Notes in Artificial Intelligence)

Intelligent information and database systems : 17th Asian conference, ACIIDS 2025 : Kitakyushu, Japan, April 23-25, 2025 : proceedings (Lecture Notes in Computer Science ; 15683-15684. Lecture Notes in Artificial Intelligence)
紙図書
Springer[2025]<M17-25-101>
国立国会図書館

Entertainment computing--ICEC 2025 : 24th IFIP TC 14 International Conference, Tokyo, Japan, August 27-30, 2025, proceedings (Lecture notes in computer science ; 16042)

Entertainment computing--ICEC 2025 : 24th IFIP TC 14 International Conference, Tokyo, Japan, August 27-30, 2025, proceedings (Lecture notes in computer science ; 16042)
紙図書
Springer2025<M17-26-41>
国立国会図書館

PRIMA 2024: principles and practice of multi-agent systems : 25th international conference : Kyoto, Japan, November 18-24, 2024 : proceedings (Lecture Notes in Computer Science ; 15395. Lecture Notes in Artificial Intelligence)

PRIMA 2024: principles and practice of multi-agent systems : 25th international conference : Kyoto, Japan, November 18-24, 2024 : proceedings (Lecture Notes in Computer Science ; 15395. Lecture Notes in Artificial Intelligence)
紙図書
Springer[2025]<M17-25-81>
国立国会図書館全国の図書館
  • 関連情報Lecture notes in computer science
  • 掲載誌Lecture notes in computer science

Databases theory and applications : 35th Australasian database conference, ADC 2024 : Gold Coast, QLD, Australia, and Tokyo, Japan, December 16-18, 2024 : proceedings (Lecture notes in computer science ; 15449)

Databases theory and applications : 35th Australasian database conference, ADC 2024 : Gold Coast, QLD, Australia, and Tokyo, Japan, December 16-18, 2024 : proceedings (Lecture notes in computer science ; 15449)
紙図書
Springer[2025]<M17-25-71>
国立国会図書館

Advances in information and computer security : 19th international workshop on security, IWSEC 2024 : Kyoto, Japan, September 17-19, 2024 : proceedings (Lecture notes in computer science ; 14977)

Advances in information and computer security : 19th international workshop on security, IWSEC 2024 : Kyoto, Japan, September 17-19, 2024 : proceedings (Lecture notes in computer science ; 14977)
紙図書
Springer[2024]<M17-25-37>
国立国会図書館

Pattern recognition : 7th Asian conference, ACPR 2023 : Kitakyushu, Japan, November 5-8, 2023 : proceedings (Lecture Notes in Computer Science ; 14406-14408)

Pattern recognition : 7th Asian conference, ACPR 2023 : Kitakyushu, Japan, November 5-8, 2023 : proceedings (Lecture Notes in Computer Science ; 14406-14408)
紙図書
Springer[2023]<M17-25-4>
国立国会図書館
RSS