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: Series=LNCS AND YEAR=1996
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On-line and off-line algorithms for vector covering
Noga Alon
,
János Csirik
,
Sergey V. Sevastianov
,
Arjen P.A. Vestjens
,
Gerhard J. Woeginger
Lecture Notes in Computer Science
1136
, 1996, pp. 406-418
Competitive analysis of randomized paging algorithms
Dimitris Achlioptas
,
Marek Chrobak
,
John Noga
Lecture Notes in Computer Science
1136
, 1996, pp. 419-430
On-line competitive algorithms for call admission in optical networks
Baruch Awerbuch
,
Yossi Azar
,
Amos Fiat
,
Stefano Leonardi
,
Adi Rosén
Lecture Notes in Computer Science
1136
, 1996, pp. 431-444
A lower bound for nearly minimal adaptive and hot potato algorithms
Ishai Ben-Aroya
,
Donald D. Chinn
,
Assaf Schuster
Lecture Notes in Computer Science
1136
, 1996, pp. 471-485
The structure of circular decomposable metrics
George Christopher
,
Martin Farach
,
Michael A. Trick
Lecture Notes in Computer Science
1136
, 1996, pp. 486-500
Planar spanners and approximate shortest path queries among obstacles in the plane
Srinivasa Arikati
,
Danny Z. Chen
,
L. Paul Chew
,
Gautiam Das
,
Michiel Smid
,
Christos D. Zaroliagis
Lecture Notes in Computer Science
1136
, 1996, pp. 514-528
A new approach to optimal planning of robot motion on a tree with obstacles
Vincenao Auletta
,
Domenico Parente
,
Pino Persiano
Lecture Notes in Computer Science
1136
, 1996, pp. 529-545
Problem-oriented applications of automated theorem proving
W. Bibel
,
D. Korn
,
C. Kreitz
,
S. Schmitt
Lecture Notes in Computer Science
1128
, 1996, pp. 1-21
\Sigma^{IT}
- A strongly-typed embeddable computer algebra library
Manuel Bronstein
Lecture Notes in Computer Science
1128
, 1996, pp. 22-33
Disc
_{Atinf}
: A general framework for implementing calculi and strategies
Christophe Bourely
,
Nicolas Peltier
Lecture Notes in Computer Science
1128
, 1996, pp. 34-45
Towards lean proof checking
G. Barthe
,
H. Elbers
Lecture Notes in Computer Science
1128
, 1996, pp. 61-62
WALDMEISTER: High performance equation theorem proving
Arnim Buch
,
Thomas Hillenbrand
,
Roland Fettig
Lecture Notes in Computer Science
1128
, 1996, pp. 63-64
Term rewriting systems: An
h
-categorical semantic
Giulio Balestreri
Lecture Notes in Computer Science
1128
, 1996, pp. 67-78
Analyzing the dynamics of a
Z
specification
Paolo Ciancarini
,
Cecilia Mascolo
Lecture Notes in Computer Science
1128
, 1996, pp. 138-149
Walking faster
Beatrice Amrhein
,
Oliver Gloor
,
Wolfgang Küchlin
Lecture Notes in Computer Science
1128
, 1996, pp. 150-161
Parallel 3-primes FFT algorithm
Giovanni Cesari
,
Roman Maeder
Lecture Notes in Computer Science
1128
, 1996, pp. 174-182
A master-slave approach to parallel term rewriting on a hierarchical multiprocessor
Reinhard Bündgen
,
Manfred Göbel
,
Wolfgang Küchlin
Lecture Notes in Computer Science
1128
, 1996, pp. 183-194
Animating a non-executable formal specification with a distributed symbolic language
P. Ciancarini
,
S. Cimato
Lecture Notes in Computer Science
1128
, 1996, pp. 200-201
An approach to class reasoning in symbolic computation
Gianna Cioni
,
Attilio Colagrossi
,
Marco Temperini
Lecture Notes in Computer Science
1128
, 1996, pp. 240-251
Software architectures for computer Algebra: A case study
Greg Butler
Lecture Notes in Computer Science
1128
, 1996, pp. 277-286
A deductive database for mathematical formulas
Stéphane Dalmas
,
Marc Gaëtano
,
Claude Huchet
Lecture Notes in Computer Science
1128
, 1996, pp. 287-296
Making systems communicate and cooperate: The Central Control approach
Stéphane Dalmas
,
Marc Gaëtano
Lecture Notes in Computer Science
1128
, 1996, pp. 308-319
A database for number fields
Mario Daberkow
,
Andreas Weber
Lecture Notes in Computer Science
1128
, 1996, pp. 320-330
Parallel computation of optimal parameters for pseudo random number generation
D. Brunner
,
A. Uhl
Lecture Notes in Computer Science
1127
, 1996, pp. 78-89
Skew handling in the DBS3 parallel database system
Luc Bouganim
,
Daniela Florescu
,
Benoît Dageville
Lecture Notes in Computer Science
1127
, 1996, pp. 98-109
Seiten
<
1
2
3
4
5
6
7
8
9
10
11
12
>