Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             31 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A Calculus of Looping Sequences for Modelling Microbiological Systems Barbuti, Roberto
2006
72 1-3 p. 21-35
artikel
2 An Axiomatic Characterization of Algebras of Processes of Petri Nets Winkowski, Józef
2006
72 1-3 p. 407-420
artikel
3 A Quantifier-free First-order Knowledge Logic of Authentication Kurkowski, Mirosław
2006
72 1-3 p. 263-282
artikel
4 A Rewriting Framework for Rule-Based Programming Dynamic Applications Doroshenko, Anatoliy
2006
72 1-3 p. 95-108
artikel
5 A Rough Set Approach to Multiple Classifier Systems Suraj, Zbigniew
2006
72 1-3 p. 393-406
artikel
6 Associative Omega-product of Processes Redziejowski, Roman R.
2006
72 1-3 p. 333-345
artikel
7 A Strong Completeness Result for a MAS Logic Kacprzak, Magdalena
2006
72 1-3 p. 197-213
artikel
8 Behavioral Pattern Identification Through Rough Set Modeling Bazan, Jan G.
2006
72 1-3 p. 37-50
artikel
9 Calculi of Approximation Spaces Skowron, Andrzej
2006
72 1-3 p. 363-378
artikel
10 Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol Kacprzak, Magdalena
2006
72 1-3 p. 215-234
artikel
11 Complete Orders, Categories and Lattices of Approximations Wolski, Marcin
2006
72 1-3 p. 421-435
artikel
12 Concurrency Specification and Programming (CS&P)
2006
72 1-3 p. i
artikel
13 Determining Sound Markings in Structured Nets Chrząstowski-Wachtel, Piotr
2006
72 1-3 p. 65-79
artikel
14 Dynamic Behavior of Simple Insertion Sort Algorithm Grabowski, Franciszek
2006
72 1-3 p. 155-165
artikel
15 Equations for message passing Czaja, Ludwik
2006
72 1-3 p. 81-93
artikel
16 Expressing and Verifying Temporal and Structural Properties of Mobile Agents Bednarczyk, Marek A.
2006
72 1-3 p. 51-63
artikel
17 Learning Sunspot Classification Nguyen, Trung Thanh
2006
72 1-3 p. 295-309
artikel
18 Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets Farwer, Berndt
2006
72 1-3 p. 109-122
artikel
19 Network Information Flow Gruska, Damas P.
2006
72 1-3 p. 167-180
artikel
20 Observational Equivalences for Timed Stable Event Structures Andreeva, Maria V.
2006
72 1-3 p. 1-19
artikel
21 On Quantum Vector Addition Systems Kudlek, Manfred
2006
72 1-3 p. 255-261
artikel
22 Optimization of Speech Recognition by Clustering of Phones Nowak, Agnieszka
2006
72 1-3 p. 283-293
artikel
23 Possible Rough Ingredients of Concepts in Approximation Spaces Gomolińska, Anna
2006
72 1-3 p. 139-154
artikel
24 Properties of Super-Dual Nets Köhler, Michael
2006
72 1-3 p. 245-254
artikel
25 Rough Sets for Handling Imbalanced Data: Combining Filtering and Rule-based Classifiers Stefanowski, Jerzy
2006
72 1-3 p. 379-391
artikel
26 Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets Farwer, Berndt
2006
72 1-3 p. 123-137
artikel
27 Slicing of Timed Automata with Discrete Data Janowska, Agata
2006
72 1-3 p. 181-195
artikel
28 Star-Connected Flat Languages and Automata Klunder, Barbara
2006
72 1-3 p. 235-243
artikel
29 Star-free Star and Trace Languages Ochmański, Edward
2006
72 1-3 p. 323-331
artikel
30 Trace Nets and Conflict-free Computations Ochmański, Edward
2006
72 1-3 p. 311-321
artikel
31 Update and Abstraction in Model Checking of Knowledge and Branching Time Shilov, N.V.
2006
72 1-3 p. 347-361
artikel
                             31 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland