Autor: Penczek, W. - Prolib Integro

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ę "Penczek, W." wg kryterium: Autor

Wyświetlanie 1-9 z 9

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: UML Verification with Verics
Autorzy:: Niewiadomski, A.
Penczek, W.
Tematy:: model checking
UML
unified modeling language
VerICS; Pokaż więcej
Data publikacji:: 2007
Wydawca:: Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Model Checking Temporal Properties of Reaction Systems
Weryfikacja temporalnych własności systemów reakcyjnych
Autorzy:: Męski, A.
Penczek, W.
Rozenberg, G.
Tematy:: reaction systems
model checking
temporal logic
systemy reakcyjne
weryfikacja modelowa
logika temporalna; Pokaż więcej
Data publikacji:: 2014
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Combining SMT and Simulated Annealing into a Hybrid Planning Method
Autorzy:: Skaruz, J.
Niewiadomski, A.
Penczek, W.
Tematy:: concrete planning
genetic algorithm
satisfiability modulo theories
simulated annealing
web service composition
planics; Pokaż więcej
Data publikacji:: 2015
Wydawca:: Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Solving the abstract planning problem using genetic algorithms
Autorzy:: Skaruz, J.
Niewiadomski, A.
Penczek, W.
Tematy:: abstract planning
genetic algorithms
web service composition; Pokaż więcej
Data publikacji:: 2013
Wydawca:: Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Towards partial order reductions for fragments of alternating-time temporal logic
O redukcjach częścio-porządkowych dla fragmentów logiki temporalnej czasu alternatywnego
Autorzy:: Dembiński, P.
Jamroga, W.
Mazurkiewicz, A.
Penczek, W.
Tematy:: Alternating-Time Temporal Logic
asynchronous systems
partial order reduction
traces
logika temporalna czasu alternującego
systemy asynchroniczne
redukcje częścio-porządkowe
ślady; Pokaż więcej
Data publikacji:: 2016
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Web Services composition - from ontology to plan by query
Autorzy:: Doliwa, D.
Horzelski, W.
Jarocki, M.
Niewiadomski, A.
Penczek, W.
Półrola, A.
Szreter, M.
Tematy:: automated composition
web services
abstract planning; Pokaż więcej
Data publikacji:: 2011
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Możliwości zastosowania żywic epoksydowych w procesie wyprawiania skór
Współwytwórcy:: Śmiechowski, Krzysztof
Penczek, Piotr
Żarłok, Jan
Uniwersytet Technologiczno-Humanistyczny im. Kazimierza Pułaskiego w Radomiu. Wydział Materiałoznawstwa, Technologii i Wzornictwa
Wardzińska, Elżbieta
Skiba, Jan
Data publikacji:: 2009
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Mieszaniny polimerowe PET/PE-LD i PET/PP z dodatkiem nowego kompatybilizatora
Współwytwórcy:: Penczek, Piotr
Janik, Jolanta
Lenart, Stanisław
Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydział Technologii i Inżynierii Chemicznej. Instytut Polimerów
Królikowski, Wacław
Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydział Inżynierii Mechanicznej i Mechatroniki. Instytut Inżynierii Materiałowej
Data publikacji:: 2004
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Niektóre aspekty badań nad otrzymywaniem stałych termoutwardzalnych tłoczyw poliestrowych
Współwytwórcy:: Penczek, Piotr
Rosińska, Jolanta
Instytut Chemii Przemysłowej im. prof. Ignacego Mościckiego
Nowaczek, Wiesława
Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydział Technologii i Inżynierii Chemicznej. Instytut Polimerów
Królikowski, Wacław
Bończa-Tomaszewski, Zbigniew
Data publikacji:: 2004
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Wyświetlanie 1-9 z 9

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

Prześlij opinię

Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.