Didn't find any results in this catalog!
But we have some results in other catalogs.Filters
total: 38735
-
Catalog
- Publications 16069 available results
- Journals 150 available results
- Conferences 29 available results
- People 321 available results
- Inventions 16 available results
- Projects 102 available results
- Laboratories 5 available results
- Research Teams 38 available results
- Research Equipment 1 available results
- e-Learning Courses 1056 available results
- Events 47 available results
- Open Research Data 20901 available results
displaying 1000 best results Help
Search results for: METODY%20FORMALNE
-
Wymagania formalne
PublicationFormalne wymagania w procesie budowlanym. Dokumentacja projektowa. Samodzielne funkcje w budownictwie. Uprawnienia budowlane. Zasady uzyskiwania uprawnień, ograniczenia i problemy
-
Języki i gramatyki formalne
PublicationRozdział 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
PublicationKsiąż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 -
Analytical Methods
Journals -
Formalne przejawy procesów transformacji w architekturze współczesnej
PublicationW 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
PublicationPublikacja 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.
PublicationPoró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
PublicationSzczegół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
PublicationWodó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...