|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Graphical User Interface for Maude-NPA |
Santiago, S. |
2009 |
258 | 1 |
p. 3-20 18 p. |
artikel |
|
| 2 | Automatic Proofs of Termination With Elementary Interpretations |
Lucas, Salvador |
2009 |
258 | 1 |
p. 41-61 21 p. |
artikel |
|
| 3 | NiMoToons: a Totally Graphic Workbench for Program Tuning and Experimentation |
Clerici, Silvia |
2009 |
258 | 1 |
p. 93-107 15 p. |
artikel |
|
| 4 | Preface |
Lucio, Paqui |
2009 |
258 | 1 |
p. 1-2 2 p. |
artikel |
|
| 5 | Termination and Cost Analysis with COSTA and its User Interfaces |
Albert, E. |
2009 |
258 | 1 |
p. 109-121 13 p. |
artikel |
|
| 6 | The tccp Interpreter |
Lescaylle, Alexei |
2009 |
258 | 1 |
p. 63-77 15 p. |
artikel |
|
| 7 | To be or not to be …lazy (In a Parallel Context) |
Hidalgo-Herrero, Mercedes |
2009 |
258 | 1 |
p. 21-39 19 p. |
artikel |
|
| 8 | TOY: A System for Experimenting with Cooperation of Constraint Domains |
Estévez-Martín, S. |
2009 |
258 | 1 |
p. 79-91 13 p. |
artikel |
8 gevonden resultaten