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. 109, nr 3
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2011
Identyfikatory
Zawartość wolumenu
Vol. 109, nr 3
artykuł:
Resource Driven Automata Nets
(
Bashkin V.A.
,
Lomazova I.A.
), s. 223-236
artykuł:
Properties of Java Simple Closures
(
Bellia M.
,
Occhiuto M.E.
), s. 237-253
artykuł:
On Deadlock and Fairness Decision Problems for Computations on Client-server Systems
(
Czaja L.
), s. 255-264
artykuł:
A Logic-Algebraic Approach to Graded Inclusion
(
Gomolińska A.
), s. 265-279
artykuł:
Gained and Excluded Private Actions by Process Observations
(
Gruska D.P.
), s. 281-295
artykuł:
A Relation between Modal Logic and Language Closure Operators
(
Kudlek M.
), s. 297-304
artykuł:
BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets
(
Męski A.
,
Penczek W.
,
Półrola A.
), s. 305-321
artykuł:
BITES Instead of FIRST for Parsing Expression Grammar
(
Redziejowski R.R.
), s. 323-337
artykuł:
Incomplete and Nondeterministic Information Systems: Object-Directed Semantics for Descriptor Languages
(
Wolski M.
), s. 355-368
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ć.