Del 1 - Teubner Texte zur Informatik

Informatik

Festschrift zum 60. Geburtstag von Günter Hotz

Häftad, Tyska, 1992

Av Harald Ganzinger, Wolfgang J. Paul

669 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1992-02-01
Mått170 x 244 x 28 mm
Vikt887 g
FormatHäftad
SpråkTyska
SerieTeubner Texte zur Informatik
Antal sidor508
Upplaga1992
FörlagSpringer Fachmedien Wiesbaden
ISBN9783815420331

Tillhör följande kategorier

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.

Mer från samma författare

Programs as Data Objects

Del 217

Programs as Data Objects

Harald Ganzinger, Neil Jones

519 kr

ESOP '88

Del 300

ESOP '88

Harald Ganzinger

729 kr

Rewriting Techniques and Applications

Del 1103

Rewriting Techniques and Applications

Harald Ganzinger

729 kr

Automated Deduction - CADE-16

Automated Deduction - CADE-16

Harald Ganzinger

729 kr

Logic Programming and Automated Reasoning

Logic Programming and Automated Reasoning

Harald Ganzinger, David McAllester, Andrei Voronkov

729 kr

Du kanske också är intresserad av

Evolution in Objekt-Datenbanken

Del 10

Evolution in Objekt-Datenbanken

669 kr

Algorithmische Informationstheorie

Del 23

Algorithmische Informationstheorie

469 kr

Vorlesungen zur Komplexitätstheorie

Del 32

Vorlesungen zur Komplexitätstheorie

819 kr

Petrinetze, lineare Algebra und lineare Programmierung

Del 26

Petrinetze, lineare Algebra und lineare Programmierung

599 kr

Formale Semantik eines erweiterten Entity-Relationship-Modells

Formale Semantik eines erweiterten Entity-Relationship-Modells

659 kr

Semantik und Programmverifikation

Del 34

Semantik und Programmverifikation

Christoph Walther

509 kr

Backup und Recovery in Datenbanksystemen

Del 33

Backup und Recovery in Datenbanksystemen

509 kr

Dynamic Load Distribution for Parallel Applications

Del 24

Dynamic Load Distribution for Parallel Applications

Georg Stellner, Thomas Schnekenburger

669 kr

Angewandte Informatik und Formale Beschreibungsverfahren

Del 29

Angewandte Informatik und Formale Beschreibungsverfahren

Georg Lausen, Andreas Oberweis, Gunter Schlageter

669 kr

Begründungsverwaltung

Del 162

Begründungsverwaltung

1 449 kr