Jump to main content

yr 〜
yr

Search results 7

Automated Deduction – CADE 28

Automated Deduction – CADE 28
Digital電子書籍・電子雑誌図書
2021
Available onlineNational Diet Library

Correct system design : symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday : Oldenburg, Germany, September 8-9, 2015 : proceedings : Sep 2015, Oldenburg, Germany. (Lecture Notes in Computer Science ; 9360. Festschrift)

Correct system design : symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday : Oldenburg, Germany, September 8-9, 2015 : proceedings : Sep 2015, Oldenburg, Germany. (Lecture Notes in Computer Science ; 9360. Festschrift)
Paper図書
Springer[2015]<M17-16-774>
National Diet Library
  • Author HeadingMeyer, R. (Roland), 1981- Platzer, André. Wehrheim, Heike. University o...

Formal methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024 : proceedings part 1

Formal methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024 : proceedings part 1
Paper図書
André Platzer [and three others], editorsSpringer[2025]
Other Libraries in Japan

Formal methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024 : proceedings part 2

Formal methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024 : proceedings part 2
Paper図書
André Platzer [and three others], editorsSpringer[2025]
Other Libraries in Japan

Logical foundations of cyber-physical systems : softcover

Logical foundations of cyber-physical systems : softcover
Paper図書
André PlatzerSpringer[2018]
Other Libraries in Japan

Logical foundations of cyber-physical systems

Logical foundations of cyber-physical systems
Paper図書
André PlatzerSpringerc2018
Other Libraries in Japan

Logical analysis of hybrid systems : proving theorems for complex dynamics

Logical analysis of hybrid systems : proving theorems for complex dynamics
Paper図書
André PlatzerSpringerc2010
Other Libraries in Japan

Reached to the end of result.

RSS