author:Rozier, Kristin Yvonne | カーリル

お気に入り図書館を設定すると、貸出状況が表示されますエリアを選ぶ現在地から探す

NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings (Programming and Software Engineering)

Badger, Julia M.／Rozier, Kristin Yvonne

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II (Lecture Notes in Computer Science)

Platzer, Andre／Rozier, Kristin Yvonne／Pradella, Matteo／Rossi, Matteo

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I (Lecture Notes in Computer Science)

Platzer, André／Rozier, Kristin Yvonne／Pradella, Matteo／Rossi, Matteo

NASA formal methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023 : proceedings

Kristin Yvonne Rozier, Swarat Chaudhuri, editors

NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : proceedings

Julia M. Badger, Kristin Yvonne Rozier (eds.)

Borders and the Norman world : frontiers and boundaries in medieval Europe

edited by Dan Armstrong ... [and three others]

Britain and its neighbours : cultural contacts and exchanges in medieval and early modern Europe

edited by Dirk H. Steinforth and Charles C. Rozier

Les savoirs de sciences humaines et sociales en débat : controverses et polémiques

Sophie Richardot, Sabine Rozier (dir.)

Orderic Vitalis : life, works and interpretations

edited by Charles C. Rozier ... [et al.]

Le Ghetto de Wilno, 1941-1944

Avrom Sutzkever ; traduit du yiddish par Gilles Rozier ; avant-propos et notes de Gilles Rozier ; préface D'annette Wieviorka

1
2
3
4
5