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 7-10 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
SpråkTyska
SerieTeubner Texte zur Informatik
Antal sidor508
Upplaga1992
FörlagSpringer Fachmedien Wiesbaden
EAN9783815420331

Mer från samma författare

Del 217

Programs as Data Objects

Harald Ganzinger, Neil Jones

519 kr

Del 300

ESOP '88

Harald Ganzinger

729 kr

Del 1103

Rewriting Techniques and Applications

Harald Ganzinger

729 kr

Automated Deduction - CADE-16

Harald Ganzinger

729 kr

Logic Programming and Automated Reasoning

Harald Ganzinger, David McAllester, Andrei Voronkov

729 kr

Mer från samma serie

Calculus of Distributed and Parallel Processes

Clemens H. Cap

1 409 kr

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

509 kr

Del 28

Parametrisierte Spezifikation von Schaltkreisen

669 kr

Del 30

Multidimensionale Datenbanksysteme

669 kr

Del 29

Angewandte Informatik und Formale Beschreibungsverfahren

Georg Lausen, Andreas Oberweis, Gunter Schlageter

669 kr

Del 32

Vorlesungen zur Komplexitätstheorie

Gerd Wechsung

819 kr

Del 34

Semantik und Programmverifikation

Christoph Walther

509 kr

Del 35

Optik in der Rechentechnik

Dietmar Fey

509 kr

Del 36

Subskriptionssysteme

Wolfgang Lehner

509 kr

Del 33

Backup und Recovery in Datenbanksystemen

Uta Störl

509 kr

Du kanske också är intresserad av

Del 300

ESOP '88

Harald Ganzinger

729 kr

Automated Deduction - CADE-16

Harald Ganzinger

729 kr

Logic Programming and Automated Reasoning

Harald Ganzinger, David McAllester, Andrei Voronkov

729 kr

Del 1103

Rewriting Techniques and Applications

Harald Ganzinger

729 kr

Del 217

Programs as Data Objects

Harald Ganzinger, Neil Jones

519 kr

Computer Architecture

Silvia M. Mueller, Wolfgang J. Paul

729 kr

Del 10

Evolution in Objekt-Datenbanken

669 kr

Del 23

Algorithmische Informationstheorie

Günther Hotz

469 kr

Del 32

Vorlesungen zur Komplexitätstheorie

Gerd Wechsung

819 kr

Del 26

Petrinetze, lineare Algebra und lineare Programmierung

599 kr

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.

Informatik

Festschrift zum 60. Geburtstag von Günter Hotz

Produktinformation

Mer från samma författare

Programs as Data Objects

ESOP '88

Rewriting Techniques and Applications

Automated Deduction - CADE-16

Logic Programming and Automated Reasoning

Mer från samma serie

Calculus of Distributed and Parallel Processes

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

Parametrisierte Spezifikation von Schaltkreisen

Multidimensionale Datenbanksysteme

Angewandte Informatik und Formale Beschreibungsverfahren

Vorlesungen zur Komplexitätstheorie

Semantik und Programmverifikation

Optik in der Rechentechnik

Subskriptionssysteme

Backup und Recovery in Datenbanksystemen

Du kanske också är intresserad av

ESOP '88

Automated Deduction - CADE-16

Logic Programming and Automated Reasoning

Rewriting Techniques and Applications

Programs as Data Objects

Computer Architecture

Evolution in Objekt-Datenbanken

Algorithmische Informationstheorie

Vorlesungen zur Komplexitätstheorie

Petrinetze, lineare Algebra und lineare Programmierung

Tillhör följande kategorier

Innehållsförteckning