| Карточка | Таблица | RUSMARC | |
|
|
Formal methods in architecture and urbanism / edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz. — 1 online resource (viii, 397 pages) : illustrations, plans. — <URL:http://elib.fa.ru/ebsco/1856826.pdf>.Дата создания записи: 30.07.2018 Тематика: Architecture — Data processing.; Formal methods (Computer science); Architecture — Data processing.; Formal methods (Computer science); ARCHITECTURE / Adaptive Reuse & Renovation; ARCHITECTURE / Buildings / Landmarks & Monuments; ARCHITECTURE / Professional Practice; ARCHITECTURE / Reference Коллекции: EBSCO Разрешенные действия: –
Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Группа: Анонимные пользователи Сеть: Интернет |
Права на использование объекта хранения
| Место доступа | Группа пользователей | Действие | ||||
|---|---|---|---|---|---|---|
| Локальная сеть Финуниверситета | Все |
|
||||
| Интернет | Читатели |
|
||||
|
Интернет | Анонимные пользователи |
Оглавление
- Contents
- Introduction
- 3rd Symposium Formal Methods in Architecture: Opening Speech
- Part I – From Information Gathering and Processing
- Chapter One
- Chapter Two
- Chapter Three
- Chapter Four
- Chapter Five
- Part II – To Higher Semantic Levels of Theories
- Chapter Six
- Chapter Seven
- Chapter Eight
- Chapter Nine
- Chapter Ten
- Chapter Eleven
- Chapter Twelve
- Chapter Thirteen
- Part III – To Design Methods of Project Production
- Chapter Fourteen
- Chapter Fifteen
- Chapter Sixteen
- Chapter Seventeen
- Chapter Eighteen
- Chapter Nineteen
- Chapter Twenty
- Part IV – To Material Production
- Chapter Twenty One
- Chapter Twenty Two
- Chapter Twenty Three
- List of Figures
- List of Contributors
- Contributor Biographies
Статистика использования
|
|
Количество обращений: 0
За последние 30 дней: 0 Подробная статистика |