Jump to main content

yr 〜
yr

Search results 4

Programming languages and systems : 18th Asian symposium, APLAS 2020 : Fukuoka, Japan, November 30-December 2, 2020 : proceedings : Nov 2020, ------. (Lecture Notes in Computer Science ; 12470)

Programming languages and systems : 18th Asian symposium, APLAS 2020 : Fukuoka, Japan, November 30-December 2, 2020 : proceedings : Nov 2020, ------. (Lecture Notes in Computer Science ; 12470)
Paper図書
Springer[2020]<M17-23-81>
National Diet Library

ACM-SIAM symposium on discrete algorithms (SODA22) : held online : Alexandria, Virginia, USA : 9-12 January 2022 : Jan 2022, ------.

ACM-SIAM symposium on discrete algorithms (SODA22) : held online : Alexandria, Virginia, USA : 9-12 January 2022 : Jan 2022, ------.
Paper図書
SIAM[2022]<M17-22-898>
National Diet Library

Types for proofs and programs : international workshop, TYPES 2000 : Durham, UK, December 8-12, 2000 : selected papers. : 1st annual workshop of the TYPES Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001) : Dec 2000, Durham, UK. (Lecture Notes in Computer Science ; 2277)

Types for proofs and programs : international workshop, TYPES 2000 : Durham, UK, December 8-12, 2000 : selected papers. : 1st annual workshop of the TYPES Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001) : Dec 2000, Durham, UK. (Lecture Notes in Computer Science ; 2277)
Paper図書
Springerc2002.<M17-07-789>
National Diet Library
  • Subject Heading...ue -- Congrès. Programmation (Informatique) -- Congrès. Logica. Programmeertalen. Ku...

Automata, Languages and Programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings pt. 1 pt. 2

Automata, Languages and Programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings pt. 1 pt. 2
Paper図書
Luca Aceto, Monika Henzinger, Jiřį́ Sgall, (eds.)Springerc2011
Other Libraries in Japan
  • Subject Heading...els -- Congrès Programmation (Informatique) -- Congrès Algorithmes -- Congrès Comput...
  • Subject Heading (ID)...els -- Congrès Programmation (Informatique) -- Congrès Algorithmes -- Congrès Comput...

Reached to the end of result.

RSS