|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A new lower bound on the expected size of irredundant forms for Boolean functions |
O'Connor, Luke |
1995 |
53 | 6 |
p. 347-353 7 p. |
artikel |
|
| 2 | An experiment with the use of predicate transformers in UNITY |
Dijkstra, Rutger M. |
1995 |
53 | 6 |
p. 329-332 4 p. |
artikel |
|
| 3 | An optimal algorithm for finding the edge visibility polygon under limited visibility |
Kim, Sung-Ho |
1995 |
53 | 6 |
p. 359-365 7 p. |
artikel |
|
| 4 | A note on the number of monadic quantifiers in monadic ∑1 1 |
Otto, Martin |
1995 |
53 | 6 |
p. 337-339 3 p. |
artikel |
|
| 5 | A note on the power of majority gates and modular gates |
Goldmann, Mikael |
1995 |
53 | 6 |
p. 321-327 7 p. |
artikel |
|
| 6 | Author index volume 53 (1995) |
1995 |
53 | 6 |
p. 367-369 3 p. |
artikel |
||
| 7 | Decreasing the bandwidth of a transition matrix |
Macarie, Ioan I. |
1995 |
53 | 6 |
p. 315-320 6 p. |
artikel |
|
| 8 | Geometric two-server algorithms |
El-Yaniv, Ran |
1995 |
53 | 6 |
p. 355-358 4 p. |
artikel |
|
| 9 | New statistics for demand-based software testing |
May, J.H.R. |
1995 |
53 | 6 |
p. 307-314 8 p. |
artikel |
|
| 10 | On the point-to-point connection problem |
Natu, Madan |
1995 |
53 | 6 |
p. 333-336 4 p. |
artikel |
|
| 11 | Query processing for multimedia applications on optical media |
Spiliopoulou, Myra |
1995 |
53 | 6 |
p. 301-306 6 p. |
artikel |
|
| 12 | The weakest deadlock-preserving congruence |
Valmari, Antti |
1995 |
53 | 6 |
p. 341-346 6 p. |
artikel |
12 gevonden resultaten