Jump to main content

yr 〜
yr

Search results 13,128

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)
Paper図書
David Restrepo Amariles, Ken Satoh, editorsSpringer[2026]<A491-D20>
National Diet Library
  • Title HeadingLecture 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)
Paper図書
Springer[2026]<M17-26-19>
National Diet Library

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)
Paper図書
Springer[2025]<M17-25-73>
National Diet LibraryOther Libraries in Japan
  • Summary, etc....; Verification Lecture notes in computer science, 15194
  • Related MaterialLecture notes in computer science
  • Periodical TitleLecture notes in computer science

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)
Paper図書
Springer[2025]<M17-25-42>
National Diet Library

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)
Paper図書
Springer[2024-2025]<M17-25-39>
National Diet Library

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)
Paper図書
Springer[2025]<M17-25-93>
National Diet LibraryOther Libraries in Japan
  • Summary, etc.Lecture notes in computer science, 15054
  • Related MaterialLecture notes in computer science
  • Periodical TitleLecture 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)
Paper図書
Springer[2025]<M17-25-79>
National Diet Library

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)
Paper図書
Springer2025<M17-26-40>
National Diet Library

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)
Paper図書
Springer[2025]<M17-25-90>
National Diet Library

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)
Paper図書
Springer[2025]<M17-25-89>
National Diet Library

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)
Paper図書
Springer[2025]<M17-25-88>
National Diet Library

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)
Paper図書
Springer[2024]<M17-25-47>
National Diet LibraryOther Libraries in Japan
  • Summary, etc....ted structures Lecture notes in computer science, 15015
  • Related MaterialLecture notes in computer science
  • Periodical TitleLecture notes in computer science

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)
Paper図書
Springer[2025]<M17-25-91>
National Diet Library

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)
Paper図書
Springer[2025]<M17-25-101>
National Diet Library

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)
Paper図書
Springer[2025]<M17-25-71>
National Diet Library

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)
Paper図書
Springer[2025]<M17-25-81>
National Diet LibraryOther Libraries in Japan
  • Summary, etc.Lecture notes in computer science, 15395 . Lecture notes in art...
  • Related MaterialLecture notes in computer science
  • Periodical TitleLecture notes in computer science

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)
Paper図書
Springer[2025]<M17-25-102>
National Diet Library

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)
Paper図書
Springer2025<M17-26-41>
National Diet Library

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)
Paper図書
Springer[2023]<M17-25-4>
National Diet Library

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

Multimedia modeling : 31st international conference on multimedia modeling, MMM 2025 : Nara, Japan, January 8-10, 2025 : proceedings, part I Corrected publication 2025 (Lecture notes in computer science ; 15520)
Paper図書
Springer[2025]<M17-25-87>
National Diet Library
RSS