Jump to main content

yr 〜
yr

Search results 13,110

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
  • 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
  • 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

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 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

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

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

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
  • Related MaterialLecture notes in computer science
  • Periodical TitleLecture notes in computer science

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
  • Related MaterialLecture notes in computer science
  • Periodical TitleLecture 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)
Paper図書
Springer[2025]<M17-25-101>
National Diet Library

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

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

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

Rewriting logic and its applications : 15th international workshop, WRLA 2024 : Luxembourg City, Luxembourg, April 6-7, 2024 : revised selected papers (Lecture notes in computer science ; 14953)

Rewriting logic and its applications : 15th international workshop, WRLA 2024 : Luxembourg City, Luxembourg, April 6-7, 2024 : revised selected papers (Lecture notes in computer science ; 14953)
Paper図書
Springer[2024]<M17-25-44>
National Diet LibraryOther Libraries in Japan
  • Related MaterialLecture notes in computer science
  • Periodical TitleLecture notes in computer science

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

Constructive side-channel analysis and secure design : 15th international workshop, COSADE 2024 : Gardanne, France, April 9-10, 2024 : proceedings (Lecture notes in computer science ; 14595)

Constructive side-channel analysis and secure design : 15th international workshop, COSADE 2024 : Gardanne, France, April 9-10, 2024 : proceedings (Lecture notes in computer science ; 14595)
Paper図書
Springer[2024]<M17-25-46>
National Diet Library

Modeling decisions for artificial intelligence : 21st international conference, MDAI 2024 : Tokyo, Japan, August 27-31, 2024 : proceedings (Lecture notes in computer science ; 14986. Lecture notes in artificial intelligence)

Modeling decisions for artificial intelligence : 21st international conference, MDAI 2024 : Tokyo, Japan, August 27-31, 2024 : proceedings (Lecture notes in computer science ; 14986. Lecture notes in artificial intelligence)
Paper図書
Springer[2024]<M17-25-51>
National Diet Library
RSS