↓ Skip to main content

Informatik und Mathematik

Overview of attention for book
Cover of 'Informatik und Mathematik'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Mathematik und Informatik Vom Nutzen der Formeln
  3. Altmetric Badge
    Chapter 2 Informatik und Algebra
  4. Altmetric Badge
    Chapter 3 Geschichte der Schaltalgebra
  5. Altmetric Badge
    Chapter 4 Fixpoints and Flipflops
  6. Altmetric Badge
    Chapter 5 Computer-Schach — Was ist es wert?
  7. Altmetric Badge
    Chapter 6 Relationen und Programme
  8. Altmetric Badge
    Chapter 7 Relationale Datenbanken mit multiplen Werten
  9. Altmetric Badge
    Chapter 8 Anfänge des „elektronischen Rechnens“
  10. Altmetric Badge
    Chapter 9 Innere-Punkt-Verfahren zur Lösung quadratischer Optimierungsprobleme und ihre Komplexität
  11. Altmetric Badge
    Chapter 10 Hierarchische Datenstrukturen für glatte Funktionen mehrerer Veränderlicher
  12. Altmetric Badge
    Chapter 11 Eine schnell konvergierende Block-Iteration für die Konstruktion des Form-erhaltenden Spline-Interpolanten
  13. Altmetric Badge
    Chapter 12 Graphen, Sprachen, Automaten Unter dem Blickwinkel der Spezifikation verteilter Systeme betrachtet
  14. Altmetric Badge
    Chapter 13 Partielle Auswertung und semantisch gesteuerter Compilerbau am Beispiel von LISP
  15. Altmetric Badge
    Chapter 14 Strukturerkennung mit Graphgrammatiken
  16. Altmetric Badge
    Chapter 15 Büchis reguläre kanonische Systeme und Analyse kontextfreier Grammatiken
  17. Altmetric Badge
    Chapter 16 Automatische Klassifikation und graphische Darstellung von Polyedertopologien in Silikaten
  18. Altmetric Badge
    Chapter 17 Efficient Recognition of Context-free Languages Without Look-ahead
  19. Altmetric Badge
    Chapter 18 Primitive Recursion on the Partial Continuous Functionals
  20. Altmetric Badge
    Chapter 19 Proofs in Structured Specifications
  21. Altmetric Badge
    Chapter 20 Herleitungen als Programme: Ihre Kompilation und Interpretation
  22. Altmetric Badge
    Chapter 21 On Progress in Programming
  23. Altmetric Badge
    Chapter 22 Programmiertechnische Grundlagen für Verteilte Systeme
  24. Altmetric Badge
    Chapter 23 Zur Entwicklung der Rechentechnik
  25. Altmetric Badge
    Chapter 24 Schnelle Simulation digitaler Systeme durch änderungsgetriebene Auswertung des Entwurfsgraphen
  26. Altmetric Badge
    Chapter 25 Myhill-Büchis Teilmengenkonstruktion
  27. Altmetric Badge
    Chapter 26 Methodische Grundlagen der Programmierung
  28. Altmetric Badge
    Chapter 27 Reusability of Transformational Developments
  29. Altmetric Badge
    Chapter 28 Programming with (Finite) Mappings
  30. Altmetric Badge
    Chapter 29 Codifying the Differencing Technique into Formal Transformation Rules over CIP-L
  31. Altmetric Badge
    Chapter 30 Formal Derivation of Pointer Algorithms
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
5 Wikipedia pages