Formal Methods in Architecture
Sprache: Englisch
Verlag: Springer, Berlin|Springer Nature Singapore|Springer, 2023
Serie: Buch 10 von 17 - Digital Innovations in Architecture, Engineering and Construction
- Hardcover
- Neu
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer:in bei ZVAB seit 9. Juli 2020
Zustand: Neu
EUR 197,62
Anzahl: Mehr als 20 verfügbar
In den WarenkorbBestandsnummer des Verkäufers 838236832
- Titel
- Formal Methods in Architecture
- Verlag
- Springer, Berlin|Springer Nature Singapore|Springer
- Erscheinungsjahr
- 2023
- Zustand
- New
- Einband
- Hardcover
- Sprache
- Englisch
- ISBN-10
- 981992216X
- ISBN-13
- 9789819922161
- Serie
- Buch 10 von 17: Digital Innovations in Architecture, Engineering and Construction
This book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022. The contents focus on the use of methodologies, especially those that have witnessed recent developments stemming from mathematical and computer sciences and are developed in a collaborative way with architecture and related fields. This book constitutes a contribution to the debate and to the introduction of new methodologies and tools in the mentioned fields that derive from the application of formal methods in the creation of new explicit languages for problem-solving in architecture and urbanism. Some of the themes in the book are CAD and BIM, mixed realities, photogrammetry and 3D scan, architectural design automation, urban and building performance analysis, SCAVA-space configuration, accessibility and visibility analysis. This book proves a valuable resource for those in academia and industry.
„Inhaltsangabe“ gehört möglicherweise zu einer anderen Auflage dieses Titels.
Über die Autorin bzw. den Autor
Plácido Lizancos Mora is a Spanish architect (Universidade de Santiago de Compostela, 1988) and Masters of Architecture for African Development (Universidad Politécnica de Madrid, 2009). As a senior professor, he teaches architectonic analysis and basic habitability at Escola Técnica Superior de Arquitectura of Universidade da Coruña (ETSAC) since 1993. He has also taught as a visitor in PUCMM in the Dominican Republic; ENA in Rabat, Morocco; and UEM Mozambique and USB in Venezuela. As a researcher, he approaches using analytical tools to address social issues of architecture, producing many publications in this field and managing several research projects, some of them in a joint venture with Architecture Sanz Frontiers. He is also committed to managing educational institutions in various positions.
David Leite Viana is a post-doc. in Urban Morphology/Civil Engineering (FEUP, 2015), Ph.D. in Urban and Spatial Planning (IUU-UVa, 2008), DEA in Modern City and Architecture (UVa, 2005), and Dipl. Arch. (ESAP, 1999). He is the head of the Urban Planning Division at Matosinhos Municipality, a professor in the Integrated Master Programme on Architecture and Urbanism at UPT, an invited professor in the Master Programme on Geographic Information Systems Applied to Spatial Planning, Urbanism and Landscape at UPV, PhD supervisor in the doctorate programme on Architecture for the Contemporary Metropolitan Territories at Iscte, an external reviewer at Chalmers University of Technology (Architecture and Urban Design Programme), a researcher at CEAU-FAUP, a visiting scholar in the Centre for Architecture, Urbanism and Global Heritage at NTU, and a visiting fellow in the Architecture & City Group at TU Delft (Theories of Architecture Fellowship Program). He is a co-founder and co-chair of the International Symposium Formal Methods in Architecture, PNUM Scientific Councillor and editorial board member of the journal “Revista de Morfologia Urbana”. He is the author of one book and co-editor of three volumes and two special issues. He is also the author of more than twenty book chapters and more than twenty-five papers published nationally and abroad.
Franklim Morais is a Portuguese civil and electronic engineer, Ph.D. professor and researcher. He was the leader of development teams of private commercial software for scientific applications: pioneering, in the early 1980s, the use of finite element methods for structural engineering on microcomputing; and since the early 1990s, developing COTS private hardware and software systems for smart buildings, urban spaces and cities. He is an invited professor in ESAP (Arts University of Porto) Architectural Course since 2001. He participates in LIAD, an academic research team, in a group dedicated to Formal Methods in Architecture. A major achievement is the production of DepthSpace3D and SCAVATools, digital tools for space syntax analysis. Since 1991, he participated in the organization (scientific and operational committees) of 12 conferences on his scientific fields of interest, including the 2 symposia of the series “Formal Methods in Architecture” (since 2011). Since 1987, he has produced several conference papers and journal articles, being co-editor of three books on Formal Methods in Architecture.
Jorge Vieira Vaz Architect (FA Uni. Porto, Portugal, 1990), master’s in urban Renovation (Poznań Uni. Tech, Poland, 1995), DEA in Composición Arquitectónica (Uni. Valladolid, Spain, 2002), is a teacher of Construction and Technologies in the Master Course in Architecture at ESAP (Porto, since 1993). He is a teacher and co-coordinator of “Bim Coordination” postgraduated studies programme at ISEP (Instituto Superior de Engenharia do Porto) since 2019. He was a teacher at Coimbra University (Civil Engineering Department), Aveiro University (Communication and Art Department), ARCA/ETACoimbra (Architecture Course) and at High Institute of Administrative and Informational Sciences of Aveiro (Public Administration Course). He was a M.Sc. Thesis supervisor and jury member in several institutions (Minho University, Gallaecia University, Aveiro University and ESAPorto). He develops his professional activity as architect since 1991 and at AAVV (Portugal and Bonaire, since 2000) is a certified expert in building thermal behaviour (ADENE, since 2008) and is BIM/VDCPM―Building Information Modelling/Virtual Design and Construction Project Manager (since 2005). He was co-founder of IERU―Institute of Regional and Urban Studies at University of Coimbra and was a researcher at MEREC Project―Managing Energy and Resources in Efficient Cities (Tennessee Valley Authority/CCRC/FLAD, Coimbra) and at RECITE/REBUILD Network Programme―Renewable Energies for Buildings in European Historical Centers, (European Commission―DGXVII); nowadays, he develops his research activity in Formal Methodologies in Architectural Design and Construction, namely BIM (Building Information Modelling), parametric design, ontologies and taxonomy, at LIAD/ESAP- Architecture and Design Research Laboratory. He co-developed “DepthSpace 3D” digital tool, for three-dimensional spatial syntactic analyses (LIAD/ESAP) now a full-functional digital application in space syntax (SS), granted by EU founds. He is a (co)founder and chair of the International Symposium Formal Methods in Architecture, since 1st edition. He was a guest co-editor of the Special Issue “Formalizing Urban Methodologies” (Urban Science Journal, 2018) and was a co-editor of the books: Formal Methods in Architecture and Urbanism (Cambridge Scholars Publishing, 2018), Formal Methods in Architecture (Springer, 2021) and Formal Methods in Architecture and Urbanism II (Cambridge Scholars Publishing, 2021).„Über diesen Titel“ gehört möglicherweise zu einer anderen Auflage dieses Titels.
moluna
Greven, Deutschland
Verkäufer:in bei ZVAB seit 9. Juli 2020
Versandkosten von Deutschland nach USA
| Artikel | 16 bis 45 Werktage | 16 bis 45 Werktage |
|---|---|---|
| Erster Artikel | EUR 48,99 | EUR 48,99 |
Zahlungsarten
- Banküberweisung
- PayPal
- Vorauskasse
Shopbeschreibung
Online Handel nur mit Neubüchern
Unternehmensdaten der Verkäuferin bzw. des Verkäufers
Moluna GmbH
Engberdingdamm 27
Greven, Deutschland 48268
Verkaufsbedingungen
Impressum
Gesetzliche Anbieterkennung:
Moluna GmbH
diese vertr. d. d. Geschäftsführer Helge Blischke
Engberdingdamm 27
48268 Greven
Deutschland
Telefon: 02571/5698933
Telefax: 02571/5698930
E-Mail: abe@moluna.de
USt-IdNr.: DE296281834
eingetragen im Handelsregister des Amtsgerichtes Steinfurt
Handelsregisternummer HRB 10553
Wir sind nicht bereit und nicht verpflichtet, an Streitbeilegungsverfahren vor Verbraucherschlichtungsstellen teilzunehmen.
Wir sind seit 24.07.2015 Mitglied der Initiative "FairCommerce".
Nähere Informationen hierzu finden Sie unter www.haendlerbund.de/faircommerce -- [www.haendlerbund.de/faircommerce]
Widerrufsrecht
Wenn Sie Verbraucher sind, können Sie gemäß den folgenden Bestimmungen vom Vertrag zurücktreten. Verbraucher ist jede natürliche Person, die zu Zwecken handelt, die nicht ihrer kaufmännischen, gewerblichen, künstlerischen oder beruflichen Tätigkeit zugerechnet werden können.
Informationen zum Widerrufsrecht
Gesetzliches Widerrufsrecht
Sie haben das Recht, den Vertrag innerhalb von 14 Tagen ohne Angabe von Gründen zu widerrufen.
Die Widerrufsfrist beträgt 14 Tage ab dem Tag, an dem Sie oder ein von Ihnen benannter Dritter, der nicht der Transporteur ist, die letzte Ware oder den letzten Posten oder das letzte Exemplar in Besitz genommen hat.
Um das Widerrufsrecht auszuüben, füllen Sie auf unserer Website unter „Meine Einkäufe" in „Mein Nutzerkonto" eine eindeutige Erklärung elektronisch aus und senden Sie sie ab. Wir werden Ihnen unverzüglich eine Bestätigung über den Eingang eines solchen Widerrufs auf einem dauerhaften Datenträger (z. B. per E-Mail) übermitteln.
Um die Widerrufsfrist einzuhalten, reicht es aus, dass Sie Ihre Mitteilung über die Ausübung des Widerrufsrechts vor Ablauf der Widerrufsfrist absenden.
Auswirkungen des Widerrufs
Wenn Sie diesen Vertrag widerrufen, erstatten wir Ihnen alle Zahlungen, die wir von Ihnen erhalten haben, einschließlich der Lieferkosten (mit Ausnahme der zusätzlichen Kosten, die entstehen, wenn Sie eine andere Art der Lieferung als die von uns angebotene günstigste Standardlieferung gewählt haben).
Wir können einen Abzug von der Rückerstattung für den Wertverlust der gelieferten Waren vornehmen, wenn der Verlust auf eine unnötige Behandlung durch Sie zurückzuführen ist.
Wir werden die Rückerstattung unverzüglich und nicht später als 14 Tage nach dem Tag vornehmen, an dem wir über Ihre Entscheidung, diesen Vertrag zu widerrufen, informiert wurden.
Für die Rückerstattung verwenden wir dasselbe Zahlungsmittel, das Sie für die ursprüngliche Transaktion verwendet haben, es sei denn, Sie haben ausdrücklich etwas anderes vereinbart; in keinem Fall werden Ihnen aufgrund einer solchen Rückerstattung Gebühren berechnet.
Wir können die Rückzahlung verweigern, bis wir die Waren wieder zurückerhalten haben oder Sie den Nachweis erbracht haben, dass Sie die Waren zurückgesandt haben, je nachdem, was eher eintritt.
Sie müssen die Waren unverzüglich und in jedem Fall spätestens 14 Tage ab dem Tag, an dem Sie uns über den Widerruf dieses Vertrags unterrichten, an moluna, Greven, Germany, zurücksenden oder übergeben. Die Frist ist eingehalten, wenn Sie die Ware vor Ablauf der Frist von 14 Tagen zurücksenden. Sie müssen die direkten Kosten der Rücksendung der Waren tragen. Sie haften nur für einen etwaigen Wertverlust der Waren, der auf eine Behandlung zurückzuführen ist, die nicht zur Prüfung der Art, Eigenschaften und Funktionsweise der Waren erforderlich ist.
Ausnahmen vom Widerrufsrecht
Das Widerrufsrecht gilt nicht für:
- Die Lieferung von Zeitungen, Zeitschriften oder Magazinen mit Ausnahme von Abonnementverträgen; und
- Die Lieferung digitaler Inhalte, die nicht auf einem physischen Medium (z. B. auf einer CD oder DVD) geliefert werden, wenn Sie bei Ihrer Bestellung akzeptiert haben, dass wir mit der Lieferung beginnen können und dass Sie nach Beginn der Lieferung den Vertrag nicht mehr widerrufen können.
Versandbedingungen
II. Kundeninformationen
- Identität des Verkäufers
Moluna GmbH
Engberdingdamm 27
48268 Greven
Deutschland
Telefon: 02571/5698933
E-Mail: abe@moluna.de
Wir sind nicht bereit und nicht verpflichtet, an Streitbeilegungsverfahren vor Verbraucherschlichtungsstellen teilzunehmen.
- Informationen zum Zustandekommen des Vertrages
Die technischen Schritte zum Vertragsschluss, der Vertragsschluss selbst und die Korrekturmöglichkeiten erfolgen nach Maßgabe der Regelungen "Zustandekommen des Vertrages" unserer Allgemeinen Geschäftsbedingungen (Teil I.).
- Vertragssprache, Vertragstextspeicherung
3.1. Vertragssprache ist deutsch .
3.2. Der vollständige Vertragstext wird von uns nicht gespeichert. Vor Absenden der Bestellung können die Vertragsdaten über die Druckfunktion des Browsers ausgedruckt oder elektronisch gesichert werden. Nach Zugang der Bestellung bei uns werden die Bestelldaten, die gesetzlich vorgeschriebenen Informationen bei Fernabsatzverträgen und die Allgemeinen Geschäftsbedingungen nochmals per E-Mail an Sie übersandt.
- Wesentliche Merkmale der Ware oder Dienstleistung
Die wesentlichen Merkmale der Ware und/oder Dienstleistung finden sich im jeweiligen Angebot.
- Preise und Zahlungsmodalitäten
5.1. Die in den jeweiligen Angeboten angeführten Preise sowie die Versandkosten stellen Gesamtpreise dar. Sie beinhalten alle Preisbestandteile einschließlich aller anfallenden Steuern.
5.2. Die anfallenden Versandkosten sind nicht im Kaufpreis enthalten. Sie sind über eine entsprechend bezeichnete Schaltfläche auf unserer Internetpräsenz oder im jeweiligen Angebot aufrufbar, werden im Laufe des Bestellvorganges gesondert ausgewiesen und sind von Ihnen zusätzlich zu tragen, soweit nicht die versandkostenfreie Lieferung zugesagt ist.
5.3. Die Ihnen zur Verfügung stehenden Zahlungsarten sind unter einer entsprechend bezeichneten Schaltfläche auf unserer Internetpräsenz oder im jeweiligen Angebot ausgewiesen.
5.4. Soweit bei den einzelnen Zahlungsarten nicht anders angegeben, sind die Zahlungsansprüche aus dem geschlossenen Vertrag sofort zur Zahlung fällig.
- Lieferbedingungen
6.1. Die Lieferbedingungen, der Liefertermin sowie gegebenenfalls bestehende Lieferbeschränkungen finden sich unter einer entsprechend bezeichneten Schaltfläche auf unserer Internetpräsenz oder im jeweiligen Angebot.
Soweit im jeweiligen Angebot oder unter der entsprechend bezeichneten Schaltfläche keine andere Frist angegeben ist, erfolgt die Lieferung der Ware innerhalb von 3-5 Tagen nach Vertragsschluss (bei vereinbarter Vorauszahlung jedoch erst nach dem Zeitpunkt Ihrer Zahlungsanweisung).
6.2. Soweit Sie Verbraucher sind ist gesetzlich geregelt, dass die Gefahr des zufälligen Untergangs und der zufälligen Verschlechterung der verkauften Sache während der Versendung erst mit der Übergabe der Ware an Sie übergeht, unabhängig davon, ob die Versendung versichert oder unversichert erfolgt. Dies gilt nicht, wenn Sie eigenständig ein nicht vom Unternehmer benanntes Transportunternehmen oder eine sonst zur Ausführung der Versendung bestimmte Person beauftragt haben.
Sind Sie Unternehmer, erfolgt die Lieferung und Versendung auf Ihre Gefahr.
- Gesetzliches Mängelhaftungsrecht
Die Mängelhaftung richtet sich nach der Regelung "Gewährleistung" in unseren Allgemeinen Geschäftsbedingungen (Teil I).
letzte Aktualisierung: 23.10.2019