nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A faster algorithm for finding edge-disjoint branchings
|
Tong, Po |
|
1983 |
1 |
4 |
p. 212- 1 p. |
artikel |
2 |
Alternative semantics for temporal logics
|
Allen Emerson, E. |
|
1983 |
1 |
4 |
p. 213- 1 p. |
artikel |
3 |
A mathematical model for transient analysis of computer systems
|
Baiocchi, Claudia |
|
1983 |
1 |
4 |
p. 213- 1 p. |
artikel |
4 |
An improved algorithm for hierarchical clustering using strong components
|
Tarjan, Robert E. |
|
1983 |
1 |
4 |
p. 212- 1 p. |
artikel |
5 |
Calendar
|
|
|
1983 |
1 |
4 |
p. 220-226 7 p. |
artikel |
6 |
Characterizing and reproducing working set size dynamics
|
Dutt, C.R. |
|
1983 |
1 |
4 |
p. 213- 1 p. |
artikel |
7 |
Compiling relational queries for a finite state automaton hardware filter
|
Plateau, D. |
|
1983 |
1 |
4 |
p. 212- 1 p. |
artikel |
8 |
Computational semantics of terms rewriting systems
|
Boudol, G. |
|
1983 |
1 |
4 |
p. 212- 1 p. |
artikel |
9 |
CSIRO division of computing research
|
|
|
1983 |
1 |
4 |
p. 202-204 3 p. |
artikel |
10 |
Data analysis and informatics
|
|
|
1983 |
1 |
4 |
p. 207- 1 p. |
artikel |
11 |
Editorial note
|
Marcure, Judy |
|
1983 |
1 |
4 |
p. 181-183 3 p. |
artikel |
12 |
Eurographics
|
|
|
1983 |
1 |
4 |
p. 204-205 2 p. |
artikel |
13 |
Event models for recognition and natural language description of events in real-world image sequences
|
Neumann, Bernd |
|
1983 |
1 |
4 |
p. 210- 1 p. |
artikel |
14 |
Fifth generation computers
|
|
|
1983 |
1 |
4 |
p. 217-219 3 p. |
artikel |
15 |
Graph grammar approach to natural language parsing and understanding
|
Hyvönen, Eero |
|
1983 |
1 |
4 |
p. 211- 1 p. |
artikel |
16 |
Guest editorial: International efforts in social problems of information processing
|
Zemanek, Heinz |
|
1983 |
1 |
4 |
p. 184-186 3 p. |
artikel |
17 |
IECON'83
|
|
|
1983 |
1 |
4 |
p. 209-210 2 p. |
artikel |
18 |
IFTF
|
|
|
1983 |
1 |
4 |
p. 205-206 2 p. |
artikel |
19 |
Log-logarithmic worst-case range queries are possible in space ⊕(N)
|
Willard, Dan E. |
|
1983 |
1 |
4 |
p. 212- 1 p. |
artikel |
20 |
Mean-delay approximation for cyclic-service queueing systems
|
Bux, Werner |
|
1983 |
1 |
4 |
p. 213- 1 p. |
artikel |
21 |
Memory-based parsing
|
Lebowitz, Michael |
|
1983 |
1 |
4 |
p. 211- 1 p. |
artikel |
22 |
Murray Turoff and Starr Roxanne Hiltz on electronic publishing and people
|
Turoff, Murray |
|
1983 |
1 |
4 |
p. 196-201 6 p. |
artikel |
23 |
News
|
|
|
1983 |
1 |
4 |
p. 214-217 4 p. |
artikel |
24 |
Online training-being there without going there
|
Cross, Thomas B. |
|
1983 |
1 |
4 |
p. 191-194 4 p. |
artikel |
25 |
On preserving identity of and references between documents in distributed computerized message systems
|
Palme, Jacob |
|
1983 |
1 |
4 |
p. 211- 1 p. |
artikel |
26 |
On regularity of context-free languages
|
Ehrenfeucht, A. |
|
1983 |
1 |
4 |
p. 213- 1 p. |
artikel |
27 |
On the arithmetic complexity of matrix Kronecker powers
|
Seroussi, Gadiel |
|
1983 |
1 |
4 |
p. 212- 1 p. |
artikel |
28 |
Order dependency in the relational model
|
Ginsburg, Seymour |
|
1983 |
1 |
4 |
p. 213- 1 p. |
artikel |
29 |
Planning routes through uncertain territory
|
McDermot, Drew |
|
1983 |
1 |
4 |
p. 211- 1 p. |
artikel |
30 |
Recent developments in electronic publishing
|
de Luze, Gilles |
|
1983 |
1 |
4 |
p. 186-190 5 p. |
artikel |
31 |
Shifting meaning representations
|
Jones, Karen Sparck |
|
1983 |
1 |
4 |
p. 210- 1 p. |
artikel |
32 |
Some mathematical questions related to the MHD equations
|
Sermange, M. |
|
1983 |
1 |
4 |
p. 212- 1 p. |
artikel |
33 |
Structural relations — a case against case
|
Steinacker, Ingeborg |
|
1983 |
1 |
4 |
p. 210-211 2 p. |
artikel |
34 |
Teleconferencing and the future
|
Johansen, Robert |
|
1983 |
1 |
4 |
p. 194-195 2 p. |
artikel |
35 |
The complexity of generating an exponentially distributed variate
|
Flajolet, Ph. |
|
1983 |
1 |
4 |
p. 212- 1 p. |
artikel |
36 |
TQL, a textual query language
|
Hyvönen, Eero |
|
1983 |
1 |
4 |
p. 211-212 2 p. |
artikel |
37 |
Where oblivious is not sufficient
|
Kolla, Reiner |
|
1983 |
1 |
4 |
p. 212- 1 p. |
artikel |
38 |
Working conference on prototyping
|
|
|
1983 |
1 |
4 |
p. 208- 1 p. |
artikel |
39 |
World formation in natural language processing systems
|
Byrd, Roy J. |
|
1983 |
1 |
4 |
p. 211- 1 p. |
artikel |
40 |
XPLAIN: a system for creating and explaining expert consulting programs
|
Swartout, William R. |
|
1983 |
1 |
4 |
p. 211- 1 p. |
artikel |