Informatik und Mathematik [electronic resource] /

Mathematik und Informatik -- Mathematik und Informatik — Vom Nutzen der Formeln -- Informatik und Algebra -- Schaltalgebra und Relationentheorie -- Geschichte der Schaltalgebra -- Fixpoints and Flipflops -- Computer-Schach — Was ist es wert? -- Relationen und Programme -- Relationale Datenbanken mit multiplen Werten -- Numerische Mathematik -- Anfänge des „elektronischen Rechnens“ -- Innere-Punkt-Verfahren zur Lösung quadratischer Optimierungsprobleme und ihre Komplexität -- Hierarchische Datenstrukturen für glatte Funktionen mehrerer Veränderlicher -- Eine schnell konvergierende Block-Iteration für die Konstruktion des Form-erhaltenden Spline-Interpolanten -- Zerteilungs- und Erkennungsprobleme -- Graphen, Sprachen, Automaten — Unter dem Blickwinkel der Spezifikation verteilter Systeme betrachtet -- Partielle Auswertung und semantisch gesteuerter Compilerbau am Beispiel von LISP -- Strukturerkennung mit Graphgrammatiken -- Büchis reguläre kanonische Systeme und Analyse kontextfreier Grammatiken -- Automatische Klassifikation und graphische Darstellung von Polyedertopologien in Silikaten -- Efficient Recognition of Context-free Languages Without Look-ahead -- Algebraische Logik -- Primitive Recursion on the Partial Continuous Functionals -- Proofs in Structured Specifications -- Herleitungen als Programme: Ihre Kompilation und Interpretation -- Programmierung und Übersetzerbau -- On Progress in Programming -- Programmiertechnische Grundlagen für Verteilte Systeme -- Zur Entwicklung der Rechentechnik -- Schnelle Simulation digitaler Systeme durch änderungsgetriebene Auswertung des Entwurfsgraphen -- Myhill-Büchis Teilmengenkonstruktion -- Programmtransformation und Methodik der Programmierung -- Methodische Grundlagen der Programmierung -- Reusability of Transformational Developments -- Programming with (Finite) Mappings -- Codifying the Differencing Technique into Formal Transformation Rules over CIP-L -- Formal Derivation of Pointer Algorithms -- Die 150 wissenschaftlichen Nachkommen von Prof. Dr. Dr. h.c. mult. F. L. Bauer.

Bibliographic Details

Main Authors:	Broy, Manfred. editor., SpringerLink (Online service)
Format:	Texto biblioteca
Language:	ger
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1991
Subjects:	Computer science., Software engineering., Programming languages (Electronic computers)., Mathematical logic., Computer science, Numerical analysis., Combinatorics., Computer Science., Programming Languages, Compilers, Interpreters., Software Engineering., Mathematical Logic and Formal Languages., Numerical Analysis., Symbolic and Algebraic Manipulation.,
Online Access:	http://dx.doi.org/10.1007/978-3-642-76677-0
Tags:	Add Tag No Tags, Be the first to tag this record!