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=Teubner-Texte zur Informatik AND Volume=1
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Derivation of high quality tests for large heterogeneous circuits: Floating-point operations
Uwe Sparmann
Teubner-Texte zur Informatik
1
, 1992, pp. 425-439
Inductive theorem proving by consistency for first-order clauses
Harald Ganzinger
,
Jürgen Stuber
Teubner-Texte zur Informatik
1
, 1992, pp. 441-461
Zur Beherrschbarkeit des Entwicklungsprozesses komplexer Software-Systeme
Wolffried Stucky
,
Andreas Oberweis
Teubner-Texte zur Informatik
1
, 1992, pp. 463-480
An intelligent multimodal interface
Wolfgang Wahlster
Teubner-Texte zur Informatik
1
, 1992, pp. 481-494
Seiten
<
1
2