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
 
                             14 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 An Improved Construction of Deterministic Omega-automaton Using Derivatives Redziejowski, Roman R.
2012
119 3-4 p. 393-406
artikel
2 AUTHOR INDEX VOLUME 119 2012
119 3-4 p. 439-440
artikel
3 Dynamic Programming Approach for Partial Decision Rule Optimization Amin, Talha
2012
119 3-4 p. 233-248
artikel
4 Exclusive Access to Resources in Distributed Shared Memory Architecture Czaja, Ludwik
2012
119 3-4 p. 265-280
artikel
5 Improving Reachability Analysis of Infinite State Systems by Specialization Fioravanti, Fabio
2012
119 3-4 p. 281-300
artikel
6 Machine Learning for Traffic Prediction Rzeszótko, Jarosław
2012
119 3-4 p. 407-420
artikel
7 On Graded Nearness of Sets Gomolińska, Anna
2012
119 3-4 p. 301-317
artikel
8 Preface Czaja, Ludwik
2012
119 3-4 p. i-ii
artikel
9 Rough Set Based Reasoning About Changes Skowron, Andrzej
2012
119 3-4 p. 421-437
artikel
10 The Equivalence of Reduction and Translation Semantics of Java Simple Closures Bellia, Marco
2012
119 3-4 p. 249-264
artikel
11 Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems Penczek, Wojciech
2012
119 3-4 p. 373-392
artikel
12 Unifying Equivalences for Higher Dimensional Automata Oshevskaya, Elena
2012
119 3-4 p. 357-372
artikel
13 Unsupervised Similarity Learning from Textual Data Janusz, Andrzej
2012
119 3-4 p. 319-336
artikel
14 Update Propagator for Joint Scalable Storage Leszczyński, Paweł
2012
119 3-4 p. 337-355
artikel
                             14 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland