Temat: formal models - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Podstawowe Twierdzenie Bezpieczeństwa
Basic Security Theorem
Autorzy:: Liderman, K.
Tematy:: informatyka
ochrona informacji
modele formalne
polityka bezpieczeństwa
zarządzanie bezpieczeństwem informacji
computer science
security
formal models
security policy
information security management; Pokaż więcej
Data publikacji:: 2011
Wydawca:: Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Umiarkowanie i jego modele
Autorzy:: Trzcieniecka-Schneider, Irena
Tematy:: Aristotelian ethics
Epicurean ethics
golden mean
temperance
conceptual analysis
logical analysis
formal models
etyka Arystotelesa
etyka Epikura
złoty środek
umiarkowanie
analiza pojęciowa
analiza logiczna
model formalny; Pokaż więcej
Data publikacji:: 2017
Wydawca:: Uniwersytet Papieski Jana Pawła II w Krakowie
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Formal models of generating checkup sets for the technical condition evaluation of compound objects
Modele formalne generowania zbiorów sprawdzeń dla oceny stanu technicznego obiektów złożonych
Autorzy:: Sowa, A.
Tematy:: obiekty złożone
ocena stanu technicznego
modele formalne obiektów
binarna i wielowartościowa ocena
wspomaganie komputerowe
compound objects
technical condition evaluation
formal models of objects
binary and multiplevalued evaluation
computer aiding; Pokaż więcej
Data publikacji:: 2014
Wydawca:: Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: A safety related perspective for the power supply systems in railway industry
Bezpieczeństwo systemów zasilania w przemyśle kolejowym
Autorzy:: Oz, M. A.
Kaymakci, O. T.
Koyun, A.
Tematy:: Markov models
reliability
formal modeling
modele Markowa
niezawodność
modelowanie formalne; Pokaż więcej
Data publikacji:: 2017
Wydawca:: Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Edukacja fizyczna ludzi w późnej dorosłości na przykładzie Uniwersytetu Trzeciego Wieku w Akademii Wychowania Fizycznego we Wrocławiu
Physical education among people in late adulthood on the example of the University of the Third Age at the University School of Physical Education in Wrocław
Autorzy:: Koszczyc, Marta
Koszczyc, Tadeusz
Tematy:: edukacja pozaformalna
wartość ciała
wzory cielesności we współczesnej kulturze
non-formal education
value of the body
models of corporality in contemporary culture; Pokaż więcej
Data publikacji:: 2018
Wydawca:: Akademia Wychowania Fizycznego we Wrocławiu
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja