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. 130, nr 4
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2014
Identyfikatory
Zawartość wolumenu
Vol. 130, nr 4
artykuł:
Distributed Timed Automata with Independently Evolving Clocks
(
Akshay S.
,
Bollig B.
,
Gastin P.
,
Mukund M.
,
Kumar K. N.
), s. 377--407
artykuł:
A Lower Bound for the HBC Transversal Hypergraph Generation
(
Elbassioni K.
,
Hagen M.
,
Rauf I.
), s. 409--414
artykuł:
An Algorithm for Listing all Minimal Double Dominating Sets of a Tree
(
Krzywkowski M.
), s. 415--421
artykuł:
On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method
(
Permpoontanalarp Y.
,
Sornkhom P.
), s. 423--466
artykuł:
A Robust Audio Watermarking Scheme using Higher-order Statistics in Empirical Mode Decomposition Domain
(
Wang W.
,
Niu P.
,
Yang H.
,
Zhang Y.
,
Ma T.
), s. 467--490
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ć.