Informatik

Festschrift zum 60. Geburtstag von Günter Hotz

AvHarald Ganzinger,Wolfgang J. Paul

Häftad, Tyska, 1992

Del 1 i serien Teubner Texte zur Informatik

520 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1992-02-01
Mått:170 x 244 x 28 mm
Vikt:887 g
Format:Häftad
Språk:Tyska
Serie:Teubner Texte zur Informatik
Antal sidor:508
Upplaga:1992
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783815420331

Utforska kategorier

Innehållsförteckning

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

Informatik

Wolfgang J. Paul, Harald Ganzinger

E-bok

2013

452 kr

Programs as Data Objects

Harald Ganzinger, Neil Jones

Häftad, 1986

403 kr

ESOP '88

Harald Ganzinger

Häftad, 1988

573 kr

Logic Programming and Automated Reasoning

Andrei Voronkov, David McAllester, Harald Ganzinger

E-bok

2007

739 kr

Automated Deduction - CADE-16

Harald Ganzinger

E-bok

2003

739 kr

Rewriting Techniques and Applications

Harald Ganzinger

Häftad, 1996

573 kr

Automated Deduction - CADE-16

Harald Ganzinger

Häftad, 1999

573 kr

Logic Programming and Automated Reasoning

Harald Ganzinger, David McAllester, Andrei Voronkov

Häftad, 1999

573 kr

Mer från samma serie

Del 31

Calculus of Distributed and Parallel Processes

Clemens H. Cap

Häftad, 2012

1 106 kr

Del 3

Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Häftad, 2012

397 kr

Del 28

Parametrisierte Spezifikation von Schaltkreisen

Springer Fachmedien Wiesbaden

Häftad, 1998

520 kr

Del 30

Multidimensionale Datenbanksysteme

Springer Fachmedien Wiesbaden

Häftad, 1999

520 kr

Del 29

Angewandte Informatik und Formale Beschreibungsverfahren

Georg Lausen, Andreas Oberweis, Gunter Schlageter

Häftad, 1999

520 kr

Del 32

Vorlesungen zur Komplexitätstheorie

Gerd Wechsung

Häftad, 2000

641 kr

Del 34

Semantik und Programmverifikation

Christoph Walther

Häftad, 2001

397 kr

Del 35

Optik in der Rechentechnik

Dietmar Fey

Häftad, 2002

397 kr

Del 36

Subskriptionssysteme

Wolfgang Lehner

Häftad, 2002

397 kr

Del 33

Backup und Recovery in Datenbanksystemen

Uta Störl

Häftad, 2001

397 kr

Du kanske också är intresserad av

Informatik

Wolfgang J. Paul, Harald Ganzinger

E-bok

2013

452 kr

Computer Architecture

Silvia M. Mueller, Wolfgang J. Paul

Häftad, 2010

573 kr

Automated Deduction - CADE-16

Harald Ganzinger

E-bok

2003

739 kr

ESOP '88

Harald Ganzinger

Häftad, 1988

573 kr

Automated Deduction - CADE-16

Harald Ganzinger

Häftad, 1999

573 kr

Logic Programming and Automated Reasoning

Andrei Voronkov, David McAllester, Harald Ganzinger

E-bok

2007

739 kr

Logic Programming and Automated Reasoning

Harald Ganzinger, David McAllester, Andrei Voronkov

Häftad, 1999

573 kr

Rewriting Techniques and Applications

Harald Ganzinger

Häftad, 1996

573 kr

Programs as Data Objects

Harald Ganzinger, Neil Jones

Häftad, 1986

403 kr

Del 9999

Pipelined Multi-Core Machine with Operating System Support

Petro Lutsyk, Jonas Oberhauser, Wolfgang J. Paul

Häftad, 2020

573 kr

Informatik

Festschrift zum 60. Geburtstag von Günter Hotz

AvHarald Ganzinger,Wolfgang J. Paul

Häftad, Tyska, 1992

Del 1 i serien Teubner Texte zur Informatik

520 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1992-02-01
Mått:170 x 244 x 28 mm
Vikt:887 g
Format:Häftad
Språk:Tyska
Serie:Teubner Texte zur Informatik
Antal sidor:508
Upplaga:1992
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783815420331

Utforska kategorier

Innehållsförteckning

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.