Fundamenta Informaticae - Tom Vol. 93, nr 1-3 (2009) - Biblioteka Nauki - Yadda

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Tom - szczegóły

Tytuł artykułu

Vol. 93, nr 1-3

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2009

Identyfikatory

Zawartość wolumenu

Vol. 93, nr 1-3
- artykuł: Formal Definition of XCCS Modelling Language (Balicki K., Szpyrka M.), s. 1-15
- artykuł: P Systems with Transport and Diffusion Membrane Channels (Barbuti R., Maggiolo-Schettini A., Milazzo P., Tini S.), s. 17-31
- artykuł: Levels of Persistency in Place/Transition Nets (Barylska K., Ochmański E.), s. 33-43
- artykuł: JavaΩ: The Structures and the Implementation of a Preprocessor for Java with m_and mc_ parameters (Bellia M., Occhiuto M. E.), s. 45-64
- artykuł: Perseus. Software for Analyzing Persuasion Process (Budzyńska K., Kacprzak M., Rembelski P.), s. 65-79
- artykuł: What Agents Can Probably Enforce (Bulling N., Jamroga W.), s. 81-96
- artykuł: Analysis and Synthesis of Net Structures and Transition Graphs (Czaja L., Kudlek M.), s. 97-110
- artykuł: Using Ontologies and Algebra of Algorithms for Formalized Development of Parallel Programs (Doroshenko A., Yatsenko O.), s. 111-125
- artykuł: Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems (Gribovskaya N., Virbitskaite I.), s. 127-142
- artykuł: The Outline of an Ontology for the Rough Set Theory and its Applications (Grochowalski P., Pancerz K.), s. 143-154
- artykuł: Quantifying Security for Timed Process Algebras (Gruska D. P.), s. 155-169
- artykuł: Generation of Database Transactions with Petri Nets (van Hee K. M., Sidorova N., Voorhoeve M., van der Werf J. M.), s. 171-184
- artykuł: Simulation of Security Protocols based on Scenarios of Attacks (Jakubowska G., Dembiński P., Penczek W., Szreter M.), s. 185-203
- artykuł: On the Expressiveness of Communication Channels for Object Nets (Köhler-Bußmeier M., Heitmann F.), s. 205-219
- artykuł: Multiset Pushdown Automata (Kudlek M., Totzke P., Zetzsche G.), s. 221-233
- artykuł: Properties of Multiset Language Classes Defined by Multiset Pushdown Automata (Kudlek M., Totzke P., Zetzsche G.), s. 235-244
- artykuł: Timed Automata Based Model Checking of Timed Security Protocols (Kurkowski M., Penczek W.), s. 245-259
- artykuł: On Minimal Inhibitory Rules for Almost All k-Valued Information Systems (Moshkov M. J., Skowron A., Suraj Z.), s. 261-272
- artykuł: An Efficient Tableau Prover using Global Caching for the Description Logic ALC (Nguyen L.A. L. A.), s. 273-288
- artykuł: A New Approach to Model Checking of UML State Machines (Niewiadomski A., Penczek W., Szreter M.), s. 289-303
- artykuł: A Translator of Java Programs to TADDs (Rataj A., Woźna B., Zbrzezny A.), s. 305-324
- artykuł: Applying Classical Concepts to Parsing Expression Grammar (Redziejowski R. R.), s. 325-336
- artykuł: Petri Nets with TimeWindows: A Comparison to Classical Petri Nets (Wegener J.-T., Popova-Zeugmann L.), s. 337-352

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ć.