default search action
Informatik, Festschrift zum 60. Geburtstag von Günter Hotz, 1992
- Johannes Buchmann, Harald Ganzinger, Wolfgang J. Paul:
Informatik, Festschrift zum 60. Geburtstag von Günter Hotz. Teubner-Texte zur Informatik 1, Teubner / Springer 1992, ISBN 978-3-8154-2033-1 - Ferri Abolhassan, Reinhard Drefenstedt, Jörg Keller, Wolfgang J. Paul, Dieter Scheerer:
On the Physical Design of PRAMs. 1-19 - Bernd Becker:
Synthesis for Testability: Binary Decision Diagrams. 21-39 - Eberhard Bertsch:
Ähnlichkeit von Grammatiken - Ansätze und Erfahrungen. 41-53 - Hans-Peter Blatt:
Verteilung der Nullstellen von Polynomen auf Jordanbögen. 55-67 - Johannes Buchmann, Stephan Düllmann:
Distributed Class Group Computation. 69-79 - Volker Claus:
Complexity Measures on Permutations. 81-94 - Martin Dietzfelbinger, Friedhelm Meyer auf der Heide:
Dynamic Hashing in Real Time. 95-119 - Christian Ferdinand, Helmut Seidl, Reinhard Wilhelm:
Baumautomaten zur Codeselektion. 121-144 - Michael J. Fischer, Sophia A. Paleologou:
Decision Making in the Presence of Noise. 145-168 - Bernd Halstenberg, Rüdiger Reischuk:
Über den Nutzen von Orakelfragen bei nichtdeterministischen Kommunikationsprotokollen. 169-183 - Uwe Hinsberger, Reiner Kolla:
Performance Optimization of Combinational Circuits. 185-208 - Thomas Kretschmer:
An Algebraic Characterization of Context-Free Languages. 209-213 - Juraj Hromkovic, Burkhard Monien:
The Bisection Problem for Graphs of Degree 4 (Configuring Transputer Systems). 215-233 - Dung T. Huynh:
Complexity of Closeness, Sparseness and Segment Equivalence for Context-Free and Regular Languages. 235-251 - Bala Kalyanasundaram, Georg Schnitger:
Communication Complexity and Lower Bounds for Sequential Computation. 253-268 - Rainer Kemp:
On the Stack Size of a Class of Backtrack Trees. 269-282 - Rolf Klein, Kurt Mehlhorn, Stefan Meiser:
Randomized Incremental Construction of Abstract Voronoi Diagrams. 283-308 - Friedemann Mattern:
Über die relativistische Struktur logischer Zeit in verteilten Systemen. 309-331 - Paul Molitor:
A Hierarchy Preserving Hierarchical Bottom-Up 2-layer Wiring Algorithm with Respect to Via Minimization. 333-348 - Hans-Georg Osthof:
Eine O(e log e) - Heuristik für ein Flußproblem. 349-358 - Claus-Peter Schnorr:
Computation of the Boolean Matrix-Vector, AND/OR-Produkt in Average Time O(m + nlnn). 359-362 - Jürgen Seilen:
Durch kinematische Szenen erzeugte topologische Räume. 363-380 - Hans Ulrich Simon:
Bemerkungen zum Schätzen von Bayesschen Diskriminantenfunktionen. 381-385 - Gert Smolka:
Residuation and Guarded Rules for Constraint Logic Programming. 387-400 - Otto Spaniol, Werner Kremer, Andreas Fasbender:
TPNA: Ein neues Analyseverfahren für Tandem-Prioritäten-Netze. 401-423 - Uwe Sparmann:
Derivation of High Quality Tests for Large Heterogeneous Circuits: Floating-Point Operations. 425-439 - Harald Ganzinger, Jürgen Stuber:
Inductive Theorem Proving by Consistency for First-Order Clauses. 441-461 - Wolffried Stucky, Andreas Oberweis:
Zur Beherrschbarkeit des Entwicklungsprozesses komplexer Software-Systeme. 463-480 - Wolfgang Wahlster:
An Intelligent Multimodal Interface. 481-494 - Otto Spaniol:
Laudatio zum 60. Geburtstag von Prof. Dr. Günter Hotz. 495-508
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.