|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An axiom system for database transactions |
Qian, Xiaolei |
1990 |
36 | 4 |
p. 183-189 7 p. |
artikel |
|
| 2 | A simple solution to the two paths problem in planar graphs |
Woeginger, Gerhard |
1990 |
36 | 4 |
p. 191-192 2 p. |
artikel |
|
| 3 | Blocking versus nonblocking interprocess communication: a note on the effect on concurrency |
Barbosa, Valmir C. |
1990 |
36 | 4 |
p. 171-175 5 p. |
artikel |
|
| 4 | Existence of simple propositional formulas |
Kleine Büning, Hans |
1990 |
36 | 4 |
p. 177-182 6 p. |
artikel |
|
| 5 | Making a fair roulette from a possibly biased coin |
Dijkstra, Edsger W. |
1990 |
36 | 4 |
p. 193- 1 p. |
artikel |
|
| 6 | Making bubblesort recursive |
Vyskoc̆, Jozef |
1990 |
36 | 4 |
p. 219-220 2 p. |
artikel |
|
| 7 | On the completeness of modular proof systems |
Ramesh, S. |
1990 |
36 | 4 |
p. 195-201 7 p. |
artikel |
|
| 8 | Perceptrons revisited |
Falkowski, Bernd-Jürgen |
1990 |
36 | 4 |
p. 207-213 7 p. |
artikel |
|
| 9 | Performance analysis of greedy heuristic to find a minimum total-jogs layout for river routing |
Teo, Kim-Heng |
1990 |
36 | 4 |
p. 167-170 4 p. |
artikel |
|
| 10 | Remarks on sorting and one-way multihead finite automata |
KutyŁowski, Mirosław |
1990 |
36 | 4 |
p. 215-218 4 p. |
artikel |
|
| 11 | The grammatical inference problem for the Szilard languages of linear grammars |
Mäkinen, Erkki |
1990 |
36 | 4 |
p. 203-206 4 p. |
artikel |
11 gevonden resultaten