Temat: model technique - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Formalna weryfikacja maszyny stanów z wykorzystaniem logiki temporalnej
Autorzy:: Grobelna, I.
Data publikacji:: 2009
Słowa kluczowe:: algorytmiczna maszyna stanów
ASM
logika temporalna
technika Model Checking
algorithmic state machines ASM
temporal logic
formal verification of specification
Model Checking technique; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Przemiany modelu uzbrojenia i technik walki w młodszym okresie przedrzymskim na ziemiach polskich.
Transformations of the weaponry and combat techniques in the younger pre-Roman period on Polish soil.
Autorzy:: Majerczak, Artur
Słowa kluczowe:: Przeworsk culture; oksywska culture; younger pre-Roman period; armaments model; fighting technique
Kultura przeworska; kultura oksywska; młodszy okres przedrzymski; model uzbrojenia; techniki walki; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Formalna weryfikacja maszyny stanów z wykorzystaniem logiki temporalnej
Formal verification of a state machine with use of temporal logic
Autorzy:: Grobelna, I.
Data publikacji:: 2009
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: algorytmiczne maszyny stanów ASM
logika temporalna
technika Model Checking
algorithmic state machines ASM
temporal logic
formal verification of specification
Model Checking technique; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Skany kontra zdjęcia
Autorzy:: Piegat, T.
Piotrowski, W.
Data publikacji:: 2016
Słowa kluczowe:: model 3D
fotogrametria
technika pomiarowa
3D model
photogrammetry
measurement technique; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Zaawansowane modelowanie 3D elementów typu osłona w środowisku systemu Inwentor
Autorzy:: Zbrowski, A.
Data publikacji:: 2004
Słowa kluczowe:: model wirtualny
parametryzacja
modelowanie bryłowe
adaptacyjność
Inventor system
modelling technique
Inventor programme; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Teoretyczny i rzeczywisty rozkład cieczy dla wybranych parametrów ustawienia rozpylacza
Autorzy:: Szewczyk, A.
Wilczok, G.
Data publikacji:: 2007
Słowa kluczowe:: technika opryskiwania
uprawa polowa
rozkład cieczy
model matematyczny
sprying technique
field crops
liquid distribution
mathematical model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Teoretyczny i rzeczywisty rozkład cieczy dla wybranych parametrów ustawienia rozpylacza
Theoretical and actual liquid distribution for selected atomiser setting parameters
Autorzy:: Szewczyk, A.
Wilczok, G.
Data publikacji:: 2007
Wydawca:: Polskie Towarzystwo Inżynierii Rolniczej
Tematy:: technika opryskiwania
uprawa polowa
rozkład cieczy
model matematyczny
sprying technique
field crops
liquid distribution
mathematical model; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: System do pomiaru mechaniki płuc podczas sztucznej wentylacji z wykorzystaniem techniki przerwaniowej
Autorzy:: Jakuszkin, K.
Mroczka, J.
Data publikacji:: 2010
Słowa kluczowe:: sztuczna wentylacja
technika przerywania przepływu
mechaniczny model płuc
artificial ventilation
flow interrupter technique
lungs mechanical model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Czy warto inwestować w szkolnictwo zawodowe?
Autorzy:: Iwaniec, A.
Data publikacji:: 2007
Słowa kluczowe:: model kształcenia
szkolnictwo zawodowe
kształcenie praktyczne
mechanika
mechatronika
technika
education model
vocational education
practical training
mechanics
mechatronics
technique; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Model diagnostyczny typowania gruntów przydatnych do uprawy roślin energetycznych
Diagnostic model of land classification for cultivation of the energy crops
Autorzy:: Ostrowski, J.
Gutkowska, A.
Data publikacji:: 2008
Wydawca:: Instytut Technologiczno-Przyrodniczy
Tematy:: roślina energetyczna
warunki uprawy
model diagnostyczny
waloryzacja gruntów
technika komputerowa
energy crop
cultivation
diagnostic model
land classification
computer technique; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "model technique" wg kryterium: Temat