ID:DA12510627
Oliveira, José Nuno
Nuno Oliveira, José
同姓同名の著者を検索
Maurice H. ter Beek, Annabelle McIver, José N. Oliveira (eds.)
Springer c2019 Lecture notes in computer science 11800 . Formal methods . LNCS sublibrary ; SL 2 . Programming and software engineering
所蔵館1館
Jeremy Gibbons, José Nuno Oliveira (eds.)
Springer c2009 Lecture notes in computer science 5846
José Nuno Oliveira, Pamela Zave (eds.)
Springer c2001 Lecture notes in computer science 2021
所蔵館32館
Roland Backhouse, José Nuno Oliveira (eds.)
Springer c2000 Lecture notes in computer science 1837
所蔵館37館
S. Doaitse Swierstra, Pedro R. Henriques, José N. Oliveira (eds.)
Springer c1999 Lecture notes in computer science 1608
所蔵館39館