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
 
                             24 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Analysis and Synthesis of Net Structures and Transition Graphs Czaja, Ludwik
2009
93 1-3 p. 97-110
artikel
2 An Efficient Tableau Prover using Global Caching for the Description Logic ALC Nguyen, Linh Anh
2009
93 1-3 p. 273-288
artikel
3 A New Approach to Model Checking of UML State Machines Niewiadomski, Artur
2009
93 1-3 p. 289-303
artikel
4 Applying Classical Concepts to Parsing Expression Grammar Redziejowski, Roman R.
2009
93 1-3 p. 325-336
artikel
5 A Translator of Java Programs to TADDs Rataj, Artur
2009
93 1-3 p. 305-324
artikel
6 Concurrency Specification and Programming (CS&P) 2009
93 1-3 p. i
artikel
7 Formal Definition of XCCS Modelling Language Balicki, Krzysztof
2009
93 1-3 p. 1-15
artikel
8 Generation of Database Transactions with Petri Nets van Hee, Kees M.
2009
93 1-3 p. 171-184
artikel
9 JavaΩ: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters Bellia, Marco
2009
93 1-3 p. 45-64
artikel
10 Levels of Persistency in Place/Transition Nets Barylska, Kamila
2009
93 1-3 p. 33-43
artikel
11 Multiset Pushdown Automata Kudlek, Manfred
2009
93 1-3 p. 221-233
artikel
12 On Minimal Inhibitory Rules for Almost All k-Valued Information Systems Moshkov, Mikhail Ju.
2009
93 1-3 p. 261-272
artikel
13 On the Expressiveness of Communication Channels for Object Nets Kohler-Bußmeier, Michael
2009
93 1-3 p. 205-219
artikel
14 Perseus. Software for Analyzing Persuasion Process Budzyńska, Katarzyna
2009
93 1-3 p. 65-79
artikel
15 Petri Nets with Time Windows: A Comparison to Classical Petri Nets Wegener, Jan-Thierry
2009
93 1-3 p. 337-352
artikel
16 Properties of Multiset Language Classes Defined by Multiset Pushdown Automata Kudlek, Manfred
2009
93 1-3 p. 235-244
artikel
17 P Systems with Transport and Diffusion Membrane Channels Barbuti, Roberto
2009
93 1-3 p. 17-31
artikel
18 Quantifying Security for Timed Process Algebras Gruska, Damas P.
2009
93 1-3 p. 155-169
artikel
19 Simulation of Security Protocols based on Scenarios of Attacks Jakubowska, Gizela
2009
93 1-3 p. 185-203
artikel
20 The Outline of an Ontology for the Rough Set Theory and its Applications Grochowalski, Piotr
2009
93 1-3 p. 143-154
artikel
21 Timed Automata Based Model Checking of Timed Security Protocols Kurkowski, Mirosław
2009
93 1-3 p. 245-259
artikel
22 Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems Gribovskaya, Natalya
2009
93 1-3 p. 127-142
artikel
23 Using Ontologies and Algebra of Algorithms for Formalized Development of Parallel Programs Doroshenko, Anatoliy
2009
93 1-3 p. 111-125
artikel
24 What Agents Can Probably Enforce Bulling, Nils
2009
93 1-3 p. 81-96
artikel
                             24 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland