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 YEAR=1975
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Revised report on the algorithmic language ALGOL 68
A. Van Wijngaarden
,
B.J. Mailloux
,
J.E.L. Peck
,
C.H.A. Koster
,
M. Sintzoff
,
C.H. Lindsey
,
L.G.L.T. Meertens
,
R.G. Fisker
Acta Informatica
5
, 1975, pp. 1-236
Dispatcher primitives for the construction of operating system kernels
J. Nehmer
Acta Informatica
5
, 1975, pp. 237-255
Interactive graphics on intelligent terminals in a time-sharing environment
W.K. Giloi
,
J. Encarnacao
,
S. Savitt
Acta Informatica
5
, 1975, pp. 257-271
Parallel algorithms for adaptive quadrature II metalgorithm correctness
John R. Rice
Acta Informatica
5
, 1975, pp. 273-285
Nearly optimal binary search trees
Kurt Mehlhorn
Acta Informatica
5
, 1975, pp. 287-295
Formal semantics of a class of high-level primitives for coordinating concurrent processes
P.E. Lauer
,
R.H. Campbell
Acta Informatica
5
, 1975, pp. 297-332
A closer look at termination
Shmuel Katz
,
Zohar Manna
Acta Informatica
5
, 1975, pp. 333-352
A decidability criterion for Van Wijngaarden grammars
P. Deussen
Acta Informatica
5
, 1975, pp. 353-375
Substitution of grammar forms
Seymour Ginsburg
,
Edwin H. Spanier
Acta Informatica
5
, 1975, pp. 377-386
A note on degrees of context-sensitivity
P.F. Schuler
Acta Informatica
5
, 1975, pp. 387-394
Quad trees. A data structure for retrieval on composite keys
R.A. Finkel
,
J.L. Bentley
Acta Informatica
4
, 1975, pp. 1-9
A model of a time sharing virtual memory system solved using equivalence and decomposition methods
A. Brandwajn
Acta Informatica
4
, 1975, pp. 11-47
The stability problem of broadcast packet switching computer networks
G. Fayolle
,
E. Gelenbe
,
J. Labetoulle
,
D. Bastin
Acta Informatica
4
, 1975, pp. 49-53
Sequentielle Analyse kontextfreier Sprachen
G. Hotz
Acta Informatica
4
, 1975, pp. 55-75
Multipass precedence analysis
N.A. Khabbaz
Acta Informatica
4
, 1975, pp. 77-85
Nonterminals, homomorphisms and codings in different variations of OL-systems
M. Nielsen
,
G. Rozenberg
,
A. Salomaa
,
S. Skyum
Acta Informatica
4
, 1975, pp. 87-106
Algorithms for fast evaluation of Boolean expressions
Yuri Breitbart
,
Allen Reiter
Acta Informatica
4
, 1975, pp. 107-116
Proving properties of interacting processes
Glen Newton
Acta Informatica
4
, 1975, pp. 117-126
The verification and synthesis of data structures
Jay Spitzen
,
Ben Wegbreit
Acta Informatica
4
, 1975, pp. 127-144
Automatic program verification I: A logical basis and its implementation
Shigeru Igarashi
,
Ralph L. London
,
David C. Luckham
Acta Informatica
4
, 1975, pp. 145-182
Ambiguity and precedence in syntax description
Jay Earley
Acta Informatica
4
, 1975, pp. 183-192
On 3-head versus 2-head finite automata
Oscar H. Ibarra
,
Chul E. Kim
Acta Informatica
4
, 1975, pp. 193-200
Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil I: Datenstrukturen und Schemata
H.-D. Ehrich
Acta Informatica
4
, 1975, pp. 201-211
Nonlinear pattern theory
James F. Gimpel
Acta Informatica
4
, 1975, pp. 213-229
More comments on the programming language Pascal
O. Lecarme
,
P. Desjardins
Acta Informatica
4
, 1975, pp. 231-243
Seiten 1
2
>