PL
|
EN
Szukaj
Przeglądaj
Pomoc
O bazie
test
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Tom - szczegóły
Adres strony
Kopiuj
Tytuł artykułu
Vol. 102, nr 1
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
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ć.