Imágen de Portada

Código QR

Formal methods in architecture and urbanism /

Detalles Bibliográficos
Otros autores:	Viana, David Leite,, Morais, Franklim,, Vaz, Jorge Vieira,
Formato:	eBook
Idioma:	English
Fecha de publicación:	Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018.
Materias:	Architecture > Data processing. Formal methods (Computer science) Electronic books.
Acceso en línea:	https://recursos.uloyola.es/login?url=https://accedys.uloyola.es:8443/accedix0/sitios/ebook.php?id=152091

Ejemplares similares

Revit Architecture : manual de iniciación /
por: Anguita, María.
Fecha de publicación: (2017)

Proyecto WADBA, World Architecture Data Base : una aproximación al rol del arquitecto en la sociedad del conocimiento /
por: García Amen, Fernando.
Fecha de publicación: (2013)

Performalism : form and performance in digital architecture /
por: Grobman, Yasha J.
Fecha de publicación: (2012)

Diseño digital : uso interactivo e integrado de las herramientas digitales en la arquitectura /
por: Velasco Gómez, Rodrigo.
Fecha de publicación: (2015)

Formalizing natural languages : the NooJ approach /
por: Silberztein, Max,
Fecha de publicación: (2016)

El gran libro de Autodesk 3ds max 9
Fecha de publicación: (2007)

Teamwork in multi-agent systems a formal approach /
por: Dunin-Kȩplicz, Barbara.
Fecha de publicación: (2010)

Enseñanza de matemática para arquitectos y diseñadores /
por: Nottoli, Hernán.
Fecha de publicación: (2017)

An introduction to the finite element method using BASIC programs /
por: Brown, D. K.,
Fecha de publicación: (2006)

Bio-inspired models for natural and formal languages
Fecha de publicación: (2011)

Data analysis and statistics for geography, environmental science, and engineering /
por: Acevedo, Miguel F.,
Fecha de publicación: (2013)

Practical guide to alterations and improvements
por: Cooper, Ron.
Fecha de publicación: (1985)

Big data and social science : a practical guide to methods and tools /
Fecha de publicación: (2017)

La educación no formal en "Escuelas Católicas" /
Fecha de publicación: (2007)

Statistical methods for hospital monitoring with R
Fecha de publicación: (2013)

Textual information access statistical models /
Fecha de publicación: (2012)

Computational methods for large systems electronic structure approaches for biotechnology and nanotechnology /
Fecha de publicación: (2011)

Bioinformatics high performance parallel computer architectures /
Fecha de publicación: (2010)

The analytics lifecycle toolkit : a practical guide for an effective analytics capability /
por: Nelson, Gregory S., 1964-
Fecha de publicación: (2018)

Scientific computing with multicore and accelerators /
Fecha de publicación: (2011)

Computer processing of Sanskrit nominal inflections methods and implementation /
por: Chandra, Subhash, M. Phil.
Fecha de publicación: (2011)

Introduction to data analysis with R for forensic scientists
por: Curran, James Michael.
Fecha de publicación: (2010)

Formal grammar theory and implementation /
Fecha de publicación: (1992)

Statistical bioinformatics a guide for life and biomedical science researchers /
Fecha de publicación: (2010)

Data mining methods for the content analyst : an introduction to the computational analysis of content /
por: Leetaru, Kalev.
Fecha de publicación: (2012)

Computer architecture
por: Blanchet, Gerard.
Fecha de publicación: (2013)

Aprendizaje más allá de las aulas : didácticas específicas en contextos no formales /
Fecha de publicación: (2020)

Numerical and analytical methods with MATLAB for electrical engineers /
por: Bober, William, 1930-
Fecha de publicación: (2013)

Applied statistics with SPSS /
por: Huizingh, Eelko.
Fecha de publicación: (2007)

Lithuanian architecture and urbanism : essays in history and aesthetics /
por: Samalavičius, Almantas,
Fecha de publicación: (2019)

Surface modeling high accuracy and high speed methods /
por: Yue, Tian-Xiang.
Fecha de publicación: (2010)

Biomolecular networks methods and applications in systems biology /
por: Chen, Luonan, 1962-
Fecha de publicación: (2009)

Qualitative text analysis : a guide to methods, practice & using software /
por: Kuckartz, Udo,
Fecha de publicación: (2002)

Cloud computing : methodology, system, and applications /
Fecha de publicación: (2012)

ERP and information systems : integration or disintegration /
por: Samara, Tarek,
Fecha de publicación: (2015)

Implementing and developing cloud computing applications /
por: Sarna, David E. Y.,
Fecha de publicación: (2011)

Mobile and pervasive computing in construction
Fecha de publicación: (2012)

Ingenuos, ignorantes, inocentes : De la educación informal a la escuela autoorganizada /
por: Calvo Muñoz, Carlos,
Fecha de publicación: (2017)

Combinatorial scientific computing /
Fecha de publicación: (2012)

A practical guide to analytics for governments : using big data for good /
por: Lowman, Marie ,
Fecha de publicación: (2017)