Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Acta Inf. AND Volume=17
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A theory of interactive programming
T. Gergely
,
L. Ury
Acta Informatica
17
(1), 1982, pp. 1-20
Synchronized behaviours of processes and rational relations
A. Arnold
Acta Informatica
17
(1), 1982, pp. 21-29
Scheduling with slack time
C.L. Liu
,
J.W.S. Liu
,
A.L. Liestman
Acta Informatica
17
(1), 1982, pp. 31-41
Information theoretic approximations for m/g/1 and g/g1 queueing systems
J.E. Shore
Acta Informatica
17
(1), 1982, pp. 43-61
A hierarchy theorem for multihead stack-counter automata
S. Miyano
Acta Informatica
17
(1), 1982, pp. 63-67
Vompleteness of e0l forms is decidable
G. Rozenberg
,
R. Verraedt
Acta Informatica
17
(1), 1982, pp. 69-87
Remarks on the complexity of an invariant of context-free grammars
T.-D. Huynh
Acta Informatica
17
(1), 1982, pp. 89-99
Program behavior prediction and prepaging
M. Martinez
Acta Informatica
17
(1), 1982, pp. 101-120
The choice coordination problem
M.O. Rabin
Acta Informatica
17
(2), 1982, June, pp. 121-134
Arbitration without common modifiable variables
J.L.W. Kessels
Acta Informatica
17
(2), 1982, June, pp. 135-141
Inner loops in flowgraphs and code optimization
S. Vasudevan
Acta Informatica
17
(2), 1982, June, pp. 143-155
A new data structure for representing sorted lists
Scott Huddleston
,
Kurt Mehlhorn
Acta Informatica
17
(2), 1982, June, pp. 157-184
Testing attribute grammars for circularity
K.-J. Räihä
,
M. Saarinen
Acta Informatica
17
(2), 1982, June, pp. 185-192
Grammars and languages forms
J.-M. Autebert
,
J. Beauquier
,
L. Boasson
Acta Informatica
17
(2), 1982, June, pp. 193-213
Representation of graphs
Alon Itai
,
Michael Rodeh
Acta Informatica
17
(2), 1982, June, pp. 215-219
A model of the P=NP-problem with a positive solution
H. Huwig
Acta Informatica
17
(2), 1982, June, pp. 221-243
Deleting the root of a heap
E.E. Doberkat
Acta Informatica
17
(3), 1982, pp. 245-265
Dynamic multi-dimensional data structures based on quad- and k-d trees
M.H. Overmars
,
J. van Leeuwen
Acta Informatica
17
(3), 1982, pp. 267-285
On parsing arithmetic expressions in a multiprocessing environment
F. Baccelli
,
T. Fleury
Acta Informatica
17
(3), 1982, pp. 287-310
Performance considerations in the parallel execution of numerical algorithms on two processors
A. Staphylopatis
Acta Informatica
17
(3), 1982, pp. 311-325
Recognition and selection of idioms for code optimization
L. Snyder
Acta Informatica
17
(3), 1982, pp. 327-348
On some decidable properties of finite state translations
A. Demers
,
C. Keleman
,
B. Reusch
Acta Informatica
17
(3), 1982, pp. 349-364
Robust data types
F. Cristian
Acta Informatica
17
(4), 1982, pp. 365-397
The effect of fixed-length record implementation on file system response
C.H.C. Leung
,
Q.H. Choo
Acta Informatica
17
(4), 1982, pp. 399-409
Space efficient algorithms for some graph theoretical problems
J. JáJá
,
J. Simon
Acta Informatica
17
(4), 1982, pp. 411-423
Seiten 1
2
>