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. 120, nr 3/4
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2012
Identyfikatory
Zawartość wolumenu
Vol. 120, nr 3/4
artykuł:
Synthesizing Concurrent Programs Using Answer Set Programming
(
De Angelis E.
,
Pettorossi A.
,
Proietti M.
), s. 205-229
artykuł:
Greedy Algorithms for Construction of Approximate Tests for Decision Tables with Many-Valued Decisions
(
Azad M.
,
Chikalov I.
,
Moshkov M.
,
Zielosko B.
), s. 231-242
artykuł:
Cellular Resource-Driven Automata
(
Bashkin V.A.
,
Lomazova I.A.
), s. 243-257
artykuł:
On Conditions for Modular Verification in Systems of Synchronising Components
(
Drábik P.
,
Maggiolo-Schettini A.
,
Milazzo P.
), s. 259-274
artykuł:
On Compositionality of Boundedness and Liveness for Nested Petri Nets
(
Dworzański L. W.
,
Lomazova I.A.
), s. 275-293
artykuł:
Informational Analysis of Security and Integrity
(
Gruska D.P.
), s. 295-309
artykuł:
Quantification of Positive and Negative Attacker's Information
(
Gruska D.P.
), s. 311-324
artykuł:
Conservative Elementary Object Systems
(
Köhler-Bußmeier M.
,
Heitmann F.
), s. 325-339
artykuł:
Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays
(
Popova-Zeugmann L.
,
Pelz E.
), s. 341-357
artykuł:
The Impedance Mismatch in Light of the Unified State Model
(
Wiśniewski P.
,
Burzańska M.
,
Stencel K.
), s. 359-374
artykuł:
A New Translation from ECTL* to SAT*
(
Zbrzezny A.
), s. 375-395
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ć.