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ę "model technique" wg kryterium: Wszystkie pola


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ł
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
Tytuł:
Detection of mitochondrial dysfunction by EPR technique in mouse model of dilated cardiomyopathy
Autorzy:
Elas, Martyna
Tyrankiewicz, Urszula
Bielanska, Joanna
Heinze-Paluchowska, Sylwia
Ventura-Clapier, Renee
Wozniak, Miroslaw
Chłopicki, Stefan
Walski, Michal
Fortin, Dominique
Płonka, Przemysław
Wojnar, Leszek
Pustelny, Katarzyna
Drelicharz, Łukasz
Skorka, Tomasz
Data publikacji:
2008
Słowa kluczowe:
mitochondria
EPR
heart failure
iron
semiquinones
Pokaż więcej
Dostawca treści:
Repozytorium Uniwersytetu Jagiellońskiego
Artykuł
Tytuł:
Reconstruction of large cranial defects with poly-methyl-methacrylate (PMMA) using a rapid prototyping model and a new technique for intraoperative implant modeling
Współwytwórcy:
Unterhofer, Claudia. Autor
Ortler, Martin. Autor
Thomé, Claudius (1969- ). Autor
Recheis, Wolfgang. Autor
Wipplinger, Christoph. Autor
Verius, Michael. Autor
Data publikacji:
2017
Tematy:
Technika szybkiego prototypowania
Polimetakrylan metylu
Stereolitografia
Czaszka
Pokaż więcej
Dostawca treści:
Academica
Artykuł
Tytuł:
A hybrid multi-criteria decision-making technique for international market selection in SMEs
Hybrydowa wielokryterialna technika podejmowania decyzji dla wyboru rynku międzynarodowego w MŚP
Autorzy:
Baena-Rojas, Jose Jaime
Mackenzie-Torres, Tania Margarita
Cuesta-Giraldo, Guiovanny
Tabares, Alexander
Data publikacji:
2023
Wydawca:
Politechnika Częstochowska
Tematy:
international market selection
multi-criteria model
SMEs
management
wybór rynku międzynarodowego
model wielokryterialny
MŚP
zarządzanie
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł

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