Fundamenta Informaticae - Tom Vol. 101, nr 1/2 (2010) - Biblioteka Nauki - Yadda

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Tom - szczegóły

Tytuł artykułu

Vol. 101, nr 1/2

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2010

Identyfikatory

Zawartość wolumenu

Vol. 101, nr 1/2
- artykuł: Toward Intelligent Searching the Rough Set Database System (RSDS): an Ontological Approach (Suraj Z., Grochowalski P.), s. 115-123
- artykuł: Synthesis and Analysis of Net Structures and Transition Graphs with Inhibitor Relations (Czaja L., Kudlek M.), s. 1-7
- artykuł: Safeness for Object Nets (Köhler-Bußmeier M., Heitmann F.), s. 29-43
- artykuł: Perception and Classification. A Note on Near Sets and Rough Sets (Wolski M.), s. 143-155
- artykuł: Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems (Lomuscio A., Penczek W., Qu H.), s. 71-90
- artykuł: On Computing Extensions and Restrictions of Information Systems Noting Some Order Properties (Pałasiński M., Pancerz K.), s. 91-103
- artykuł: Multi-Agent Decision Taking System (Wakulicz-Deja A., Przybyła-Kasperek M.), s. 121-141
- artykuł: Minimal Regions of ENL-Transition Systems (Koutny M., Pietkiewicz-Koutny M.), s. 45-58
- artykuł: Interacting Workflow Nets for Workflow Process Re-Engineering (Lomazova I. A.), s. 59-70
- artykuł: Infinite Product of Traces Represented by Projections (Redziejowski R. R.), s. 105-113
- artykuł: Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics (Knapik M., Penczek W., Szreter M., Półrola A.), s. 9-27

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.