Fundamenta Informaticae - Tom Vol. 67, nr 1-3 (2005) - 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. 67, nr 1-3

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2005

Identyfikatory

Zawartość wolumenu

Vol. 67, nr 1-3
- artykuł: Weight-Based Negotiation Mechanisms : Balancing Personal Utilities (Urbig D.), s. 271--285
- artykuł: Universal Semi-local Election Protocol Using Forward Links (Wróblewski D.), s. 287--301
- artykuł: Time Petri Nets for Modelling and Analysis of Biochemical Networks (Popova-Zeugmann L., Heiner M., Koch I.), s. 149--162
- artykuł: Spatio-Temporal Approximate Reasoning over Complex Objects (Synak P., Bazan J. G., Skowron A., Peters J. F.), s. 249-269
- artykuł: Social Formation of Negotiation Space and Groups for Non-Isolated Multilateral Negotiations (Schröter K., Urbig D., Hans N.), s. 187--201
- artykuł: Satisfiability and Meaning of Formulas and Sets of Formulas in Approximation Spaces (Gomolińska A.), s. 77--92
- artykuł: SAT-based Reachability Checking for Timed Automata with Diagonal Constraints (Zbrzezny A.), s. 303--322
- artykuł: Restriction-Based Concurrent System Design Using the Rough Set Formalism (Suraj Z., Pancerz K.), s. 233-247
- artykuł: Probability in Petri Nets (Kudlek M.), s. 121--130
- artykuł: Petri Net Processes for Zero-Safe Nets (Farwer B., Köhler M.), s. 65--75
- artykuł: On Star-Connected Flat Languages (Klunder B., Ochmański E., Stawikowska K.), s. 93--105
- artykuł: Modelling Complex Patterns by Information Systems (Stepaniuk J., Bazan J. G., Skowron A.), s. 203--217
- artykuł: Higher order Programming in Java : Introspection, Subsumption and Extraction (Bellia M., Occhiuto M. E.), s. 29--44
- artykuł: Flexible Indiscernibility Relations for Missing Attribute Values (Latkowski R.), s. 131--147
- artykuł: Extreme Runtimes of Schedules Modelled by Time Petri Nets (Popova-Zeugmann L., Werner M.), s. 163--174
- artykuł: Automatic Modeling and Analysis of MSC-specified Systems (Kryvyy S., Matvyeyeva L., Lopatina M.), s. 107--120
- artykuł: Associative Omega-products of Traces (Redziejowski R. R.), s. 175--185
- artykuł: An Axiomatic Framework for Proving Correctness of Nets (Czaja L.), s. 45--64
- artykuł: Abstract Interpretation of an Object Calculus for Synchronization Optimizations (Barbuti R., Cataudella S.), s. 1--12
- artykuł: A Probabilistic Model for Molecular Systems (Barbuti R., Cataudella S., Maggiolo-Schettini A., Milazzo P., Troina A.), s. 13--27
- artykuł: A Controller Design for the Khepera Robot : A Rough Set Approach (Suraj Z., Peters J. F., Grochowalski P.), s. 219-231

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