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. 60, nr 1-4
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2004
Identyfikatory
Zawartość wolumenu
Vol. 60, nr 1-4
artykuł:
Bilateral Ranking Negotiations
(
Mazurkiewicz A.
), s. 1-16
artykuł:
Exploiting Labels in Structural Operational Semantics
(
Mosses P.D.
), s. 17--31
artykuł:
Decision Rules and Dependencies
(
Pawlak Z.
), s. 33--39
artykuł:
Entish : A Language for Describing Data Processing in Open Distributed Systems
(
Ambroszkiewicz S.
), s. 41--66
artykuł:
Abstract Interpretation against Races
(
Barbuti R.
,
Cataudella S.
,
Tesei L.
), s. 67--79
artykuł:
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs
(
Bernardeschi C.
,
De Francesco N.
,
Lettieri G.
), s. 81--98
artykuł:
Models and Parallel Programming Abstractions to Enhance Concurrency of Parallel Programs
(
Doroshenko A.
,
Tseitlin G.
), s. 99--111
artykuł:
Mobile Object-Net Systems and their Processes
(
Farwer B.
,
Köhler M.
), s. 113--129
artykuł:
A New Synchronisation Model for Multi-Level Object Petri Nets
(
Farwer B.
,
Kudlek M.
), s. 131--142
artykuł:
On Fuzzy Reasoning Using Matrix Representation of Extended Fuzzy Petri Nets
(
Fryc B.
,
Pancerz K.
,
Peters J.F.
,
Suraj Z.
), s. 143--157
artykuł:
A Graded Meaning of Formulas in Approximation Spaces
(
Gomolińska A.
), s. 159--172
artykuł:
Data Mining and Its Use in Texture Analysis
(
Heckel M.
,
Zendulka J.
), s. 173--186
artykuł:
Slicing Timed Systems
(
Janowska A.
,
Janowski P.
), s. 187--210
artykuł:
On Designated Values in Multi-Valued CTLS* Model Checking
(
Konikowska B.
,
Penczek W.
), s. 211--224
artykuł:
Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure
(
Lomazova I.A.
), s. 225--235
artykuł:
Best Fairness Hierarchy in Elementary Nets
(
Ochmański E.
), s. 237--250
artykuł:
Discovering Concurrent Models from Data Tables with the ROSECON System
(
Pancerz K.
,
Suraj Z.
), s. 251--268
artykuł:
The Performance Evaluation Tool for Automated Prototyping of Concurrent Cyclic Processes
(
Polak M.
,
Majdzik P.
,
Banaszak Z.
,
Wójcik R.
), s. 269--289
artykuł:
Some Remarks on Sets of Commun
(
Polkowski L.
,
Semeniuk-Polkowska M.
), s. 291=-305
artykuł:
Minimization Algorithms for Time Petri Nets
(
Półrola A.
,
Penczek W.
), s. 307--331
artykuł:
On Associative Omega-Products
(
Rędziejowski R.R.
), s. 333--350
artykuł:
Complex Patterns
(
Skowron A.
,
Synak P.
), s. 351--366
artykuł:
Compositional Synthesis of Generalized Mealy Machines
(
Tini S.
,
Maggiolo-Schettini A.
), s. 367--382
artykuł:
Open Maps and Observational Equivalences for Timed Partial Order Models
(
Virbitskaite I.B.
,
Gribovskaya N.S.
), s. 383--399
artykuł:
Galois Connections and Data Analysis
(
Wolski M.
), s. 401--415
artykuł:
Improvements in SAT-based Reachability Analysis for Timed Automata
(
Zbrzezny A.
), s. 417--434
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ć.