Cantitate/Preț
Produs

Informatik und Mathematik

Editat de Manfred Broy
de Limba Germană Paperback – 23 dec 2011

Preț: 48313 lei

Preț vechi: 60391 lei
-20% Nou

Puncte Express: 725

Preț estimativ în valută:
9246 9641$ 7684£

Carte tipărită la comandă

Livrare economică 20 martie-03 aprilie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642766787
ISBN-10: 3642766781
Pagini: 468
Ilustrații: XIV, 450 S.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.65 kg
Ediția:Softcover reprint of the original 1st ed. 1991
Editura: Springer Berlin, Heidelberg
Colecția Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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 TransformationalDevelopments.- 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.