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
 
                             13 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays Popova-Zeugmann, Louchka
2012
120 3-4 p. 341-357
artikel
2 A New Translation from ECTL* to SAT Zbrzezny, Andrzej
2012
120 3-4 p. 375-395
artikel
3 AUTHOR INDEX VOLUME 120 2012
120 3-4 p. 397-398
artikel
4 Cellular Resource-Driven Automata Bashkin, Vladimir A.
2012
120 3-4 p. 243-257
artikel
5 Conservative Elementary Object Systems Köhler-Bußmeier, Michael
2012
120 3-4 p. 325-339
artikel
6 Greedy Algorithms for Construction of Approximate Tests for Decision Tables with Many-Valued Decisions Azad, Mohammad
2012
120 3-4 p. 231-242
artikel
7 Informational Analysis of Security and Integrity Gruska, Damas P.
2012
120 3-4 p. 295-309
artikel
8 On Compositionality of Boundedness and Liveness for Nested Petri Nets Dworzański, Leonid W.
2012
120 3-4 p. 275-293
artikel
9 On Conditions for Modular Verification in Systems of Synchronising Components Drábik, Peter
2012
120 3-4 p. 259-274
artikel
10 Preface Penczek, Wojciech
2012
120 3-4 p. i
artikel
11 Quantification of Positive and Negative Attacker's Information Gruska, Damas P.
2012
120 3-4 p. 311-324
artikel
12 Synthesizing Concurrent Programs Using Answer Set Programming De Angelis, Emanuele
2012
120 3-4 p. 205-229
artikel
13 The Impedance Mismatch in Light of the Unified State Model Wiśniewski, Piotr
2012
120 3-4 p. 359-374
artikel
                             13 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland
Toegankelijkheidsverklaring