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. 112, nr 1
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2011
Identyfikatory
Zawartość wolumenu
Vol. 112, nr 1
artykuł:
Maximally Parallel Probabilistic Semantics for Multiset Rewriting
(
Barbuti R.
,
Levi F.
,
Milazzo P.
,
Scatena G.
), s. 1-17
artykuł:
Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata
(
Belardinelli F.
,
Jones A. V.
,
Lomuscio A.
), s. 19-37
artykuł:
On Synthesis and Analysis of Generalized Work Flow Net Structures and Transition Graphs
(
Czaja L.
,
Kudlek M.
), s. 39-45
artykuł:
PlanICS - a Web Service Composition Toolset
(
Doliwa D.
,
Horzelski W.
,
Niewiadomski A.
,
Penczek W.
,
Półrola A.
,
Szreter M.
,
Zbrzezny A.
), s. 47-71
artykuł:
Liveness of Safe Object Nets
(
Köhler-Bußmeier M.
,
Heitmann F.
), s. 73-87
artykuł:
Dynamic Motion Control: Adaptive Bimanual Grasping for a Humanoid Robot
(
Mellmann H.
,
Cotugno G.
), s. 89-101
artykuł:
Software Agent Systems for Improving Performance of Multi-Robot Groups
(
Turek W.
,
Cetnarowicz K.
,
Zaborowski W.
), s. 103-117
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ć.