|
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
Toegankelijkheidsverklaring