Informacja

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

Wyszukujesz frazę "technika Model Checking" wg kryterium: Wszystkie pola


propozycja biblioteki
Tytuł:
Wpływ normowych modeli betonu na niezawodność zginanych elementów żelbetonowych
Autorzy:
Woliński, Szczepan
Szylak, Kamil
Szukaj w:
Inżynieria i Budownictwo : [miesięcznik Polskiego Związku Inżynierów i Techników Budownictwa] 2016, nr 10 , s. 557-562
Temat:
Konstrukcje żelbetowe - mechanika - modele matematyczne.
Metoda Monte Carlo - stosowanie - budownictwo.
Artykuł (czasop.).
Artykuł - Czytelnia
propozycja biblioteki
Tytuł:
Praktyczne doświadczenia w zastosowaniu modelu BIM w projektowaniu mosty żelbetowego
Autorzy:
Raczyński, Marcin
Trochymiak, Wojciech
Szukaj w:
Inżynieria i Budownictwo : [miesięcznik Polskiego Związku Inżynierów i Techników Budownictwa] 2018, nr 11 , s.562-571
Temat:
Budownictwo.
Konstrukcje żelbetowe- projekty- metody.
Mosty- projekty.
Artykuł (czasop.).
Artykuł - Czytelnia
propozycja biblioteki
Tytuł:
Charakterystyki dynamiczne kładki dla pieszych z przyczółkami
Autorzy:
Pańtak, Marek
Jarek, Bogusław
Szukaj w:
Inżynieria i Budownictwo : [miesięcznik Polskiego Związku Inżynierów i Techników Budownictwa] 2017, nr 11 , s. 598-601
Temat:
Kładki dla pieszych - budowa i konstrukcje.
Kładki dla pieszych - mechanika - modele matematyczne.
Artykuł (czasop.).
Artykuł - Czytelnia
propozycja biblioteki
Tytuł:
Numeryczna analiza systemów dynamicznych w środowisku Matlab
Autorzy:
Miedziarek, Monika
Stępień, Sławomir (nauki techniczne)
Wydawca:
Leszno: Państwowa Wyższa Szkoła Zawodowa im. Jana Amosa Komeńskiego
Rok wydania:
2011
Temat:
Analiza numeryczna - stosowanie - technika.
Matlab - stosowanie - technika.
Układy dynamiczne - modele matematyczne.
Podręczniki akademickie.
UKD:
519.61/.64:681.5:004.42](075.8)
Książka
propozycja biblioteki
Tytuł:
Stateczność techniczna stalowych konstrukcji prętowych w ujęciu eurokodowej metody ogólnej
Autorzy:
Giżejowski, Marian
Stachura, Zbigniew
Szukaj w:
Inżynieria i Budownictwo : [miesięcznik Polskiego Związku Inżynierów i Techników Budownictwa] 2016, nr 2 , s. 82-90
Temat:
Metoda elementów skończonych - stosowanie - mechanika.
Pręty - mechanika - modele matematyczne.
Stateczność.
Artykuł (czasop.).
Artykuł - Czytelnia
propozycja biblioteki
Tytuł:
Ocena wpływu technik Fascial Distortion Model [FDM] kinesiotapingu oraz treningu funkcjonalnego na zakres ruchu oraz odczucia bólu w zespole bolesnego barku: studium przypadku
Autorzy:
Pikul, Barbara
Kryza, Mariusz
Sańko, Mateusz
Szukaj w:
Praktyczna fizjoterapia & rehabilitacja 2021, nr 123, luty , s.64-74
Temat:
Bark - urazy.
FDM (metoda).
Plastrowanie dynamiczne.
PNF (metoda).
Rehabilitacja - metody.
Terapia manualna.
Zespół bolesnego barku.
Artykuł (czasop.).
Artykuł - Czytelnia
propozycja biblioteki
Tytuł:
Instrumentarium i techniki zabiegów w chirurgii naczyniowej
Współtwórcy:
Szwed, Izabela (pielęgniarka) Red.
Michalak, Aldona (pielęgniarka) Red.
Janczak, Dariusz. Red.
Wydawca:
Warszawa : PZWL
Rok wydania:
2022
Temat:
Chirurgia naczyniowa
Naczynia krwionośne - chirurgia
Narzędzia chirurgiczne
Operacja (medycyna)
Pielęgniarstwo operacyjne
Technika operacyjna (medycyna)
UKD:
616.1-089:616-083:(075.8)
Książka
propozycja biblioteki
Tytuł:
Laboratoryjne badania przesypu przenośnika taśmowego w aspekcie weryfikacji dyskretnego modelu materiału transportowego
Autorzy:
Kulinowski, Piotr
Panek, Paweł
Rubacha, Piotr
Szukaj w:
Transport Przemysłowy i Maszyny Robocze: przenośniki, dźwignice, pojazdy, maszyny robocze, napędy i 2013, nr 4 (22) , s. 6-11
Temat:
Przenośniki taśmowe - budowa i konstrukcje.
Przenośniki taśmowe - projekty.
Artykuł (czasop.).
Artykuł - Czytelnia
propozycja biblioteki
Tytuł:
Model opieki pielęgniarskiej nad ciężko oparzonym dzieckiem: studium przypadku według Międzynarodowej Klasyfikacji Praktyki Pielęgniarskiej
Autorzy:
Brodzińska, Beata
Czaja- Bulsa, Grażyna
Musiał, Barbara
Szukaj w:
Pielęgniarstwo Chirurgiczne i Angiologiczne: Surgical and Vascular Nursing 2017, nr 3 , s. 78-83
Temat:
Dziecko chore.
Oparzenie.
Rany - leczenie - metody.
Artykuł (czasop.).
Artykuł - Czytelnia
propozycja biblioteki
Tytuł:
PN-ISO/IEC 29151 Technika informatyczna: techniki bezpieczeństwa : praktyczne zasady ochrony informacji o identyfikowalnych osobach: [Dokument elektroniczny]
Autorzy:
Polski Komitet Normalizacyjny
Wydawca:
Warszawa: Polski Komitet Normalizacyjny
Rok wydania:
cop. 2019
Temat:
Bezpieczeństwo informacyjne.
Normy - PN-ISO/IEC 29151 - stosowanie.
Normalizacja.
Ochrona danych osobowych.
UKD:
005.922.1:006.3/.8
Dokumenty normalizacyjne
propozycja biblioteki
Tytuł:
Instrumentarium i techniki zabiegów w ginekologii operacyjnej
Autorzy:
Michalak, Aldona (pielęgniarka)
Niebojewski, Konrad
Szajnik, Marta
Czubalski, Andrzej (medycyna)
Błaszczyk, Beata (anestezjolog)
Wydawca:
Warszawa : PZWL
Rok wydania:
2023
Temat:
Chirurgia ginekologiczna
Ginekologia
Narzędzia chirurgiczne
Operacja (medycyna)
Postępowanie okołooperacyjne
Technika operacyjna (medycyna)
UKD:
618.1-089:616-089:616-083:615.4(075.8)
Książka
propozycja biblioteki
Tytuł:
Model opieki pielęgniarskiej nad pacjentem po laparoskopowej rękawowej resekcji żołądka: studium przypadku
Autorzy:
Witkowska, Maria
Sak-Dankosky, Natalia
Czarkowska-Pączek, Bożena
Szukaj w:
Pielęgniarstwo Chirurgiczne i Angiologiczne: Surgical and Vascular Nursing 2021, nr 4 , s. 171-175
Temat:
Chirurgia bariatryczna i metaboliczna.
Otyłość.
Leczenie.
Opieka pielęgniarska.
Pielęgniarstwo.
Artykuł (czasop.).
Artykuł - Czytelnia
propozycja biblioteki
Tytuł:
Podstawy inżynierii ruchu i wymiarowania sieci teleinformatycznych
Autorzy:
Stasiak, Maciej
Wydawca:
Poznań: Wydawnictwo Politechniki Poznańskiej
Rok wydania:
2009
Temat:
Procesy Markowa - stosowanie.
Procesy stochastyczne - stosowanie.
Telekomunikacja - modele matematyczne.
Telekomutacja.
Transmisja danych.
Podręczniki akademickie.
UKD:
621.391:004.772:519.87:519.21](07)
Książka
propozycja biblioteki
Tytuł:
PN-ISO/IEC 27005:2014 Technika informatyczna: techniki bezpieczeństwa : zarządzanie ryzykiem w bezpieczeństwie informacji
Autorzy:
Polski Komitet Normalizacyjny
Wydawca:
Warszawa: Polski Komitet Normalizacyjny
Rok wydania:
2014
Temat:
Bezpieczeństwo informacyjne.
Systemy informatyczne.
Ryzyko.
Normy - PN-ISO/IEC 27005 - stosowanie.
Normalizacja.
UKD:
004.056:005.922.1:006.3/.8
Dokumenty normalizacyjne
propozycja biblioteki
Tytuł:
PN-ISO/IEC 29134 Technika informatyczna : techniki bezpieczeństwa : wytyczne dotyczące oceny skutków dla prywatności
Autorzy:
Polski Komitet Normalizacyjny
Wydawca:
Warszawa: Polski Komitet Normalizacyjny
Rok wydania:
cop. 2018
Temat:
Bezpieczeństwo informacyjne.
Systemy informatyczne.
Normy - PN-ISO/IEC 29134- stosowanie.
UKD:
004.056:005.922.1:006.3/.8
Dokumenty normalizacyjne
propozycja biblioteki
Tytuł:
Przemysł Chemiczny : [miesięcznik naukowo-techniczny : Organ Stowarzyszenia Inzynierów i Techników Przemysłu Chemicznego i Polskiej Izby Przemysłu Chemicznego]
Autorzy:
Szyprowski, Andrzej J
Stowarzyszenie Inżynierów i Techników Przemysłu Chemicznego (Warszawa)
Polska Izba Przemysłu Chemicznego (Warszawa)
Wydawca:
Warszawa: Sigma-NOT
Rok wydania:
2006-2022
Temat:
Przemysł chemiczny.
Czasopisma fachowe polskie.
Dokumenty ciągłe

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