Formal methods in architecture and urbanism

Gespeichert in:

Autor*in:	Viana, David Leite [herausgeberIn] Morais, Franklim [herausgeberIn] Vaz, Jorge Vieira [herausgeberIn]

Format:	Buch
Sprache:	Englisch

Erschienen:	Newcastle upon Tyne: Cambridge Scholars Publishing ; 2018

Schlagwörter:	Architektur / Stadtplanung / Methodisches Konstruieren / Formale Methode / Computerunterstütztes Verfahren

Systematik:	ZH 3470

Umfang:	viii, 397 Seiten ; Illustrationen

Weitere Ausgabe:	Erscheint auch als Online-Ausgabe: Formal methods in architecture and urbanism - Newcastle upon Tyne : Cambridge Scholars Publishing, 2018

Links:	Inhaltsverzeichnis
ISBN:	1-5275-0762-9 978-1-5275-0762-3

Katalog-ID:	1019704586

Internformat


LEADER	01000cam a2200265 4500
001	1019704586
003	DE-627
005	20240824111336.0
007	tu
008	180426s2018 xxk\|\|\|\|\| 00\| \|\|eng c
020			\|a 1527507629 \|9 1-5275-0762-9
020			\|a 9781527507623 \|9 978-1-5275-0762-3
035			\|a (DE-627)1019704586
035			\|a (DE-599)BVBBV044898967
035			\|a (OCoLC)1035453351
035			\|a (DE-604)BV044898967
040			\|a DE-627 \|b ger \|c DE-627 \|e rakwb
041			\|a eng
044			\|c XA-GB
082	0		\|a 720.28402855369 \|q SEPA
084			\|a ZH 3470 \|2 rvk \|0 (DE-625)rvk/156118:
084			\|a 50.15 \|2 bkl
084			\|a 56.03 \|2 bkl
084			\|a 74.72 \|2 bkl
245	1	0	\|a Formal methods in architecture and urbanism \|c edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz
264		1	\|a Newcastle upon Tyne \|b Cambridge Scholars Publishing \|c 2018
300			\|a viii, 397 Seiten \|b Illustrationen
336			\|a Text \|b txt \|2 rdacontent
337			\|a ohne Hilfsmittel zu benutzen \|b n \|2 rdamedia
338			\|a Band \|b nc \|2 rdacarrier
689	0	0	\|D s \|0 (DE-588)4002851-3 \|0 (DE-627)104280352 \|0 (DE-576)208848975 \|a Architektur \|2 gnd
689	0	1	\|D s \|0 (DE-588)4056754-0 \|0 (DE-627)106153811 \|0 (DE-576)209118857 \|a Stadtplanung \|2 gnd
689	0	2	\|D s \|0 (DE-588)4139311-9 \|0 (DE-627)105636266 \|0 (DE-576)209693347 \|a Methodisches Konstruieren \|2 gnd
689	0	3	\|D s \|0 (DE-588)4333722-3 \|0 (DE-627)148061516 \|0 (DE-576)21134253X \|a Formale Methode \|2 gnd
689	0	4	\|D s \|0 (DE-588)4139030-1 \|0 (DE-627)104369949 \|0 (DE-576)209691026 \|a Computerunterstütztes Verfahren \|2 gnd
689	0		\|5 (DE-627)
700	1		\|a Viana, David Leite \|e herausgeberin \|0 (DE-588)1157017576 \|0 (DE-627)1020007281 \|0 (DE-576)502566493 \|4 edt
700	1		\|a Morais, Franklim \|e herausgeberin \|0 (DE-588)1157017606 \|0 (DE-627)1020007346 \|0 (DE-576)502566647 \|4 edt
700	1		\|a Vaz, Jorge Vieira \|e herausgeberin \|0 (DE-588)1157017649 \|0 (DE-627)1020007397 \|0 (DE-576)502566620 \|4 edt
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|t Formal methods in architecture and urbanism \|d Newcastle upon Tyne : Cambridge Scholars Publishing, 2018 \|h 1 Online-Ressource (viii, 397 Seiten) \|w (DE-627)1759821497 \|z 9781527514577
856	4	2	\|u https://www.gbv.de/dms/tib-ub-hannover/1019704586.pdf \|m V:DE-601 \|m B:DE-89 \|q pdf/application \|3 Inhaltsverzeichnis
912			\|a GBV_ILN_70
912			\|a ISIL_DE-89
912			\|a SYSFLAG_1
912			\|a GBV_KXP
912			\|a GBV_ILN_370
912			\|a ISIL_DE-1373
936	r	v	\|a ZH 3470 \|b Datenverarbeitung für Architekten (u.a. AutoCAD, Computersimulation) \|k Technik \|k Architektur \|k Architekturpraxis \|k Datenverarbeitung für Architekten (u.a. AutoCAD, Computersimulation) \|0 (DE-627)1271600471 \|0 (DE-625)rvk/156118: \|0 (DE-576)201600471
936	b	k	\|a 50.15 \|j Konstruktionslehre \|0 (DE-627)106421336
936	b	k	\|a 56.03 \|j Methoden im Bauingenieurwesen \|0 (DE-627)181570335
936	b	k	\|a 74.72 \|j Stadtplanung \|j kommunale Planung \|0 (DE-627)106411039
951			\|a BO
953			\|2 045F \|a 720.28402855369
980			\|2 70 \|1 01 \|x 0089 \|b 1825340366 \|c 00 \|f --%%-- \|d T 18 B 4605 \|e u \|j --%%-- \|y z \|z 20-01-20
980			\|2 370 \|1 01 \|x 4370 \|b 1784218235 \|c 00 \|f OG \|d ZH 3470 048 \|e u \|j --%%-- \|y z \|z 16-07-18
984			\|2 70 \|1 01 \|x 0089 \|a 89$142235245
984			\|2 370 \|1 01 \|x 4370 \|a HC047435
985			\|2 370 \|1 01 \|x 4370 \|a 2018-1285
998			\|2 370 \|1 01 \|x 4370 \|0 2018.09.03

