|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
4 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters |
Wu, Xueguang |
2014 |
307 | C |
p. 33-45 13 p. |
artikel |
|
| 2 | Computing Invariants with Transformers: Experimental Scalability and Accuracy |
Maisonneuve, Vivien |
2014 |
307 | C |
p. 17-31 15 p. |
artikel |
|
| 3 | Efficient Constraint/Generator Removal from Double Description of Polyhedra |
Amato, Gianluca |
2014 |
307 | C |
p. 3-15 13 p. |
artikel |
|
| 4 | Preface |
Simon, Axel |
2014 |
307 | C |
p. 1-2 2 p. |
artikel |
4 gevonden resultaten