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=Inf.~Process.~Lett. AND Volume=11
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A switching algorithm for the solution of quadratic Boolean equations
R. Petreschi
,
B. Simeone
Information Processing Letters
11
(4-5), 1980, December, pp. 193-198
Heuristic algorithms for process assignment in distributed computing systems
R.K. Arora
,
S.P. Rana
Information Processing Letters
11
(4-5), 1980, December, pp. 199-203
A formal system for parallel programs in discrete time and space
H. Kawai
Information Processing Letters
11
(4-5), 1980, December, pp. 204-210
Consecutive retrieval with redundancy: an optimal linear and an optimal cyclic arrangement and their storage space requirements
J. Ten Hoopen
Information Processing Letters
11
(4-5), 1980, December, pp. 211-217
On covering Boyce-Codd normal forms
P. Kandzia
,
M. Mangelmann
Information Processing Letters
11
(4-5), 1980, December, pp. 218-223
On two theorems of Lenstra
Seppo Pajunen
Information Processing Letters
11
, 1980, pp. 224-228
On expected costs of deadlock detection
A.J. Jammel
,
H.G. Stiegler
Information Processing Letters
11
(4-5), 1980, December, pp. 229-231
Seiten
<
1
2
3