Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Graph Reduction: Proceedings of a Workshop Santa Fé, New Mexico, USA September 29–October 1, 1986Fasel, Joseph H ; Keller, Robert M Keller, Robert M. ; Fasel, Joseph H.Berlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |
|
2 |
Material Type: Livro
|
Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020Morais, Franklim ; Eloy, Sara ; Leite Viana, David ; Vieira Vaz, JorgeCham: Springer International PublishingSem texto completo |
|
3 |
Material Type: Livro
|
|
|
4 |
Material Type: Livro
|
Nexus Network Journal 12,3: Architecture and MathematicsWilliams, KimBasel: Birkhauser Verlag GmbH 2011Texto completo disponível |
|
5 |
Material Type: Livro
|
Nexus Network Journal 14,1: Architecture and MathematicsWilliams, KimBasel: Springer Basel AG 2013Texto completo disponível |
|
6 |
Material Type: Livro
|
|
|
7 |
Material Type: Livro
|
Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020Eloy, Sara ; Leite Viana, David ; Morais, Franklim ; Vieira Vaz, JorgeCham: Springer International Publishing AG 2021Sem texto completo |
|
8 |
Material Type: Livro
|
Nexus Network Journal 14,3: Architecture and MathematicsWilliams, KimBasel: Springer Basel AG 2013Texto completo disponível |
|
9 |
Material Type: Livro
|
Nexus Network Journal 12,2: Architecture and MathematicsWilliams, KimBasel: Birkhäuser Boston 2010Texto completo disponível |
|
10 |
Material Type: Livro
|
Nexus Network Journal 12,1: Architecture and MathematicsWilliams, Kim ; Capanna, Alessandra ; Salgado, Tomás GarcíaBasel: Birkhauser Verlag GmbH 2011Texto completo disponível |