|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A local approach for temporal model checking of Java bytecode |
Santone, Antonella |
2005 |
70 | 2 |
p. 258-281 24 p. |
artikel |
|
| 2 | A probabilistic model of computing with words |
Qiu, Daowen |
2005 |
70 | 2 |
p. 176-200 25 p. |
artikel |
|
| 3 | Attribute grammars for unranked trees as a query language for structured documents |
Neven, Frank |
2005 |
70 | 2 |
p. 221-257 37 p. |
artikel |
|
| 4 | C2 - Ed. Board |
2005 |
70 | 2 |
p. CO2- 1 p. |
artikel |
||
| 5 | C4 - TOC |
2005 |
70 | 2 |
p. CO4- 1 p. |
artikel |
||
| 6 | Delay-insensitive computation in asynchronous cellular automata |
Lee, Jia |
2005 |
70 | 2 |
p. 201-220 20 p. |
artikel |
|
| 7 | First-order expressibility of languages with neutral letters or: The Crane Beach conjecture |
Mix Barrington, David A. |
2005 |
70 | 2 |
p. 101-127 27 p. |
artikel |
|
| 8 | Linear-time algorithms for computing maximum-density sequence segments with bioinformatics applications |
Goldwasser, Michael H. |
2005 |
70 | 2 |
p. 128-144 17 p. |
artikel |
|
| 9 | On paging with locality of reference |
Albers, Susanne |
2005 |
70 | 2 |
p. 145-175 31 p. |
artikel |
|
| 10 | Papers to Appear |
2005 |
70 | 2 |
p. 282- 1 p. |
artikel |
10 gevonden resultaten