|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Compiler for Mapping a Rule-Based Event-Triggered Program to a Hardware Engine |
Albrecht, Carsten |
2005 |
124 | 1 |
p. 63-80 18 p. |
artikel |
|
| 2 | ACTAS : A System Design for Associative and Commutative Tree Automata Theory |
Ohsaki, Hitoshi |
2005 |
124 | 1 |
p. 97-111 15 p. |
artikel |
|
| 3 | A Rewriting-based Framework for Web Sites Verification |
Alpuente, M. |
2005 |
124 | 1 |
p. 41-61 21 p. |
artikel |
|
| 4 | On-demand Evaluation for Maude |
Durán, Francisco |
2005 |
124 | 1 |
p. 25-39 15 p. |
artikel |
|
| 5 | Playing with Maude |
Palomino, Miguel |
2005 |
124 | 1 |
p. 3-23 21 p. |
artikel |
|
| 6 | Preface |
Abdennadher, Slim |
2005 |
124 | 1 |
p. 1-2 2 p. |
artikel |
|
| 7 | Principles of Chemical Programming |
Banâtre, Jean-Pierre |
2005 |
124 | 1 |
p. 133-147 15 p. |
artikel |
|
| 8 | Rule-based Programs Describing Internet Security Protocols |
Chevalier, Yannick |
2005 |
124 | 1 |
p. 113-132 20 p. |
artikel |
|
| 9 | Strategy Construction in the Higher-Order Framework of TL |
Winter, Victor L. |
2005 |
124 | 1 |
p. 149-170 22 p. |
artikel |
9 gevonden resultaten