yr 〜
yr

Search results 5

NASA formal methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022 : proceedings

NASA formal methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022 : proceedings
Paper図書
Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez (eds.)Springerc2022
Other Libraries in Japan
  • Author HeadingNFM (Symposium) Deshmukh, Jyotirmoy Havelund, Klaus Perez, Ivan

NASA Formal Methods : 13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings

NASA Formal Methods : 13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings
Paper図書
Aaron Dutle ... [et al.] (eds.)Springerc2021
Other Libraries in Japan
  • Author HeadingNFM (Symposium) Dutle, Aaron Moscato, Mariano M. Titolo, Laura Muñoz, César A. Perez, Ivan

Journal of Oleo Science

Journal of Oleo Science
Paper雑誌
Japan Oil Chemists' Society2001-[202-]<Z54-J571>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Reached to the end of result.