|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
13 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Algebraic theory of processes |
Weijland, W.Peter |
1989 |
12 | 2 |
p. 167-168 2 p. |
artikel |
|
| 2 | Algorithms and data structures |
Wallis, Peter |
1989 |
12 | 2 |
p. 157-158 2 p. |
artikel |
|
| 3 | A method of programming |
Mili, Ali |
1989 |
12 | 2 |
p. 165-167 3 p. |
artikel |
|
| 4 | An algorithm for transitive reduction of an acyclic graph |
Gries, David |
1989 |
12 | 2 |
p. 151-155 5 p. |
artikel |
|
| 5 | A new approach to Earley's parsing algorithm |
Kruseman Aretz, F.E.J. |
1989 |
12 | 2 |
p. 105-121 17 p. |
artikel |
|
| 6 | Comparative programming languages |
Lindsey, C.H. |
1989 |
12 | 2 |
p. 172-173 2 p. |
artikel |
|
| 7 | Compiling functional languages |
Harrison, Rachel |
1989 |
12 | 2 |
p. 164-165 2 p. |
artikel |
|
| 8 | Equational reasoning in Isabelle |
Nipkow, Tobias |
1989 |
12 | 2 |
p. 123-149 27 p. |
artikel |
|
| 9 | Formal derivation of a pattern matching algorithm |
Bird, R.S. |
1989 |
12 | 2 |
p. 93-104 12 p. |
artikel |
|
| 10 | Introduction to functional programming |
Bailes, Paul A. |
1989 |
12 | 2 |
p. 158-164 7 p. |
artikel |
|
| 11 | Software development: Fashioning the boroque |
Turski, W.M. |
1989 |
12 | 2 |
p. 174-175 2 p. |
artikel |
|
| 12 | Software engineering mathematics |
Hall, Anthony |
1989 |
12 | 2 |
p. 168-170 3 p. |
artikel |
|
| 13 | Software productivity |
Jackson, Michael |
1989 |
12 | 2 |
p. 170-172 3 p. |
artikel |
13 gevonden resultaten