PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 3

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  iniekcja strukturalna
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Proof of equivalence of semantic methods for a selected domain-specific language
Steingartner William, Novitzka Valerie, Schreiner Wolfgang
Journal of Applied Mathematics and Computational Mechanics
|
2024
|
Vol. 23, nr 2
79--92
EN
This paper focuses on the formal semantics of programming languages, with a specific focus on Domain-Specific Languages (DSLs). It introduces the Robot DSL, characterized by total semantic functions, an infinite network size, and an obstacle-free environment. The study explores denotational and natural semantics, aiming to define and prove their equivalence. This work contributes to the understanding of programming languages with unique features, laying the groundwork for future developments in language design and formal semantics.
2
Content available remote Wtórne hydroizolacje wykonywane metodą iniekcji uszczelniających
Monczyński Bartłomiej
Izolacje
|
2019
|
R. 24, nr 10
96--100
PL
Przedmiotem artykułu jest wykonywanie wtórnych izolacji metodą iniekcji uszczelniających. Autor omawia działania diagnostyczne poprzedzające zastosowanie tej metody oraz zasady opracowania projektu wykonania izolacji, a następnie przechodzi do charakterystyki żeli używanych w iniekcjach uszczelniających. Następnie analizuje zastosowanie iniekcji kurtynowych, strukturalnych oraz częściowych. Omawia również działania dodatkowe, czyli zastosowanie odpowiednich środków flankujących.
EN
The subject of the article is the execution of secondary insulation by way of insulation injections. The author discusses diagnostic activities preceding the use of this method as well as the rules of development of the insulation execution design; they then move on to characterised the gels used in insulation injections. They subsequently analyse the use of curtain, structural and partial injections. They also discuss additional activities, meaning, the use of appropriate flanking materials.
3
Content available remote Bezwykopowe odtwarzanie zewnętrznej izolacji pionowej
Magott C., Rokiel M.
Materiały Budowlane
|
2014
|
nr 3
27--29
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.