Search results for: METODY%20FORMALNE - Bridge of Knowledge

Search

Search results for: METODY%20FORMALNE
Przykład wyników znalezionych w innych katalogach

Search results for: METODY%20FORMALNE

  • 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...

  • Quantitative Methods in Economics

    Journals

    ISSN: 2082-792X , eISSN: 2543-8565

  • Analytical Methods

    Journals

    ISSN: 1759-9660 , eISSN: 1759-9679

  • 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.

  • 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.

  • Porównanie metod oznaczania struktury triacylogliceroli z wykorzystaniem lipazy trzustkowej - metody Brockerhoffa i metody ISO.

    Porównano dwie metody oznaczania struktury triacylogliceroli (TAG) przy użyciu lipazy trzustkowej - metody Brockerhoffa i metody wg normy ISO. Substratami tłuszczowymi użytymi do badań były oleje: rzepakowy niskoerukowy, rzepakowy wysokoerukowy oraz olej oliwkowy. Metoda opracowana w postaci normy ISO wymaga wprowadzenia pewnych zmian: należy sporządzać zawiesinę enzymu w roztworze buforu TRIS, zwiększyć ilość próby użytej...

  • Formalne wymagania w stosunku do ustalenia geotechnicznych warunków posadowienia

    Publication

    - Year 2015

    Szczegółowe omówienie formalnych wymagań prawnych w stosunku do dokumentacji posadowienia obiektu budowlanego. Konsekwencje przystąpienia Polski do CEN skutkują koniecznością wprowadzenia EUROKODÓW, a dalej odpowiednich wymagań w stosunku do dokumentacji posadowienia. Wprawdzie w dotychczasowych regulacjach prawnych były zamieszczone informacje dotyczące zagadnienia, a podstawowe klasyfikacje nie uległy zmianom,. jednak wcześniejsze...

  • Biowodór, „paliwo przyszłości”, dotychczasowe metody otrzymywania , porównanie metod otrzymywania

    Publication

    - Year 2016

    Wodór jest ważnym pierwiastkiem w przemyśle chemicznym. Biowodór wydaje się być użytecznym odnawialnym nośnikiem energii, który mógłby zastąpić paliwa kopalne. Największym problemem wodoru jest jego rzadkie występowanie w czystej formie molekularnej H 2 . Dlatego otrzymanie biowodoru w objętościach opłacalnych ja ko surowiec czy biopaliwo wiedzie przez bioodpady „przesycone” wodorem. Każdy związek...

    Full text to download in external service