Indexfelder

matchkey_str	book:9781527507623:2018----
oclc_num	1035453351
hierarchy_sort_str	2018
bklnumber	50.15 56.03 74.72
publishDate	2018
allfields	1527507629 1-5275-0762-9 9781527507623 978-1-5275-0762-3 (DE-627)1019704586 (DE-599)BVBBV044898967 (OCoLC)1035453351 (DE-604)BV044898967 DE-627 ger DE-627 rakwb eng XA-GB 720.28402855369 SEPA ZH 3470 rvk (DE-625)rvk/156118: 50.15 bkl 56.03 bkl 74.72 bkl Formal methods in architecture and urbanism edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz Newcastle upon Tyne Cambridge Scholars Publishing 2018 viii, 397 Seiten Illustrationen Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier s (DE-588)4002851-3 (DE-627)104280352 (DE-576)208848975 Architektur gnd s (DE-588)4056754-0 (DE-627)106153811 (DE-576)209118857 Stadtplanung gnd s (DE-588)4139311-9 (DE-627)105636266 (DE-576)209693347 Methodisches Konstruieren gnd s (DE-588)4333722-3 (DE-627)148061516 (DE-576)21134253X Formale Methode gnd s (DE-588)4139030-1 (DE-627)104369949 (DE-576)209691026 Computerunterstütztes Verfahren gnd (DE-627) Viana, David Leite herausgeberin (DE-588)1157017576 (DE-627)1020007281 (DE-576)502566493 edt Morais, Franklim herausgeberin (DE-588)1157017606 (DE-627)1020007346 (DE-576)502566647 edt Vaz, Jorge Vieira herausgeberin (DE-588)1157017649 (DE-627)1020007397 (DE-576)502566620 edt Erscheint auch als Online-Ausgabe Formal methods in architecture and urbanism Newcastle upon Tyne : Cambridge Scholars Publishing, 2018 1 Online-Ressource (viii, 397 Seiten) (DE-627)1759821497 9781527514577 https://www.gbv.de/dms/tib-ub-hannover/1019704586.pdf V:DE-601 B:DE-89 pdf/application Inhaltsverzeichnis GBV_ILN_70 ISIL_DE-89 SYSFLAG_1 GBV_KXP GBV_ILN_370 ISIL_DE-1373 ZH 3470 Datenverarbeitung für Architekten (u.a. AutoCAD, Computersimulation) Technik Architektur Architekturpraxis Datenverarbeitung für Architekten (u.a. AutoCAD, Computersimulation) (DE-627)1271600471 (DE-625)rvk/156118: (DE-576)201600471 50.15 Konstruktionslehre (DE-627)106421336 56.03 Methoden im Bauingenieurwesen (DE-627)181570335 74.72 Stadtplanung kommunale Planung (DE-627)106411039 BO 045F 720.28402855369 70 01 0089 1825340366 00 --%%-- T 18 B 4605 u --%%-- z 20-01-20 370 01 4370 1784218235 00 OG ZH 3470 048 u --%%-- z 16-07-18 70 01 0089 89$142235245 370 01 4370 HC047435 370 01 4370 2018-1285 370 01 4370 2018.09.03
spelling	1527507629 1-5275-0762-9 9781527507623 978-1-5275-0762-3 (DE-627)1019704586 (DE-599)BVBBV044898967 (OCoLC)1035453351 (DE-604)BV044898967 DE-627 ger DE-627 rakwb eng XA-GB 720.28402855369 SEPA ZH 3470 rvk (DE-625)rvk/156118: 50.15 bkl 56.03 bkl 74.72 bkl Formal methods in architecture and urbanism edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz Newcastle upon Tyne Cambridge Scholars Publishing 2018 viii, 397 Seiten Illustrationen Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier s (DE-588)4002851-3 (DE-627)104280352 (DE-576)208848975 Architektur gnd s (DE-588)4056754-0 (DE-627)106153811 (DE-576)209118857 Stadtplanung gnd s (DE-588)4139311-9 (DE-627)105636266 (DE-576)209693347 Methodisches Konstruieren gnd s (DE-588)4333722-3 (DE-627)148061516 (DE-576)21134253X Formale Methode gnd s (DE-588)4139030-1 (DE-627)104369949 (DE-576)209691026 Computerunterstütztes Verfahren gnd (DE-627) Viana, David Leite herausgeberin (DE-588)1157017576 (DE-627)1020007281 (DE-576)502566493 edt Morais, Franklim herausgeberin (DE-588)1157017606 (DE-627)1020007346 (DE-576)502566647 edt Vaz, Jorge Vieira herausgeberin (DE-588)1157017649 (DE-627)1020007397 (DE-576)502566620 edt Erscheint auch als Online-Ausgabe Formal methods in architecture and urbanism Newcastle upon Tyne : Cambridge Scholars Publishing, 2018 1 Online-Ressource (viii, 397 Seiten) (DE-627)1759821497 9781527514577 https://www.gbv.de/dms/tib-ub-hannover/1019704586.pdf V:DE-601 B:DE-89 pdf/application Inhaltsverzeichnis GBV_ILN_70 ISIL_DE-89 SYSFLAG_1 GBV_KXP GBV_ILN_370 ISIL_DE-1373 ZH 3470 Datenverarbeitung für Architekten (u.a. AutoCAD, Computersimulation) Technik Architektur Architekturpraxis Datenverarbeitung für Architekten (u.a. AutoCAD, Computersimulation) (DE-627)1271600471 (DE-625)rvk/156118: (DE-576)201600471 50.15 Konstruktionslehre (DE-627)106421336 56.03 Methoden im Bauingenieurwesen (DE-627)181570335 74.72 Stadtplanung kommunale Planung (DE-627)106411039 BO 045F 720.28402855369 70 01 0089 1825340366 00 --%%-- T 18 B 4605 u --%%-- z 20-01-20 370 01 4370 1784218235 00 OG ZH 3470 048 u --%%-- z 16-07-18 70 01 0089 89$142235245 370 01 4370 HC047435 370 01 4370 2018-1285 370 01 4370 2018.09.03
allfields_unstemmed	1527507629 1-5275-0762-9 9781527507623 978-1-5275-0762-3 (DE-627)1019704586 (DE-599)BVBBV044898967 (OCoLC)1035453351 (DE-604)BV044898967 DE-627 ger DE-627 rakwb eng XA-GB 720.28402855369 SEPA ZH 3470 rvk (DE-625)rvk/156118: 50.15 bkl 56.03 bkl 74.72 bkl Formal methods in architecture and urbanism edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz Newcastle upon Tyne Cambridge Scholars Publishing 2018 viii, 397 Seiten Illustrationen Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier s (DE-588)4002851-3 (DE-627)104280352 (DE-576)208848975 Architektur gnd s (DE-588)4056754-0 (DE-627)106153811 (DE-576)209118857 Stadtplanung gnd s (DE-588)4139311-9 (DE-627)105636266 (DE-576)209693347 Methodisches Konstruieren gnd s (DE-588)4333722-3 (DE-627)148061516 (DE-576)21134253X Formale Methode gnd s (DE-588)4139030-1 (DE-627)104369949 (DE-576)209691026 Computerunterstütztes Verfahren gnd (DE-627) Viana, David Leite herausgeberin (DE-588)1157017576 (DE-627)1020007281 (DE-576)502566493 edt Morais, Franklim herausgeberin (DE-588)1157017606 (DE-627)1020007346 (DE-576)502566647 edt Vaz, Jorge Vieira herausgeberin (DE-588)1157017649 (DE-627)1020007397 (DE-576)502566620 edt Erscheint auch als Online-Ausgabe Formal methods in architecture and urbanism Newcastle upon Tyne : Cambridge Scholars Publishing, 2018 1 Online-Ressource (viii, 397 Seiten) (DE-627)1759821497 9781527514577 https://www.gbv.de/dms/tib-ub-hannover/1019704586.pdf V:DE-601 B:DE-89 pdf/application Inhaltsverzeichnis GBV_ILN_70 ISIL_DE-89 SYSFLAG_1 GBV_KXP GBV_ILN_370 ISIL_DE-1373 ZH 3470 Datenverarbeitung für Architekten (u.a. AutoCAD, Computersimulation) Technik Architektur Architekturpraxis Datenverarbeitung für Architekten (u.a. AutoCAD, Computersimulation) (DE-627)1271600471 (DE-625)rvk/156118: (DE-576)201600471 50.15 Konstruktionslehre (DE-627)106421336 56.03 Methoden im Bauingenieurwesen (DE-627)181570335 74.72 Stadtplanung kommunale Planung (DE-627)106411039 BO 045F 720.28402855369 70 01 0089 1825340366 00 --%%-- T 18 B 4605 u --%%-- z 20-01-20 370 01 4370 1784218235 00 OG ZH 3470 048 u --%%-- z 16-07-18 70 01 0089 89$142235245 370 01 4370 HC047435 370 01 4370 2018-1285 370 01 4370 2018.09.03
allfieldsGer	1527507629 1-5275-0762-9 9781527507623 978-1-5275-0762-3 (DE-627)1019704586 (DE-599)BVBBV044898967 (OCoLC)1035453351 (DE-604)BV044898967 DE-627 ger DE-627 rakwb eng XA-GB 720.28402855369 SEPA ZH 3470 rvk (DE-625)rvk/156118: 50.15 bkl 56.03 bkl 74.72 bkl Formal methods in architecture and urbanism edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz Newcastle upon Tyne Cambridge Scholars Publishing 2018 viii, 397 Seiten Illustrationen Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier s (DE-588)4002851-3 (DE-627)104280352 (DE-576)208848975 Architektur gnd s (DE-588)4056754-0 (DE-627)106153811 (DE-576)209118857 Stadtplanung gnd s (DE-588)4139311-9 (DE-627)105636266 (DE-576)209693347 Methodisches Konstruieren gnd s (DE-588)4333722-3 (DE-627)148061516 (DE-576)21134253X Formale Methode gnd s (DE-588)4139030-1 (DE-627)104369949 (DE-576)209691026 Computerunterstütztes Verfahren gnd (DE-627) Viana, David Leite herausgeberin (DE-588)1157017576 (DE-627)1020007281 (DE-576)502566493 edt Morais, Franklim herausgeberin (DE-588)1157017606 (DE-627)1020007346 (DE-576)502566647 edt Vaz, Jorge Vieira herausgeberin (DE-588)1157017649 (DE-627)1020007397 (DE-576)502566620 edt Erscheint auch als Online-Ausgabe Formal methods in architecture and urbanism Newcastle upon Tyne : Cambridge Scholars Publishing, 2018 1 Online-Ressource (viii, 397 Seiten) (DE-627)1759821497 9781527514577 https://www.gbv.de/dms/tib-ub-hannover/1019704586.pdf V:DE-601 B:DE-89 pdf/application Inhaltsverzeichnis GBV_ILN_70 ISIL_DE-89 SYSFLAG_1 GBV_KXP GBV_ILN_370 ISIL_DE-1373 ZH 3470 Datenverarbeitung für Architekten (u.a. AutoCAD, Computersimulation) Technik Architektur Architekturpraxis Datenverarbeitung für Architekten (u.a. AutoCAD, Computersimulation) (DE-627)1271600471 (DE-625)rvk/156118: (DE-576)201600471 50.15 Konstruktionslehre (DE-627)106421336 56.03 Methoden im Bauingenieurwesen (DE-627)181570335 74.72 Stadtplanung kommunale Planung (DE-627)106411039 BO 045F 720.28402855369 70 01 0089 1825340366 00 --%%-- T 18 B 4605 u --%%-- z 20-01-20 370 01 4370 1784218235 00 OG ZH 3470 048 u --%%-- z 16-07-18 70 01 0089 89$142235245 370 01 4370 HC047435 370 01 4370 2018-1285 370 01 4370 2018.09.03
allfieldsSound	1527507629 1-5275-0762-9 9781527507623 978-1-5275-0762-3 (DE-627)1019704586 (DE-599)BVBBV044898967 (OCoLC)1035453351 (DE-604)BV044898967 DE-627 ger DE-627 rakwb eng XA-GB 720.28402855369 SEPA ZH 3470 rvk (DE-625)rvk/156118: 50.15 bkl 56.03 bkl 74.72 bkl Formal methods in architecture and urbanism edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz Newcastle upon Tyne Cambridge Scholars Publishing 2018 viii, 397 Seiten Illustrationen Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier s (DE-588)4002851-3 (DE-627)104280352 (DE-576)208848975 Architektur gnd s (DE-588)4056754-0 (DE-627)106153811 (DE-576)209118857 Stadtplanung gnd s (DE-588)4139311-9 (DE-627)105636266 (DE-576)209693347 Methodisches Konstruieren gnd s (DE-588)4333722-3 (DE-627)148061516 (DE-576)21134253X Formale Methode gnd s (DE-588)4139030-1 (DE-627)104369949 (DE-576)209691026 Computerunterstütztes Verfahren gnd (DE-627) Viana, David Leite herausgeberin (DE-588)1157017576 (DE-627)1020007281 (DE-576)502566493 edt Morais, Franklim herausgeberin (DE-588)1157017606 (DE-627)1020007346 (DE-576)502566647 edt Vaz, Jorge Vieira herausgeberin (DE-588)1157017649 (DE-627)1020007397 (DE-576)502566620 edt Erscheint auch als Online-Ausgabe Formal methods in architecture and urbanism Newcastle upon Tyne : Cambridge Scholars Publishing, 2018 1 Online-Ressource (viii, 397 Seiten) (DE-627)1759821497 9781527514577 https://www.gbv.de/dms/tib-ub-hannover/1019704586.pdf V:DE-601 B:DE-89 pdf/application Inhaltsverzeichnis GBV_ILN_70 ISIL_DE-89 SYSFLAG_1 GBV_KXP GBV_ILN_370 ISIL_DE-1373 ZH 3470 Datenverarbeitung für Architekten (u.a. AutoCAD, Computersimulation) Technik Architektur Architekturpraxis Datenverarbeitung für Architekten (u.a. AutoCAD, Computersimulation) (DE-627)1271600471 (DE-625)rvk/156118: (DE-576)201600471 50.15 Konstruktionslehre (DE-627)106421336 56.03 Methoden im Bauingenieurwesen (DE-627)181570335 74.72 Stadtplanung kommunale Planung (DE-627)106411039 BO 045F 720.28402855369 70 01 0089 1825340366 00 --%%-- T 18 B 4605 u --%%-- z 20-01-20 370 01 4370 1784218235 00 OG ZH 3470 048 u --%%-- z 16-07-18 70 01 0089 89$142235245 370 01 4370 HC047435 370 01 4370 2018-1285 370 01 4370 2018.09.03
language	English
format_phy_str_mv	Book
building	70 370
bklname	Konstruktionslehre Methoden im Bauingenieurwesen Stadtplanung kommunale Planung
institution	findex.gbv.de
selectbib_iln_str_mv	70@ 370@
topic_facet	Architektur Stadtplanung Methodisches Konstruieren Formale Methode Computerunterstütztes Verfahren
dewey-raw	720.28402855369
isfreeaccess_bool	false
authorswithroles_txt_mv	Viana, David Leite @@edt@@ Morais, Franklim @@edt@@ Vaz, Jorge Vieira @@edt@@
publishDateDaySort_date	2018-01-01T00:00:00Z
dewey-sort	3720.28402855369
id	1019704586
signature_iln	70:T 18 B 4605 0089:T 18 B 4605 370:ZH 3470 048 4370:ZH 3470 048
signature_iln_str_mv	70:T 18 B 4605 0089:T 18 B 4605 370:ZH 3470 048 4370:ZH 3470 048
signature_iln_scis_mv	70:T 18 B 4605 0089:T 18 B 4605 370:ZH 3470 048 4370:ZH 3470 048
language_de	englisch
standort_str_mv	--%%-- OG
callnumber-first	T - Technology
standort_iln_str_mv	70:--%%-- 0089:--%%-- 370:OG 4370:OG
ppnlink_with_tag_str_mv	@@776@@(DE-627)1759821497
format	Book
dewey-ones	720 - Architecture
delete_txt_mv	keep
typewithnormlink_str_mv	SubjectHeading@(DE-588)4002851-3 SubjectHeadingSensoStricto@(DE-588)4002851-3 SubjectHeadingSensoStricto@(DE-588)4056754-0 SubjectHeading@(DE-588)4056754-0 SubjectHeadingSensoStricto@(DE-588)4139311-9 SubjectHeading@(DE-588)4139311-9 SubjectHeadingSensoStricto@(DE-588)4333722-3 SubjectHeading@(DE-588)4333722-3 SubjectHeading@(DE-588)4139030-1 SubjectHeadingSensoStricto@(DE-588)4139030-1 DifferentiatedPerson@(DE-588)1157017576 Person@(DE-588)1157017576 DifferentiatedPerson@(DE-588)1157017606 Person@(DE-588)1157017606 DifferentiatedPerson@(DE-588)1157017649 Person@(DE-588)1157017649
collection	KXP GVK
publishPlace	Newcastle upon Tyne
remote_str	false
last_changed_iln_str_mv	70@20-01-20 370@16-07-18
illustrated	Not Illustrated
topic_title	720.28402855369 SEPA ZH 3470 rvk (DE-625)rvk/156118 50.15 bkl 56.03 bkl 74.72 bkl Formal methods in architecture and urbanism edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz s (DE-588)4002851-3 (DE-627)104280352 (DE-576)208848975 Architektur gnd s (DE-588)4056754-0 (DE-627)106153811 (DE-576)209118857 Stadtplanung gnd s (DE-588)4139311-9 (DE-627)105636266 (DE-576)209693347 Methodisches Konstruieren gnd s (DE-588)4333722-3 (DE-627)148061516 (DE-576)21134253X Formale Methode gnd s (DE-588)4139030-1 (DE-627)104369949 (DE-576)209691026 Computerunterstütztes Verfahren gnd (DE-627)
publisher	Cambridge Scholars Publishing
publisherStr	Cambridge Scholars Publishing
topic	ddc 720.28402855369 rvk ZH 3470 bkl 50.15 bkl 56.03 bkl 74.72 gnd Architektur gnd Stadtplanung gnd Methodisches Konstruieren gnd Formale Methode gnd Computerunterstütztes Verfahren
spellingShingle	ddc 720.28402855369 rvk ZH 3470 bkl 50.15 bkl 56.03 bkl 74.72 gnd Architektur gnd Stadtplanung gnd Methodisches Konstruieren gnd Formale Methode gnd Computerunterstütztes Verfahren Formal methods in architecture and urbanism
topic_unstemmed	ddc 720.28402855369 rvk ZH 3470 bkl 50.15 bkl 56.03 bkl 74.72 gnd Architektur gnd Stadtplanung gnd Methodisches Konstruieren gnd Formale Methode gnd Computerunterstütztes Verfahren
topic_browse	ddc 720.28402855369 rvk ZH 3470 bkl 50.15 bkl 56.03 bkl 74.72 gnd Architektur gnd Stadtplanung gnd Methodisches Konstruieren gnd Formale Methode gnd Computerunterstütztes Verfahren
format_facet	Bücher Gedruckte Bücher
standort_txtP_mv	--%%-- OG
format_main_str_mv	Text Buch
carriertype_str_mv	nc
author2_variant	d l v dl dlv f m fm j v v jv jvv
normlinkwithtype_str_mv	(DE-588)4002851-3@SubjectHeading (DE-588)4002851-3@SubjectHeadingSensoStricto (DE-588)4056754-0@SubjectHeadingSensoStricto (DE-588)4056754-0@SubjectHeading (DE-588)4139311-9@SubjectHeadingSensoStricto (DE-588)4139311-9@SubjectHeading (DE-588)4333722-3@SubjectHeadingSensoStricto (DE-588)4333722-3@SubjectHeading (DE-588)4139030-1@SubjectHeading (DE-588)4139030-1@SubjectHeadingSensoStricto (DE-588)1157017576@DifferentiatedPerson (DE-588)1157017576@Person (DE-588)1157017606@DifferentiatedPerson (DE-588)1157017606@Person (DE-588)1157017649@DifferentiatedPerson (DE-588)1157017649@Person
signature	T 18 B 4605 ZH 3470 048
signature_str_mv	T 18 B 4605 ZH 3470 048
dewey-tens	720 - Architecture
isbn	1527507629 9781527507623 9781527514577 1527514579
isfreeaccess_txt	false
normlinkwithrole_str_mv	(DE-588)4002851-3@@689@@ (DE-588)4056754-0@@689@@ (DE-588)4139311-9@@689@@ (DE-588)4333722-3@@689@@ (DE-588)4139030-1@@689@@ (DE-588)1157017576@@edt@@ (DE-588)1157017606@@edt@@ (DE-588)1157017649@@edt@@
title	Formal methods in architecture and urbanism
ctrlnum	(DE-627)1019704586 (DE-599)BVBBV044898967 (OCoLC)1035453351 (DE-604)BV044898967
title_full	Formal methods in architecture and urbanism edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz
callnumber-first-code	T
lang_code	eng
selektneu_str_mv	370@2018.09.03
isOA_bool	false
dewey-hundreds	700 - Arts & recreation
recordtype	marc
publishDateSort	2018
contenttype_str_mv	txt
selectkey	70:z 370:z
physical	viii, 397 Seiten Illustrationen
class	720.28402855369 SEPA ZH 3470 rvk (DE-625)rvk/156118 50.15 bkl 56.03 bkl 74.72 bkl
format_se	Bücher
countryofpublication_str_mv	XA-GB
normlink	RVK/156118: 4002851-3 104280352 208848975 4056754-0 106153811 209118857 4139311-9 105636266 209693347 4333722-3 148061516 21134253X 4139030-1 104369949 209691026 1157017576 1020007281 502566493 1157017606 1020007346 502566647 1157017649 1020007397 502566620 1271600471 201600471 106421336 181570335 106411039 2018.09.03
normlink_prefix_str_mv	(DE-625)rvk/156118: (DE-588)4002851-3 (DE-627)104280352 (DE-576)208848975 (DE-588)4056754-0 (DE-627)106153811 (DE-576)209118857 (DE-588)4139311-9 (DE-627)105636266 (DE-576)209693347 (DE-588)4333722-3 (DE-627)148061516 (DE-576)21134253X (DE-588)4139030-1 (DE-627)104369949 (DE-576)209691026 (DE-588)1157017576 (DE-627)1020007281 (DE-576)502566493 (DE-588)1157017606 (DE-627)1020007346 (DE-576)502566647 (DE-588)1157017649 (DE-627)1020007397 (DE-576)502566620 (DE-627)1271600471 (DE-576)201600471 (DE-627)106421336 (DE-627)181570335 (DE-627)106411039 2018.09.03
dewey-full	720.28402855369
author2-role	herausgeberin
title_sort	formal methods in architecture and urbanism
title_auth	Formal methods in architecture and urbanism
collection_details	GBV_ILN_70 ISIL_DE-89 SYSFLAG_1 GBV_KXP GBV_ILN_370 ISIL_DE-1373
title_short	Formal methods in architecture and urbanism
url	https://www.gbv.de/dms/tib-ub-hannover/1019704586.pdf
ausleihindikator_str_mv	70:u 370:u
rolewithnormlink_str_mv	@@689@@(DE-588)4002851-3 @@689@@(DE-588)4056754-0 @@689@@(DE-588)4139311-9 @@689@@(DE-588)4333722-3 @@689@@(DE-588)4139030-1 @@edt@@(DE-588)1157017576 @@edt@@(DE-588)1157017606 @@edt@@(DE-588)1157017649
remote_bool	false
author2	Viana, David Leite Morais, Franklim Vaz, Jorge Vieira
author2Str	Viana, David Leite Morais, Franklim Vaz, Jorge Vieira
ppnlink	1759821497
GND_str_mv	Baukunst Architektur Stadtentwicklungsplanung Stadt / Planung Stadtplanung Konstruktionsmethodik Design methods Systematisches Konstruieren Methodisches Konstruieren Formales Verfahren Formale Methode Computer assistance Computerunterstützte Methode Computerbasiertes Verfahren Computerunterstützung Rechnerunterstütztes Verfahren Computer aided method Rechnerunterstützte Methode Computer assisted method Computer based method Rechnergestütztes Verfahren Computer aid Rechnerunterstützung Computergestütztes Verfahren Computerunterstütztes Verfahren Leite Viana, David Viana, David Leite Morais, Franklim Vieira Vaz, Jorge Vaz, Jorge Vieira
GND_txt_mv	Baukunst Architektur Stadtentwicklungsplanung Stadt / Planung Stadtplanung Konstruktionsmethodik Design methods Systematisches Konstruieren Methodisches Konstruieren Formales Verfahren Formale Methode Computer assistance Computerunterstützte Methode Computerbasiertes Verfahren Computerunterstützung Rechnerunterstütztes Verfahren Computer aided method Rechnerunterstützte Methode Computer assisted method Computer based method Rechnergestütztes Verfahren Computer aid Rechnerunterstützung Computergestütztes Verfahren Computerunterstütztes Verfahren Leite Viana, David Viana, David Leite Morais, Franklim Vieira Vaz, Jorge Vaz, Jorge Vieira
GND_txtF_mv	Baukunst Architektur Stadtentwicklungsplanung Stadt / Planung Stadtplanung Konstruktionsmethodik Design methods Systematisches Konstruieren Methodisches Konstruieren Formales Verfahren Formale Methode Computer assistance Computerunterstützte Methode Computerbasiertes Verfahren Computerunterstützung Rechnerunterstütztes Verfahren Computer aided method Rechnerunterstützte Methode Computer assisted method Computer based method Rechnergestütztes Verfahren Computer aid Rechnerunterstützung Computergestütztes Verfahren Computerunterstütztes Verfahren Leite Viana, David Viana, David Leite Morais, Franklim Vieira Vaz, Jorge Vaz, Jorge Vieira
mediatype_str_mv	n
isOA_txt	false
hochschulschrift_bool	false
author2_role	edt edt edt
callnumber-a	T 18 B 4605
up_date	2024-08-25T02:58:02.550Z
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000cam a2200265 4500</leader><controlfield tag="001">1019704586</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20240824111336.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">180426s2018 xxk\|\|\|\|\| 00\| \|\|eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1527507629</subfield><subfield code="9">1-5275-0762-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781527507623</subfield><subfield code="9">978-1-5275-0762-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)1019704586</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044898967</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1035453351</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-604)BV044898967</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="c">XA-GB</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">720.28402855369</subfield><subfield code="q">SEPA</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZH 3470</subfield><subfield code="2">rvk</subfield><subfield code="0">(DE-625)rvk/156118:</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">50.15</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">56.03</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">74.72</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods in architecture and urbanism</subfield><subfield code="c">edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Newcastle upon Tyne</subfield><subfield code="b">Cambridge Scholars Publishing</subfield><subfield code="c">2018</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">viii, 397 Seiten</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="D">s</subfield><subfield code="0">(DE-588)4002851-3</subfield><subfield code="0">(DE-627)104280352</subfield><subfield code="0">(DE-576)208848975</subfield><subfield code="a">Architektur</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="D">s</subfield><subfield code="0">(DE-588)4056754-0</subfield><subfield code="0">(DE-627)106153811</subfield><subfield code="0">(DE-576)209118857</subfield><subfield code="a">Stadtplanung</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="D">s</subfield><subfield code="0">(DE-588)4139311-9</subfield><subfield code="0">(DE-627)105636266</subfield><subfield code="0">(DE-576)209693347</subfield><subfield code="a">Methodisches Konstruieren</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="D">s</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="0">(DE-627)148061516</subfield><subfield code="0">(DE-576)21134253X</subfield><subfield code="a">Formale Methode</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="D">s</subfield><subfield code="0">(DE-588)4139030-1</subfield><subfield code="0">(DE-627)104369949</subfield><subfield code="0">(DE-576)209691026</subfield><subfield code="a">Computerunterstütztes Verfahren</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">(DE-627)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Viana, David Leite</subfield><subfield code="e">herausgeberin</subfield><subfield code="0">(DE-588)1157017576</subfield><subfield code="0">(DE-627)1020007281</subfield><subfield code="0">(DE-576)502566493</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Morais, Franklim</subfield><subfield code="e">herausgeberin</subfield><subfield code="0">(DE-588)1157017606</subfield><subfield code="0">(DE-627)1020007346</subfield><subfield code="0">(DE-576)502566647</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Vaz, Jorge Vieira</subfield><subfield code="e">herausgeberin</subfield><subfield code="0">(DE-588)1157017649</subfield><subfield code="0">(DE-627)1020007397</subfield><subfield code="0">(DE-576)502566620</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="t">Formal methods in architecture and urbanism</subfield><subfield code="d">Newcastle upon Tyne : Cambridge Scholars Publishing, 2018</subfield><subfield code="h">1 Online-Ressource (viii, 397 Seiten)</subfield><subfield code="w">(DE-627)1759821497</subfield><subfield code="z">9781527514577</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">https://www.gbv.de/dms/tib-ub-hannover/1019704586.pdf</subfield><subfield code="m">V:DE-601</subfield><subfield code="m">B:DE-89</subfield><subfield code="q">pdf/application</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-89</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_KXP</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_370</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-1373</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">ZH 3470</subfield><subfield code="b">Datenverarbeitung für Architekten (u.a. AutoCAD, Computersimulation)</subfield><subfield code="k">Technik</subfield><subfield code="k">Architektur</subfield><subfield code="k">Architekturpraxis</subfield><subfield code="k">Datenverarbeitung für Architekten (u.a. AutoCAD, Computersimulation)</subfield><subfield code="0">(DE-627)1271600471</subfield><subfield code="0">(DE-625)rvk/156118:</subfield><subfield code="0">(DE-576)201600471</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">50.15</subfield><subfield code="j">Konstruktionslehre</subfield><subfield code="0">(DE-627)106421336</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">56.03</subfield><subfield code="j">Methoden im Bauingenieurwesen</subfield><subfield code="0">(DE-627)181570335</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">74.72</subfield><subfield code="j">Stadtplanung</subfield><subfield code="j">kommunale Planung</subfield><subfield code="0">(DE-627)106411039</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">BO</subfield></datafield><datafield tag="953" ind1=" " ind2=" "><subfield code="2">045F</subfield><subfield code="a">720.28402855369</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">70</subfield><subfield code="1">01</subfield><subfield code="x">0089</subfield><subfield code="b">1825340366</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">T 18 B 4605</subfield><subfield code="e">u</subfield><subfield code="j">--%%--</subfield><subfield code="y">z</subfield><subfield code="z">20-01-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="b">1784218235</subfield><subfield code="c">00</subfield><subfield code="f">OG</subfield><subfield code="d">ZH 3470 048</subfield><subfield code="e">u</subfield><subfield code="j">--%%--</subfield><subfield code="y">z</subfield><subfield code="z">16-07-18</subfield></datafield><datafield tag="984" ind1=" " ind2=" "><subfield code="2">70</subfield><subfield code="1">01</subfield><subfield code="x">0089</subfield><subfield code="a">89$142235245</subfield></datafield><datafield tag="984" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="a">HC047435</subfield></datafield><datafield tag="985" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="a">2018-1285</subfield></datafield><datafield tag="998" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="0">2018.09.03</subfield></datafield></record></collection>
fulltext	Formal Methods in Architecture and Urbanism Edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz Cambridge Scholars Publishing Contents Introduction … Formal Methods in Architecture and Urbanism David Leite Viana, Franklim Morals and Jorge Vieira Vaz 3rd Symposium Formal Methods in Architecture: Opening Speech … Franklim Morals Part I - From Information Chapter One BIM: Customizing the Alexandros Kallegias and Gathering Processing … Standards Chapter Two Ontologies Anton Castro, David Leite … BIM Chapter Study Jorge Vieira Vaz Three Menarch: A Viana and Ontologies on … in Architecture Architecture Social Function Frederico Silvelra Chapter Four … Process in Morphological Analysis of Territories of Extensive Urbanization at the Lima River Valley Typological Paulo Vieira Chapter Five The Study of Neiva's Valley Combining Space Syntax Geographic Information Systems Joao Pedro Passos … and vi Part II Chapter Contents - To Higher Semantic Levels of Theories Six … DepthSpace3D: A New Digital Tool for 3D Space Syntax Analysis Franklim Morais Chapter Seven … A Data Mining-Based Methodology of Public Open Spaces Jodo V. Lopes Chapter Eight Consequences of Architectural Function as a Basis for for the Multidimensional Study … Form Housing on Studies Social Interaction: through Expanded Space Syntax Catarina Ruivo Chapter Nine A Gathered Methodology: Towards Enhancing Adaptable Learning Spaces … Carolina Coelho Chapter Ten … User Environment for Graphic Tiago Gomes Agent Based Modelling Chapter Eleven Locative Media Art in Urban and Simulation … Space's Analysis Isabel Cristina Carvalho Chapter Twelve Casa da Musica' Identifying Tejada, Anton David Leite Viana and Chapter Thirteen Risking It Telmo Castro … Space Intensities Patterns Ligia Nunes … Formal Methods in Architecture and Urbanism Part III Chapter - To Design Methods of Project vii Production Fourteen … Data Driven Simulation Model for Hospital Architecture: Modelling and Patient Johan van and Simulating Clinical Process, Architectural Layout, Logistics in a Hospital's Building Information Model der Zwart and Tor Asmund Evjen Chapter Fifteen Regular Repetition … and Modular Patterns in Architecture Elena Arnedo Calvo Chapter Sixteen … Semantic Structure of Formal Domains and Methods for the Development of Generic Grammars Jose Nuno Beirao Chapter Seventeen A Compositional Schema for the Automated Connected Rectangular Floor Plans … Generation of Best Krishnendra Shekhawat and Jose P. Duarte Chapter Eighteen Relative Positioning Mike Mckay Chapter Nineteen Typological Transformations … in a Same Shape Teresa Leite, Ana Costa and Eliane Constantinou Chapter Twenty The Revision of the Master Plan of the University A Heterogeneous Planning Management Sergio Mendes … of Aveiro: viii Contents Part IV - To Material Production … Chapter Twenty-One New Territories of CAM: Machinecraft Cristina Nan Chapter Twenty-Two … Innovation and Tradition: Crafts in Pedro Digital Age Campos Costa and Katarzyna Augustyniak Chapter Twenty-Three Cork Re-Wall: Automatic Generation of … Building Instructions Filipe Brandao List of Figures … List of Contributors … Contributor … Biographies
_version_	1808326650810597376
fullrecord_marcxml	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000cam a2200265 4500</leader><controlfield tag="001">1019704586</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20240824111336.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">180426s2018 xxk\|\|\|\|\| 00\| \|\|eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1527507629</subfield><subfield code="9">1-5275-0762-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781527507623</subfield><subfield code="9">978-1-5275-0762-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)1019704586</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044898967</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1035453351</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-604)BV044898967</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="c">XA-GB</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">720.28402855369</subfield><subfield code="q">SEPA</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZH 3470</subfield><subfield code="2">rvk</subfield><subfield code="0">(DE-625)rvk/156118:</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">50.15</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">56.03</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">74.72</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods in architecture and urbanism</subfield><subfield code="c">edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Newcastle upon Tyne</subfield><subfield code="b">Cambridge Scholars Publishing</subfield><subfield code="c">2018</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">viii, 397 Seiten</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="D">s</subfield><subfield code="0">(DE-588)4002851-3</subfield><subfield code="0">(DE-627)104280352</subfield><subfield code="0">(DE-576)208848975</subfield><subfield code="a">Architektur</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="D">s</subfield><subfield code="0">(DE-588)4056754-0</subfield><subfield code="0">(DE-627)106153811</subfield><subfield code="0">(DE-576)209118857</subfield><subfield code="a">Stadtplanung</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="D">s</subfield><subfield code="0">(DE-588)4139311-9</subfield><subfield code="0">(DE-627)105636266</subfield><subfield code="0">(DE-576)209693347</subfield><subfield code="a">Methodisches Konstruieren</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="D">s</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="0">(DE-627)148061516</subfield><subfield code="0">(DE-576)21134253X</subfield><subfield code="a">Formale Methode</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="D">s</subfield><subfield code="0">(DE-588)4139030-1</subfield><subfield code="0">(DE-627)104369949</subfield><subfield code="0">(DE-576)209691026</subfield><subfield code="a">Computerunterstütztes Verfahren</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">(DE-627)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Viana, David Leite</subfield><subfield code="e">herausgeberin</subfield><subfield code="0">(DE-588)1157017576</subfield><subfield code="0">(DE-627)1020007281</subfield><subfield code="0">(DE-576)502566493</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Morais, Franklim</subfield><subfield code="e">herausgeberin</subfield><subfield code="0">(DE-588)1157017606</subfield><subfield code="0">(DE-627)1020007346</subfield><subfield code="0">(DE-576)502566647</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Vaz, Jorge Vieira</subfield><subfield code="e">herausgeberin</subfield><subfield code="0">(DE-588)1157017649</subfield><subfield code="0">(DE-627)1020007397</subfield><subfield code="0">(DE-576)502566620</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="t">Formal methods in architecture and urbanism</subfield><subfield code="d">Newcastle upon Tyne : Cambridge Scholars Publishing, 2018</subfield><subfield code="h">1 Online-Ressource (viii, 397 Seiten)</subfield><subfield code="w">(DE-627)1759821497</subfield><subfield code="z">9781527514577</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">https://www.gbv.de/dms/tib-ub-hannover/1019704586.pdf</subfield><subfield code="m">V:DE-601</subfield><subfield code="m">B:DE-89</subfield><subfield code="q">pdf/application</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-89</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_KXP</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_370</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-1373</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">ZH 3470</subfield><subfield code="b">Datenverarbeitung für Architekten (u.a. AutoCAD, Computersimulation)</subfield><subfield code="k">Technik</subfield><subfield code="k">Architektur</subfield><subfield code="k">Architekturpraxis</subfield><subfield code="k">Datenverarbeitung für Architekten (u.a. AutoCAD, Computersimulation)</subfield><subfield code="0">(DE-627)1271600471</subfield><subfield code="0">(DE-625)rvk/156118:</subfield><subfield code="0">(DE-576)201600471</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">50.15</subfield><subfield code="j">Konstruktionslehre</subfield><subfield code="0">(DE-627)106421336</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">56.03</subfield><subfield code="j">Methoden im Bauingenieurwesen</subfield><subfield code="0">(DE-627)181570335</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">74.72</subfield><subfield code="j">Stadtplanung</subfield><subfield code="j">kommunale Planung</subfield><subfield code="0">(DE-627)106411039</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">BO</subfield></datafield><datafield tag="953" ind1=" " ind2=" "><subfield code="2">045F</subfield><subfield code="a">720.28402855369</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">70</subfield><subfield code="1">01</subfield><subfield code="x">0089</subfield><subfield code="b">1825340366</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">T 18 B 4605</subfield><subfield code="e">u</subfield><subfield code="j">--%%--</subfield><subfield code="y">z</subfield><subfield code="z">20-01-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="b">1784218235</subfield><subfield code="c">00</subfield><subfield code="f">OG</subfield><subfield code="d">ZH 3470 048</subfield><subfield code="e">u</subfield><subfield code="j">--%%--</subfield><subfield code="y">z</subfield><subfield code="z">16-07-18</subfield></datafield><datafield tag="984" ind1=" " ind2=" "><subfield code="2">70</subfield><subfield code="1">01</subfield><subfield code="x">0089</subfield><subfield code="a">89$142235245</subfield></datafield><datafield tag="984" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="a">HC047435</subfield></datafield><datafield tag="985" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="a">2018-1285</subfield></datafield><datafield tag="998" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="0">2018.09.03</subfield></datafield></record></collection>
score	6.9000044

Nicht das Richtige dabei?

Schreiben Sie uns!

Formal methods in architecture and urbanism

Nicht das Richtige dabei?

Zugang & Verfügbarkeit

Vorhandene Bände

Nicht das Richtige dabei?