Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             27 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Abstract Interpretation Against Races Roberto Barbuti
 2004
 60 1-4 p. 67-79
 artikel
2 A Graded Meaning of Formulas in Approximation Spaces Anna Gomolińska
 2004
 60 1-4 p. 159-172
 artikel
3 A New Synchronisation Model for Multi-Level Object Petri Nets Berndt Farwer
 2004
 60 1-4 p. 131-142
 artikel
4 Best Fairness Hierarchy in Elementary Nets Edward Ochmański
 2004
 60 1-4 p. 237-250
 artikel
5 Bilateral Ranking Negotiations Antoni Mazurkiewicz
 2004
 60 1-4 p. 1-16
 artikel
6 Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure Irina A. Lomazowa
 2004
 60 1-4 p. 225-235
 artikel
7 Complex Patterns Andrzej Skowron
 2004
 60 1-4 p. 351-366
 artikel
8 Compositional Synthesis of Generalized Mealy Machines Simone Tini
 2004
 60 1-4 p. 367-382
 artikel
9 Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs Cinzia Bernardeschi
 2004
 60 1-4 p. 81-98
 artikel
10 Data Mining and Its Use in Texture Analysis Martin Heckel
 2004
 60 1-4 p. 173-186
 artikel
11 Decision Rules and Dependencies Zdzisław Pawlak
 2004
 60 1-4 p. 33-39
 artikel
12 Discovering Concurrent Models from Data Tables with the ROSECON System Krzysztof Pancerz
 2004
 60 1-4 p. 251-268
 artikel
13 Entish: A Language for Describing Data Processing in Open Distributed Systems Stanisław Ambroszkiewicz
 2004
 60 1-4 p. 41-66
 artikel
14 Exploiting Labels in Structural Operational Semantics Peter D. Mosses
 2004
 60 1-4 p. 17-31
 artikel
15 Galois Connections and Data Analysis Marcin Wolski
 2004
 60 1-4 p. 401-415
 artikel
16 Improvements in SAT-based Reachability Analysis for Timed Automata Andrzej Zbrzezny
 2004
 60 1-4 p. 417-434
 artikel
17 Minimization Algorithms for Time Petri Nets Agata Półrola
 2004
 60 1-4 p. 307-331
 artikel
18 Mobile Object-Net Systems and their Processes Berndt Farwer
 2004
 60 1-4 p. 113-129
 artikel
19 Models and Parallel Programming Abstractions to Enhance Concurrency of Parallel Programs Analoliy Doroshenko
 2004
 60 1-4 p. 99-111
 artikel
20 On Associative Omega-Products Roman R. Redziejowski
 2004
 60 1-4 p. 333-350
 artikel
21 On Designated Values in Multi-valued CTL^* Model Checking Beata Konikowka
 2004
 60 1-4 p. 211-224
 artikel
22 On Fuzzy Reasoning Using Matrix Representation of Extended Fuzzy Petri Nets B. Fryc
 2004
 60 1-4 p. 143-157
 artikel
23 Open Maps and Observational Equivalences for Timed Partial Order Models Irina B. Virbitskaite
 2004
 60 1-4 p. 383-399
 artikel
24 Preface Hans-Dieter Burkhard
 2004
 60 1-4 p. vii-viii
 artikel
25 Slicing Timed Systems Agata Janowska
 2004
 60 1-4 p. 187-210
 artikel
26 Some Remarks on Sets of Communicating Sequential Processes in Topological Rough Set Framework Lech Polkowski
 2004
 60 1-4 p. 291-305
 artikel
27 The Performance Evaluation Tool for Automated Prototyping of Concurrent Cyclic Processes Michał Polak
 2004
 60 1-4 p. 269-289
 artikel
                             27 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland