Theorie der Programmierung Series ID:656

Theorie der Programmierung Series ID:656

By Prof. Dr. Lutz Schröder

Inhalt:

 

  • Termersetzungssysteme, Normalisierung, Konfluenz
  • Getypter und ungetypter Lambda-Kalkül

  • Semantik von Programmiersprachen, Anfänge der

    ... more


    Download on the App Store

    Theorie der Programmierung Series ID:656 episodes:

    FAQs about Theorie der Programmierung Series ID:656:

    How many episodes does Theorie der Programmierung Series ID:656 have?

    The podcast currently has 96 episodes available.

    More shows like Theorie der Programmierung Series ID:656

    Public Theology - Religion - Education. Interreligious Perspectives Series ID:506 by Prof. Dr. Manfred Pirner

    Public Theology - Religion - Education. Interreligious Perspectives Series ID:506

    0 Listeners

    Medcast - Medizinische Podcast Series ID:205 by Birk Müller

    Medcast - Medizinische Podcast Series ID:205

    0 Listeners

    Foundations of Quantum Mechanics Series ID:225 by Prof. Dr. Florian Marquardt

    Foundations of Quantum Mechanics Series ID:225

    2 Listeners

    Lineare Algebra II Series ID:335 by Prof. Dr. Peter Knabner

    Lineare Algebra II Series ID:335

    0 Listeners

    Quantum-optical phenomena in nanophysics Series ID:36 by Prof. Dr. Florian Marquardt

    Quantum-optical phenomena in nanophysics Series ID:36

    0 Listeners

    Pattern Recognition PR Series ID:173 by Prof. Dr. Joachim Hornegger

    Pattern Recognition PR Series ID:173

    1 Listeners

    Wirtschaftsstrafrecht Series ID:446 by Prof. Dr. Hans Kudlich

    Wirtschaftsstrafrecht Series ID:446

    0 Listeners

    Lectures on the Geometric Anatomy of Theoretical Physics Series ID:242 by Dr. Frederic P. Schuller

    Lectures on the Geometric Anatomy of Theoretical Physics Series ID:242

    6 Listeners

    Quantum Computing Series ID:846 by Prof. Dr. Michael J. Hartmann

    Quantum Computing Series ID:846

    0 Listeners

    ASC - Advanced Signal Processing and Communications Engineering Clip ID:10075 by

    ASC - Advanced Signal Processing and Communications Engineering Clip ID:10075

    0 Listeners