Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Biblioteka  Akademii Nauk Stosowanych w Gnieźnie Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaBiblioteka  Akademii Nauk Stosowanych w Gnieźnie

Wyszukujesz frazę "method of specifications" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-11 z 11
    Tytuł:
    Weryfikacja procesów biznesowych metodą dedukcyjną z wykorzystaniem logiki temporalnej
    Autorzy:
    Klimek, R.
    Data publikacji:
    2011
    Słowa kluczowe:
    modele biznesowe
    BPMN
    SOA
    wzorce projektowe
    logika temporalna
    wnioskowanie dedukcyjne
    metoda tablic semantycznych
    generowanie specyfikacji
    business models
    workflow design patterns
    temporal logic
    deductive reasoning
    semantic tableaux method
    generating specifications
    Pokaż więcej
    Dostawca treści:
    BazTech
    Artykuł
    Szczegóły
    Tytuł:
    Wymagania dotyczące wprowadzania do obrotu składników interoperacyjności na przykładzie szyny kolejowej
    Autorzy:
    Smoczyński, P.
    Kadziński, A.
    Data publikacji:
    2016
    Słowa kluczowe:
    szyna kolejowa
    wprowadzenie do obrotu
    interoperacyjność
    techniczna specyfikacja interoperacyjności
    TSI
    metoda oceny bezpieczeństwa
    CSM
    rail
    marketing
    interoperability
    Technical Specifications for Interoperability
    common safety method
    Pokaż więcej
    Dostawca treści:
    BazTech
    Artykuł
    Szczegóły
    Tytuł:
    Weryfikacja procesów biznesowych metodą dedukcyjną z wykorzystaniem logiki temporalnej
    Deduction-based Formal Verification of Business Models using Temporal Logic
    Autorzy:
    Klimek, R.
    Data publikacji:
    2011
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    modele biznesowe
    BPMN
    SOA
    wzorce projektowe
    logika temporalna
    wnioskowanie dedukcyjne
    metoda tablic semantycznych
    generowanie specyfikacji
    business models
    workflow design patterns
    temporal logic
    deductive reasoning
    semantic tableaux method
    generating specifications
    Pokaż więcej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Analiza efektywności ekonomicznej i energetycznej termomodernizacji budynków szkół. Cz. 1. Charakterystyka techniczna i energetyczna analizowanych budynków
    Autorzy:
    Miklas, J.
    Koczyk, H.
    Data publikacji:
    2017
    Słowa kluczowe:
    analiza energetyczna
    analiza ekonomiczna
    termomodernizacja
    budynek
    szkoła
    metoda kosztu całkowitego
    energy
    economic study
    thermomodernization
    building
    school
    total cost method
    Pokaż więcej
    Dostawca treści:
    BazTech
    Artykuł
    Szczegóły
    Tytuł:
    Symulacja komputerowa wytrzymałości platformy modułowego systemu transportu
    Computer simulation of the strength of the platform of modular transport system
    Autorzy:
    Kruś, Marcin
    Kuligowski, Paweł
    Cichy, Rafał
    Data publikacji:
    2014
    Wydawca:
    Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny
    Tematy:
    symulacja komputerowa
    modułowy system transportu
    transport intermodalny
    platforma kolejowa
    wytrzymałość
    Techniczne Specyfikacje Interoperacyjności
    TSI
    naczepa drogowa
    metoda elementów skończonych
    MES
    computer simulation
    modular transport system
    intermodal transport
    railway platform
    strength
    Technical Specifications for Interoperability
    road trailer
    finite element method
    Pokaż więcej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Wymagania dotyczące wprowadzania do obrotu składników interoperacyjności na przykładzie szyny kolejowej
    Requirements for putting the interoperability constituents on the market on the example of railway rail
    Autorzy:
    Smoczyński, Piotr
    Kadziński, Adam
    Data publikacji:
    2016
    Wydawca:
    Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny
    Tematy:
    szyna kolejowa
    wprowadzenie do obrotu
    interoperacyjność
    techniczna specyfikacja interoperacyjności
    TSI
    metoda oceny bezpieczeństwa
    CSM
    rail
    marketing
    interoperability
    Technical Specifications for Interoperability
    common safety method
    Pokaż więcej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Trwałość warstw hydroizolacyjnych stosowanych w przekryciach dachów zielonych w świetle aktualnych specyfikacji technicznych oraz na przykładzie Galerii Handlowej „Sfera II” w Bielsku-Białej
    Autorzy:
    Francke, Barbara
    Vaverková, Magdalena Daria
    Data publikacji:
    2023
    Słowa kluczowe:
    przekrycie dachowe
    dach zielony
    taras zielony
    dach odwrócony
    taras
    warstwa roślinności
    warstwa hydroizolacyjna
    materiał hydroizolacyjny
    trwałość
    odporność na przerastanie przez korzenie
    metoda badań
    Bielsko-Biała
    galeria handlowa
    Sfera II
    roof covering
    green roof
    green terrace
    inverted roof
    terrace
    vegetation layer
    waterproofing layer
    waterproofing material
    durability
    resistance to root penetration
    test method
    shopping center
    Pokaż więcej
    Dostawca treści:
    BazTech
    Artykuł
    Szczegóły
      Wyświetlanie 1-11 z 11

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies