nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Addendum to “A fully parallel algorithm for residue to binary conversion”
|
Barsi, Ferrucio |
|
1995 |
55 |
1 |
p. 25-26 2 p. |
artikel |
2 |
A note on Mod and generalised Mod classes
|
Mahajan, Meena |
|
1995 |
55 |
1 |
p. 27-31 5 p. |
artikel |
3 |
1-Approximation algorithm for bottleneck disjoint path matching
|
Datta, Alak K. |
|
1995 |
55 |
1 |
p. 41-44 4 p. |
artikel |
4 |
Computing a perfect edge without vertex elimination ordering of a chordal bipartite graph
|
Kloks, T. |
|
1995 |
55 |
1 |
p. 11-16 6 p. |
artikel |
5 |
Easy verification of behavioural subtyping in common cases
|
Butler, Greg |
|
1995 |
55 |
1 |
p. 57-58 2 p. |
artikel |
6 |
ECFSM-based probabilistic protocol verification
|
Huang, Chung-Ming |
|
1995 |
55 |
1 |
p. 1-9 9 p. |
artikel |
7 |
Editorial Board
|
|
|
1995 |
55 |
1 |
p. ii- 1 p. |
artikel |
8 |
Fairness and partial order semantics
|
Vogler, Walter |
|
1995 |
55 |
1 |
p. 33-39 7 p. |
artikel |
9 |
Fair reconstruction of a secret
|
Lin, Hung-Yu |
|
1995 |
55 |
1 |
p. 45-47 3 p. |
artikel |
10 |
On generalized twisted cubes
|
Cull, Paul |
|
1995 |
55 |
1 |
p. 53-55 3 p. |
artikel |
11 |
On the generalized twisted cube
|
Chedid, Fouad B. |
|
1995 |
55 |
1 |
p. 49-52 4 p. |
artikel |
12 |
Probabilistic analysis of k-dimensional packing algorithms
|
Hong, Dawei |
|
1995 |
55 |
1 |
p. 17-24 8 p. |
artikel |