City planning - Congresses. - Data processing

Recent advances in design and decision support systems in architecture and urban planning by: (Electronic resources)

Recent Advances in Design and Decision Support Systems in Architecture and Urban Planning by: (Language materials, printed)

Formal methods in architecture = proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruna 2022 / by: (Electronic resources)

Intelligence for future cities = planning through big data and urban analytics / by: (Electronic resources)

Computational urban planning and management for smart cities by: (Electronic resources)

Formal methods in architecture = proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 / by: (Electronic resources)

Spatial data and intelligence = 4th International Conference, SpatialDI 2023, Nanchang, China, April 13-15, 2023 : proceedings / by: (Electronic resources)

Artificial intelligence

Computer Science, general.

Geospatial data- Computer processing

Geographical Information Systems/Cartography.

Traffic engineering- Data processing

Computer and Information Systems Applications.

Sustainable Architecture/Green Buildings.

Building Construction and Design.

Formal methods (Computer science)

Mathematics.

Architecture, general.

Information Storage and Retrieval.

Architecture.

Computer-Aided Engineering (CAD, CAE) and Design.

Architecture- Data processing

Visualization- Congresses.

Urban Geography / Urbanism (inc. megacities, cities, towns)

Landscape/Regional and Urban Planning.

Computational Science and Engineering.

Architectural drawing- Data processing

City planning- Data processing

Civil engineering.

Mathematics, general.

City planning

Smart cities

Cities, Countries, Regions.

Regional planning- Data processing

Computer science.

Civil Engineering.

Computer Communication Networks.

System Performance and Evaluation.

Computer System Implementation.

Urbanism.