Treffer 1 - 7 von 7 für Suche 'Katsumata, Shin-ya', Suchdauer: 0,38s
Treffer weiter einschränken
-
1von Motoura, Shota
Veröffentlicht in LFCS (2022 : Deerfield Beach, Fla.) Logical foundations of computer science (2022)UnknownFormat -
2von Fukihara, Yöji
Veröffentlicht in FOSSACS (24. : 2021 : Online) Foundations of software science and computation structures (2021)UnknownFormat -
3von Nishizawa, Koki
Veröffentlicht in RAMiCS (18. : 2020 : Online) Relational and algebraic methods in computer science (2020)UnknownFormat -
4von Gaboardi, Marco
Veröffentlicht in ESOP (30. : 2021 : Online) Programming languages and systems (2021)UnknownFormat -
5von Kori, Mayuko
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 1 (2022)UnknownFormat -
6UnknownFormat
-
7von Kolcák, Juraj
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)UnknownFormat