|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
21 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A general incremental evaluator for attrbiute grammars |
Jalili, Fahimeh |
1985 |
5 | C |
p. 83-96 14 p. |
artikel |
|
| 2 | A language of specified programs |
Tarlecki, Andrzej |
1985 |
5 | C |
p. 59-81 23 p. |
artikel |
|
| 3 | Algebraic specification and verification of communication protocols |
Koomen, C.J. |
1985 |
5 | C |
p. 1-36 36 p. |
artikel |
|
| 4 | A method and a language for constructing iterative programs |
Finance, Jean-Pierre |
1985 |
5 | C |
p. 201-218 18 p. |
artikel |
|
| 5 | Announcement |
1985 |
5 | C |
p. 231- 1 p. |
artikel |
||
| 6 | Author index volume 5 (1985) |
1985 |
5 | C |
p. 323- 1 p. |
artikel |
||
| 7 | Automatic construction of CSP programs from sequential non-deterministic programs |
Moitra, Abha |
1985 |
5 | C |
p. 277-307 31 p. |
artikel |
|
| 8 | Call for papers |
1985 |
5 | C |
p. 321- 1 p. |
artikel |
||
| 9 | Construction of Data Processing Software |
Jackson, Michael |
1985 |
5 | C |
p. 317-318 2 p. |
artikel |
|
| 10 | Coordinated computing: Tools and techniques for distributed software |
Feldman, Jerome A. |
1985 |
5 | C |
p. 318-320 3 p. |
artikel |
|
| 11 | Description and improvement of iterative program transformations |
Souquières, Jeanine |
1985 |
5 | C |
p. 233-264 32 p. |
artikel |
|
| 12 | Distributed mutual exclusion on a ring of processes |
Martin, Alain J. |
1985 |
5 | C |
p. 265-276 12 p. |
artikel |
|
| 13 | Editorial Board |
1985 |
5 | C |
p. iii- 1 p. |
artikel |
||
| 14 | Programming System methodologies |
Meyer, Bertrand |
1985 |
5 | C |
p. 107-109 3 p. |
artikel |
|
| 15 | Showing programs on a screen |
Meyer, Bertrand |
1985 |
5 | C |
p. 111-142 32 p. |
artikel |
|
| 16 | Small programming exercises 7 |
Rem, M. |
1985 |
5 | C |
p. 219-229 11 p. |
artikel |
|
| 17 | Small programming exercises 6 |
Rem, M. |
1985 |
5 | C |
p. 97-106 10 p. |
artikel |
|
| 18 | Small programming exercises 8 |
Rem, M. |
1985 |
5 | C |
p. 309-316 8 p. |
artikel |
|
| 19 | The design of divide and conquer algorithms |
Smith, Douglas R. |
1985 |
5 | C |
p. 37-51 15 p. |
artikel |
|
| 20 | Top-down design and the algebra of communicating processes |
Bergstra, J.A. |
1985 |
5 | C |
p. 171-199 29 p. |
artikel |
|
| 21 | Verifying the unification algorithm in LCF |
Paulson, Lawrence C. |
1985 |
5 | C |
p. 143-169 27 p. |
artikel |
21 gevonden resultaten