Search results for: SPECYFIKACJE FORMALNE - Bridge of Knowledge

Search

Search results for: SPECYFIKACJE FORMALNE
Przykład wyników znalezionych w innych katalogach

Search results for: SPECYFIKACJE FORMALNE

  • Wymagania formalne

    Publication

    - Year 2011

    Formalne wymagania w procesie budowlanym. Dokumentacja projektowa. Samodzielne funkcje w budownictwie. Uprawnienia budowlane. Zasady uzyskiwania uprawnień, ograniczenia i problemy

  • Języki i gramatyki formalne

    Publication

    - Year 2011

    Rozdział zawiera wprowadzenie do teorii języków formalnych, gramatyk i automatów. Przedstawione zostały podstawowe pojęcia i definicje oraz przykłady dotyczące w szczególności analizy leksykalnej, składniowej i semantycznej zdań w językach formalnych.

  • Języki formalne, automaty i translatory

    Publication

    - Year 2008

    Książka stara się w przystępny sposób przedstawić zagadnienia związane z teorią języków formalnych, automatów i translatorów. Wiedza ta pomoże nie tylko zrozumieć zasady stosowanych na co dzień narzędzi informatycznych, ale pomoże również w rozwiązywaniu częstych problemów związanych z przetwarzaniem danych tekstowych o zdefiniowanej strukturze.Książka ta przeznaczona jest przede wszystkim dla szerokiego grona studentów informatyki...

  • Specyfikacje geosyntetyków stosowanych w podbudowach nawierzchni drogowych

    Publication

    W ciągu ostatnich lat obserwuje się wzrost zastosowania geosyntetyków w budownictwie, w tym w szczególności w budowie. W podbudowach nawierzchni drogowych geosyntetyki znajdują obecnie zastosowanie w dwóch sytuacjach: do wykonania warstwy separacyjnej lub filtracyjnej między podłożem gruntowym i warstwą podbudowy oraz do wykonania warstwy wzmacniającej podbudowę z kruszywa niezwiązanego spoiwem lub lepiszczem, ułożonej na podłożu...

  • Techniczne specyfikacje interoperacyjności dotyczące hałasu od pojazdów kolejowych

    Publication

    Analiza wymagań zawartych w specyfikacji TSI dla kolei konwencjonalnych w zakresie poziomu emitowanego hałasu przez tabor kolejowy. Omówienie wymagań specyfikacji TSI dla pociągów dużej prędkości w znowelizowanej wersji przygotowywanej przez Komisję Europejską do publikacji.

  • Formalne przejawy procesów transformacji w architekturze współczesnej

    Publication

    - Year 2004

    W referacie przedstawiono aspekty podejścia topologicznego w projektowaniu architektonicznym. Omówiono wybrane tendencje i teorie panujące na badanym polu tema-tycznym, na tle podstaw alternatywnych geometrii w dobie CAAD, podstaw filozoficznych i uwarunkowań cywilizacyjnych.

  • Content malondialdehyde (MDA) in infant formulae and follow-on formulae

    Zbadano zawartość dialdehydu malonowego, szkodliwego dla zdrowia produktu oksydacji lipidów, w preparatach do początkowego MP i następnego MN żywienia niemowląt, w mleku ludzkim, nieprzetworzonym mleku krowim oraz w oleju sojowym i rzepakowym - składnikach MP i MN. W preparatach stwierdzono znaczne zawartości MDA, w zależności od stosowanej przez producenta technologii produkcji, sposobu pakowania oraz warunków przechowywania gotowego...

    Full text available to download

  • Specyfikacja Systemu IP QoS opartego na architekturze DiffServ

    Publication

    - Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne - Year 2009

    Artykuł przedstawia ogólną specyfikację systemu IP QoS (ang. Internet Protocol Quality of Service), który to system jest obecnie implementowany w ramach projektu krajowego "Zarządzanie ruchemw sieciach IP". System ten jest zgodny z architekturą DiffServ (ang. Differentiated Services) i architekturą NGN (Next Generation Networks). W szczególności, artykuł pokrótce omawia architekturęsystemu, oferowane klasy usług w systemie oraz...

  • Problemy specyfikacji i estymacji przyczynowo-skutkowego modelu płac

    Publication

    - Year 2007

    W pierwszej części artykułu przedstawiono koncepcje teoretyczne dotyczące wyodrębniania czynników kształtujacych poziom płac w przedsiębiorstwach funkcjonujacfyh na rynkach pracy w warunkach konkurencji doskonałej oraz monopsonistycznej. Na tej podstawie dokonano specyfikacji przyczynowo-skutkowego modelu płac dotyczącego gospodarki polskiej z lat 1996-2005. Po dokonaniu specyfikacji modelu płac dokonano jego oszacowania i weryfikacji....

  • Czasowe i formalne instrumenty polityki bilansowej i podatkowej

    Publication

    - Year 2014

    Publikacja zawiera omówienie czasowych i formalnych instrumentów polityki bilansowej i podatkowej. Wyjaśniono w nim pojęcie roku podatkowego i roku obrotowego. Zaprezentowano obowiązki i odpowiedzialność za prawidłowe rozliczenia podatkowe.