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
 
                             22 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Abstract Interpretation of an Object Calculus for Synchronization Optimizations Roberto Barbuti
 2005
 67 1-3 p. 1-12
 artikel
2 A Controller Design for the Khepera Robot: A Rough Set Approach Zbigniew Suraj
 2005
 67 1-3 p. 219-231
 artikel
3 An Axiomatic Framework for Proving Correctness of Nets Ludwik Czaja
 2005
 67 1-3 p. 45-64
 artikel
4 A Probabilistic Model for Molecular Systems Roberto Barbuti
 2005
 67 1-3 p. 13-27
 artikel
5 Associative Omega-products of Traces Roman R. Redziejowski
 2005
 67 1-3 p. 175-185
 artikel
6 Automatic Modeling and Analysis of MSC-specified Systems Sergiy Kryvyy
 2005
 67 1-3 p. 107-120
 artikel
7 Concurrency Specification and Programming Hans-Dieter Burkhard
 2005
 67 1-3 p. vii
 artikel
8 Extreme Runtimes of Schedules Modelled by Time Petri Nets Louchka Popova-Zeugmann
 2005
 67 1-3 p. 163-174
 artikel
9 Flexible Indiscernibility Relations for Missing Attribute Values Rafał Latkowski
 2005
 67 1-3 p. 131-147
 artikel
10 Higher order Programming in Java: Introspection, Subsumption and Extraction Marco Bellia
 2005
 67 1-3 p. 29-44
 artikel
11 Modelling Complex Patterns by Information Systems Jarosław Stepaniuk
 2005
 67 1-3 p. 203-217
 artikel
12 On Star-Connected Flat Languages Barbara Klunder
 2005
 67 1-3 p. 93-105
 artikel
13 Petri Net Processes for Zero-Safe Nets Berndt Farwer
 2005
 67 1-3 p. 65-75
 artikel
14 Probability in Petri Nets Manfred Kudlek
 2005
 67 1-3 p. 121-130
 artikel
15 Restriction-Based Concurrent System Design Using the Rough Set Formalism Zbigniew Suraj
 2005
 67 1-3 p. 233-247
 artikel
16 SAT-based Reachability Checking for Timed Automata with Diagonal Constraints Andrzej Zbrzezny
 2005
 67 1-3 p. 303-322
 artikel
17 Satisfiability and Meaning of Formulas and Sets of Formulas in Approximation Spaces Anna Gomolińska
 2005
 67 1-3 p. 77-92
 artikel
18 Social Formation of Negotiation Space and Groups for Non-Isolated Multilateral Negotiations Kay Schröter
 2005
 67 1-3 p. 187-201
 artikel
19 Spatio-Temporal Approximate Reasoning over Complex Objects Piotr Synak
 2005
 67 1-3 p. 249-269
 artikel
20 Time Petri Nets for Modelling and Analysis of Biochemical Networks Louchka Popova-Zeugmann
 2005
 67 1-3 p. 149-162
 artikel
21 Universal Semi-local Election Protocol Using Forward Links Dobiesław Wróblewski
 2005
 67 1-3 p. 287-301
 artikel
22 Weight-Based Negotiation Mechanisms: Balancing Personal Utilities Diemo Urbig
 2005
 67 1-3 p. 271-285
 artikel
                             22 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland