Eine objektorientierte Sprache zur Einbettung von Interpretationssemantik in digitale Bauwerksmodelle
| Titel: | Eine objektorientierte Sprache zur Einbettung von Interpretationssemantik in digitale Bauwerksmodelle / Julian Amann ; Gutachter: André Borrmann, Rüdiger Westermann, Jakob Beetz ; Betreuer: André Borrmann |
|---|---|
| Verfasser: | |
| Beteiligt: | ; ; ; |
| Veröffentlicht: | München : Universitätsbibliothek der TU München, 2018 |
| Umfang: | Online-Ressource |
| Format: | E-Book |
| Sprache: | Deutsch |
| Hochschulschrift: | Dissertation, München, Technische Universität München, 2018 |
X
alg: 44292317 001A $06000:08-02-19 001B $01999:02-12-21 $t23:00:33.000 001D $06000:08-02-19 001U $0utf8 001X $00 002@ $0Oax 002C $aText $btxt $2rdacontent 002D $aComputermedien $bc $2rdamedia 002E $aOnline-Ressource $bcr $2rdacarrier 003@ $0442923171 004U $0urn:nbn:de:bvb:91-diss-20181218-1453871-1-2 006G $01176107216 006U $019,O02 $f20190124 007A $01176107216 $aDNB 009Q $uhttp://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20181218-1453871-1-2 $xR 009Q $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20181218-1453871-1-2 $xH 010@ $ager 011@ $a2018 $n2018 013D $RWissenschaftliche Literatur $#Dissertations, Academic $#Thèses et écrits académiques $74113937-9 $8Hochschulschrift [Ts1] $9085338818 021A $aEine @objektorientierte Sprache zur Einbettung von Interpretationssemantik in digitale Bauwerksmodelle $hJulian Amann ; Gutachter: André Borrmann, Rüdiger Westermann, Jakob Beetz ; Betreuer: André Borrmann 027A $aAn @object-oriented language for embedding interpretation semantics in digital building models 028A $aAmann $BVerfasser $dJulian $4aut 028C $aBorrmann $BAkademischer Betreuer $dAndré $4dgs 028C $aBorrmann $BGutachter $dAndré $4oth 028C $aWestermann $BGutachter $dRüdiger $4oth 028C $aBeetz $BGutachter $dJakob $4oth 033A $pMünchen $nUniversitätsbibliothek der TU München 034D $aOnline-Ressource 037C $dDissertation $eMünchen, Technische Universität München $f2018 044K $qDNB $#Buildings $#Constructions $#Edificios $#Bau Architektur $#Bauliche Anlage $#Bauwerke $emaschinell gebildet $74112681-6 $8Bauwerk [Ts1] $9085332062 $k0,33741 044K $qDNB $RStraßenbau $RObjektverwaltung $RAustauschformat $RVerkehrsplanung $#Objektkatalog für das Straßen- und Verkehrswesen $emaschinell gebildet $77537442-0 $8OKSTRA [Ts1] $918026057X $k0,05208 044K $qDNB $RSemantik $RWahrheitsbedingung $#Interpretationssemantik $#Tarski-Semantik $emaschinell gebildet $74221369-1 $8Modelltheoretische Semantik [Ts1] $9086143646 $k0,02404 045E $c720 lok: 44292317 3 exp: 44292317 3 1 #EPN 201B/01 $008-02-19 $t23:35:39.420 201C/01 $008-02-19 201U/01 $0utf8 203@/01 $01045270512 208@/01 $a08-02-19 $bl 209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20181218-1453871-1-2 $XH lok: 44292317 5 exp: 44292317 5 1 #EPN 201B/01 $008-02-19 $t23:35:39.424 201C/01 $008-02-19 201U/01 $0utf8 203@/01 $01045270520 208@/01 $a08-02-19 $bl 209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20181218-1453871-1-2 $XH lok: 44292317 8 exp: 44292317 8 1 #EPN 201B/01 $008-02-19 $t23:35:39.428 201C/01 $008-02-19 201U/01 $0utf8 203@/01 $01045270539 208@/01 $a08-02-19 $bl 209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20181218-1453871-1-2 $XH lok: 44292317 10 exp: 44292317 10 1 #EPN 201B/01 $008-02-19 $t23:35:39.433 201C/01 $008-02-19 201U/01 $0utf8 203@/01 $01045270547 208@/01 $a08-02-19 $bl 209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20181218-1453871-1-2 $XH lok: 44292317 11 exp: 44292317 11 1 #EPN 201B/01 $008-02-19 $t23:35:39.437 201C/01 $008-02-19 201U/01 $0utf8 203@/01 $01045270555 208@/01 $a08-02-19 $bl 209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20181218-1453871-1-2 $XH lok: 44292317 20 exp: 44292317 20 1 #EPN 201B/01 $008-02-19 $t23:35:39.442 201C/01 $008-02-19 201U/01 $0utf8 203@/01 $01045270563 208@/01 $a08-02-19 $bl 209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20181218-1453871-1-2 $XH lok: 44292317 21 exp: 44292317 21 1 #EPN 201B/01 $008-02-19 $t23:35:39.446 201C/01 $008-02-19 201U/01 $0utf8 203@/01 $01045270571 208@/01 $a08-02-19 $bl 209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20181218-1453871-1-2 $XH lok: 44292317 23 exp: 44292317 23 1 #EPN 201B/01 $008-02-19 $t23:35:39.451 201C/01 $008-02-19 201U/01 $0utf8 203@/01 $0104527058X 208@/01 $a08-02-19 $bl 209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20181218-1453871-1-2 $XH lok: 44292317 24 exp: 44292317 24 1 #EPN 201B/01 $008-02-19 $t23:35:39.455 201C/01 $008-02-19 201U/01 $0utf8 203@/01 $01045270598 208@/01 $a08-02-19 $bl 209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20181218-1453871-1-2 $XH lok: 44292317 25 exp: 44292317 25 1 #EPN 201B/01 $008-02-19 $t23:35:39.460 201C/01 $008-02-19 201U/01 $0utf8 203@/01 $01045270601 208@/01 $a08-02-19 $bl 209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20181218-1453871-1-2 $XH lok: 44292317 36 exp: 44292317 36 1 #EPN 201B/01 $002-12-21 $t23:00:33.130 201C/01 $002-12-21 201U/01 $0utf8 203@/01 $01173923810 208@/01 $a02-12-21 $bl 209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20181218-1453871-1-2 $XH lok: 44292317 49 exp: 44292317 49 1 #EPN 201B/01 $008-02-19 $t23:35:39.465 201C/01 $008-02-19 201U/01 $0utf8 203@/01 $0104527061X 208@/01 $a08-02-19 $bl 209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20181218-1453871-1-2 $XH lok: 44292317 75 exp: 44292317 75 1 #EPN 201B/01 $008-02-19 $t23:35:39.489 201C/01 $008-02-19 201U/01 $0utf8 203@/01 $01045270628 208@/01 $a08-02-19 $bl 209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20181218-1453871-1-2 $XH lok: 44292317 76 exp: 44292317 76 1 #EPN 201B/01 $008-02-19 $t23:35:39.513 201C/01 $008-02-19 201U/01 $0utf8 203@/01 $01045270636 208@/01 $a08-02-19 $bl 209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20181218-1453871-1-2 $XH lok: 44292317 107 exp: 44292317 107 1 #EPN 201B/01 $012-06-20 $t16:21:33.144 201C/01 $012-06-20 201U/01 $0utf8 203@/01 $01112032517 208@/01 $a12-06-20 $bl 209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20181218-1453871-1-2 $XH lok: 44292317 108 exp: 44292317 108 1 #EPN 201B/01 $012-06-20 $t16:21:33.147 201C/01 $012-06-20 201U/01 $0utf8 203@/01 $01112032525 208@/01 $a12-06-20 $bl 209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20181218-1453871-1-2 $XH lok: 44292317 204 exp: 44292317 204 1 #EPN 201B/01 $008-02-19 $t23:35:39.517 201C/01 $008-02-19 201U/01 $0utf8 203@/01 $01045270644 208@/01 $a08-02-19 $bl 209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20181218-1453871-1-2 $XH lok: 44292317 205 exp: 44292317 205 1 #EPN 201B/01 $008-02-19 $t23:35:39.521 201C/01 $008-02-19 201U/01 $0utf8 203@/01 $01045270652 208@/01 $a08-02-19 $bl 209S/01 $S0 $uhttp://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20181218-1453871-1-2 $XH
| LEADER | 00000cam a22000002c 4500 | ||
|---|---|---|---|
| 001 | 442923171 | ||
| 003 | DE-603 | ||
| 005 | 20211202230033.0 | ||
| 007 | cr|||||||||||| | ||
| 008 | 190208s2018 xx |||| om u00||u|ger | ||
| 015 | |a 19,O02 |2 dnb | ||
| 016 | 7 | |2 DE-101 |a 1176107216 | |
| 024 | 7 | |a urn:nbn:de:bvb:91-diss-20181218-1453871-1-2 |2 urn | |
| 035 | |a (DE-599)DNB1176107216 | ||
| 040 | |a DE-603 |b ger |c DE-603 |d DE-603 | ||
| 041 | |a ger | ||
| 084 | |a 720 |q DE-101 |2 sdnb | ||
| 100 | 1 | |a Amann, Julian |e Verfasser |4 aut | |
| 245 | 0 | 0 | |a Eine objektorientierte Sprache zur Einbettung von Interpretationssemantik in digitale Bauwerksmodelle |c Julian Amann ; Gutachter: André Borrmann, Rüdiger Westermann, Jakob Beetz ; Betreuer: André Borrmann |
| 246 | 1 | 3 | |a An object-oriented language for embedding interpretation semantics in digital building models |
| 264 | 1 | |a München |b Universitätsbibliothek der TU München |c 2018 | |
| 300 | |a Online-Ressource | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 502 | |b Dissertation |c München, Technische Universität München |d 2018 | ||
| 650 | 7 | |8 1\p |a Bauwerk |0 (DE-588)4112681-6 |0 (DE-603)085332062 |2 gnd | |
| 650 | 7 | |8 2\p |a OKSTRA |0 (DE-588)7537442-0 |0 (DE-603)18026057X |2 gnd | |
| 650 | 7 | |8 3\p |a Modelltheoretische Semantik |0 (DE-588)4221369-1 |0 (DE-603)086143646 |2 gnd | |
| 655 | 7 | |a Hochschulschrift |2 gnd-content |0 (DE-588)4113937-9 |0 (DE-603)085338818 | |
| 700 | 1 | |a Borrmann, André |e Akademischer Betreuer |4 dgs | |
| 700 | 1 | |a Borrmann, André |e Gutachter |4 oth | |
| 700 | 1 | |a Westermann, Rüdiger |e Gutachter |4 oth | |
| 700 | 1 | |a Beetz, Jakob |e Gutachter |4 oth | |
| 856 | |u http://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20181218-1453871-1-2 |x Resolving-System | ||
| 856 | |u http://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20181218-1453871-1-2 |x Verlag |z kostenfrei | ||
| 883 | 0 | |8 1\p |a maschinell gebildet |c 0,33741 |q DE-101 | |
| 883 | 0 | |8 2\p |a maschinell gebildet |c 0,05208 |q DE-101 | |
| 883 | 0 | |8 3\p |a maschinell gebildet |c 0,02404 |q DE-101 | |
| 924 | 1 | |9 603 |a (DE-603)1045270512 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)1045270520 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)1045270539 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)1045270547 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)1045270555 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)1045270563 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)1045270571 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)104527058X |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)1045270598 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)1045270601 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)1173923810 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)104527061X |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)1045270628 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)1045270636 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)1112032517 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)1112032525 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)1045270644 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)1045270652 |b DE-603 |c HES |d d | |
