Fundamenta Informaticae - Tom Vol. 102, nr 1 (2010) - Biblioteka Nauki - Yadda

Ten serwis zostanie wyłączony 2025-02-11.

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. 102, nr 1

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2010

Identyfikatory

Zawartość wolumenu

Vol. 102, nr 1
- artykuł: Time-independent Liveness in Time Petri Nets (Bachmann J. P., Popova-Zeugmann L.), s. 1-17
- artykuł: A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security (Barbuti R., Maggiolo-Schettini A., Milazzo P., Gruska D. P.), s. 19-34
- artykuł: Update of Probabilistic Beliefs: Implementation and Parametric Verification (Budzyńska K., Kacprzak M., Rembelski P.), s. 35-48
- artykuł: Agent Oriented Techniques for Programming Autonomous Robots (Burkhard H.-D.), s. 49-62
- artykuł: Process Algebra Contexts and Security Properties (Gruska D. P.), s. 63-76
- artykuł: Model Checking Optimisation Based Congestion Control Algorithms (Lomuscio A., Strulo B., Walker N. G., Wu P.), s. 77-96
- artykuł: Checking Consistency of an ABox w.r.t. Global Assumptions in PDL (Nguyen L.A. L. A., Szałas A.), s. 97-113
- artykuł: SAT as a Programming Environment for Linear Algebra (Srebrny M., Stępień L.), s. 115-127

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ć.