|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
5 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | ACTLS properties and Bounded Model Checking |
Bożena Woźna |
2004 |
63 | 1 |
p. 65-87 |
article |
|
| 2 | Efficient String Matching in Huffman Compressed Texts |
Kimmo Fredriksson |
2004 |
63 | 1 |
p. 1-16 |
article |
|
| 3 | Embedding Invisible Watermarks into Digital Images Based on Side-Match Vector Quantization |
Hsien-Chu Wu |
2004 |
63 | 1 |
p. 89-106 |
article |
|
| 4 | Knowledge Acquisition under Incomplete Knowledge using Methods from Formal Concept Analysis: Part I |
Richard Holzer |
2004 |
63 | 1 |
p. 17-39 |
article |
|
| 5 | Knowledge Acquisition under Incomplete Knowledge using Methods from Formal Concept Analysis: Part II |
Richard Holzer |
2004 |
63 | 1 |
p. 41-63 |
article |
5 results found