Jump to main content

yr 〜
yr

Search results 3

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
Digital電子書籍・電子雑誌図書
2025
Available onlineNational Diet Library
  • Author HeadingAndre Platzer Pradella, Matteo Rossi, Matteo Rozier, Kristin Yvonne

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
Digital電子書籍・電子雑誌図書
2024
Available onlineNational Diet Library
  • Author HeadingAndré Platzer Pradella, Matteo Rossi, Matteo Rozier, Kristin Yvonne

Alexander of Aphrodisias in the Middle Ages and the Renaissance

Alexander of Aphrodisias in the Middle Ages and the Renaissance
Paper図書
edited by Pietro B. Rossi, Matteo Di Giovanni and Andrea A. RobiglioBrepolsc2021
Other Libraries in Japan

Reached to the end of result.

RSS