Electronic Documents Search
Documents found: 2
-
Formal Methods in Architecture and Urbanism, Volume 2.
Creators Ruivo Catarina.; Viana David Leite.; Morais Franklim. Collection Электронные книги зарубежных издательств; Общая коллекция Subjects Architecture — Data processing.; Formal methods (Computer science); Computer architecture.; Ordinateurs — Architecture.; Méthodes formelles (Informatique); Architecture.; City & town planning - architectural aspects.; Computer science.; EBSCO eBooks Document type Other File type PDF Language English Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 14.0 Mb -
Formal methods in architecture and urbanism
Other creators Viana David Leite; Morais Franklim; Vaz Jorge Vieira Collection Электронные книги зарубежных издательств; Общая коллекция Subjects Architecture — Data processing.; Formal methods (Computer science); ARCHITECTURE / Adaptive Reuse & Renovation; ARCHITECTURE / Buildings / Landmarks & Monuments; ARCHITECTURE / Professional Practice; ARCHITECTURE / Reference; EBSCO eBooks Document type Other File type PDF Language English Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 8.7 Mb