Verkauf durch Sack Fachmedien

Ganzinger / Paul

Informatik

Festschrift zum 60. Geburtstag von Günter Hotz

Medium: Buch
ISBN: 978-3-8154-2033-1
Verlag: De Gruyter Saur
Erscheinungstermin: 01.02.1992
Lieferfrist: bis zu 10 Tage

Codeselektion. 121 Michael J. Fischer, Sophia A. Paleologou: Decision Making in the Presence of Noise. 145 B. Halstenberg, R. Reischuk: Uber den Nutzen von Orakelfragen bei nichtdeterministischen Kommunikationsprotokollen. 169 Uwe Hinsberger, Reiner Kalla: Performance Optimization of Combinational Circuits. 185 Thomas Kretschmer: An Algebraic Characterization of Context-Free Languages. 209 Juraj Hromkovi, Burkhard Monien: The Bisection Problem for Graphs of Degree 4 (Configuring Transputer Systems).


Produkteigenschaften


  • Artikelnummer: 9783815420331
  • Medium: Buch
  • ISBN: 978-3-8154-2033-1
  • Verlag: De Gruyter Saur
  • Erscheinungstermin: 01.02.1992
  • Sprache(n): Deutsch
  • Auflage: 1. Auflage 1992
  • Serie: Teubner Texte zur Informatik
  • Produktform: Kartoniert, Paperback
  • Gewicht: 887 g
  • Seiten: 508
  • Format (B x H x T): 170 x 244 x 28 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Autoren

Weitere Mitwirkende

On the Physical Design of PRAMs.- Synthesis for Testability: Binary Decision Diagrams.- Ähnlichkeit von Grammatiken - Ansätze und Erfahrungen.- Verteilung der Nullstellen von Polynomen auf Jordanbögen.- Distributed Class Group Computation.- Complexity Measures on Permutations.- Dynamic Hashing in Real Time.- Baumautomaten zur Codeselektion.- Decision Making in the Presence of Noise.- Über den Nutzen von Orakelfragen bei nichtdeterministischen Kommunikationsprotokollen.- Performance Optimization of Combinational Circuits.- An Algebraic Characterization of Context-Free Languages.- The Bisection Problem for Graphs of Degree 4 (Configuring Transputer Systems).- Complexity of Closeness, Sparseness and Segment Equivalence for Context-Free and Regular Languages.- Communication Complexity and lower bounds for sequential computation.- On the Stack Size of a Class of Backtrack Trees.- Randomized Incremental Construction of Abstract Voronoi Diagrams.- Über die relativistische Struktur logischer Zeit in verteilten Systemen.- A Hierarchy Preserving Hierarchical Bottom-Up 2-layer Wiring Algorithm with Respect to Via Minimization.- Eine O(e log e) - Heuristik für ein Flußproblem.- Computation of the Boolean Matrix-Vector, AND/OR-Produkt in Average Time O(m + nlnn).- Durch kinematische Szenen erzeugte topologische Räume.- Bemerkungen zum Schätzen von Bayesschen Diskriminantenfunktionen.- Residuation and Guarded Rules for Constraint Logic Programming.- TPNA: Ein neues Analyseverfahren für Tandem-Prioritäten-Netze.- Derivation of High Quality Tests for Large Heterogeneous Circuits: Floating-Point Operations.- Inductive Theorem Proving by Consistency for First-Order Clauses.- Zur Beherrschbarkeit des Entwicklungsprozesses komplexer Software-Systeme.- An IntelligentMultimodal Interface.- Laudatio zum 60. Geburtstag von Prof. Dr. Günter Hotz.