|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Concurrency bugs in multithreaded software: modeling and analysis using Petri nets |
Liao, Hongwei |
2012 |
23 | 2 |
p. 157-195 |
artikel |
|
| 2 | Methods for the estimation of the size of lookahead tree state-space |
Winacott, Creag |
2012 |
23 | 2 |
p. 135-155 |
artikel |
|
| 3 | Mixed integer programming in production planning with backlogging and setup carryover: modeling and algorithms |
Wu, Tao |
2012 |
23 | 2 |
p. 211-239 |
artikel |
|
| 4 | Scheduling and control of real-time systems based on a token player approach |
Bonhomme, Patrice |
2012 |
23 | 2 |
p. 197-209 |
artikel |
|
| 5 | The level set method for the two-sided max-plus eigenproblem |
Gaubert, Stéphane |
2012 |
23 | 2 |
p. 105-134 |
artikel |
5 gevonden resultaten