|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A decision procedure and complete axiomatization for projection temporal logic |
Shu, Xinfeng |
|
819 | C |
p. 50-84 |
artikel |
|
| 2 | Editorial Board |
|
819 | C |
p. ii |
artikel |
||
| 3 | Flow shop for dual CPUs in dynamic voltage scaling |
Chau, Vincent |
|
819 | C |
p. 24-34 |
artikel |
|
| 4 | Functional dependency restricted insertion propagation |
Miao, Dongjing |
|
819 | C |
p. 1-8 |
artikel |
|
| 5 | Polynomial-time algorithm for isomorphism of graphs with clique-width at most three |
Das, Bireswar |
|
819 | C |
p. 9-23 |
artikel |
|
| 6 | Verify heaps via unified model checking |
Lu, Xu |
|
819 | C |
p. 35-49 |
artikel |
6 gevonden resultaten