年 〜
年

検索結果 4 件

Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011 : Aalborg, Denmark, September 21-23, 2011 : proceedings : Sep 2011, Aalborg, Denmark. (Lecture Notes in Computer Science ; 6919)

Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011 : Aalborg, Denmark, September 21-23, 2011 : proceedings : Sep 2011, Aalborg, Denmark. (Lecture Notes in Computer Science ; 6919)
紙図書
Springerc2011.<M17-12-1225>
国立国会図書館
  • 著者標目FORMATS 2011 (2011 : Aalborg, Denmark) Fahrenberg, Uli. Tripakis, Stavros.

Relational and algebraic methods in computer science : 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19–22, 2024 : proceedings

Relational and algebraic methods in computer science : 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19–22, 2024 : proceedings
紙図書
Uli Fahrenberg, Wesley Fussner, Roland Glück, editorsSpringerc2024
全国の図書館
  • 著者標目RAMiCS (Conference) <> Fahrenberg, Uli Fussner, Wesley Glück, Roland

Relational and algebraic methods in computer science : 19th international conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings

Relational and algebraic methods in computer science : 19th international conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings
紙図書
Uli Fahrenberg ... [et al.] (eds.)Springerc2021
全国の図書館
  • 著者標目...mputer Science Fahrenberg, Uli Gehrke, Mai Santocanale, Luig...

Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings

Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings
紙図書
Uli Fahrenberg, Stavros Tripakis (eds.)Springerc2011
全国の図書館
  • 著者標目Fahrenberg, Uli Tripakis, Stavros

検索結果は以上です。