Cover image of show Theorie der Programmierung Series ID:656

Theorie der Programmierung Series ID:656

Podkast av Prof. Dr. Lutz Schröder

tysk

Opplysning

Prøv gratis

Prøv gratis i 60 dager

99 kr / Måned etter prøveperioden.Avslutt når som helst.

  • 20 timer lydbøker i måneden
  • Eksklusive podkaster
  • Gratis podkaster
Prøv gratis

Les mer Theorie der Programmierung Series ID:656

Inhalt:   Termersetzungssysteme, Normalisierung, Konfluenz Getypter und ungetypter Lambda-Kalkül Semantik von Programmiersprachen, Anfänge der Bereichstheorie Datentypen, Kodatentypen, Induktion und Koinduktion, Rekursion und Korekursion Programmverifikation, Floyd-Hoare-Kalkül Reguläre Sprachen und endliche Automaten Beschriftete Transitionssysteme, Bisimulation und Temporallogik

Alle episoder

25 Episoder
episode 25 - Theorie der Programmierung 2018 artwork

25 - Theorie der Programmierung 2018

11. juli 2018 - 1 h 23 min
episode 24 - Theorie der Programmierung 2018 artwork

24 - Theorie der Programmierung 2018

08. juli 2018 - 1 h 25 min
episode 23 - Theorie der Programmierung 2018 artwork

23 - Theorie der Programmierung 2018

04. juli 2018 - 1 h 25 min
episode 22 - Theorie der Programmierung 2018 artwork

22 - Theorie der Programmierung 2018

01. juli 2018 - 1 h 33 min
episode 21 - Theorie der Programmierung 2018 artwork

21 - Theorie der Programmierung 2018

Kodaten

27. juni 2018 - 1 h 27 min
Enkelt å finne frem nye favoritter og lett å navigere seg gjennom innholdet i appen
Småbarnsmoren
App Store
Enkelt å finne frem nye favoritter og lett å navigere seg gjennom innholdet i appen
Småbarnsmoren
App Store
Liker at det er både Podcaster (godt utvalg) og lydbøker i samme app, pluss at man kan holde Podcaster og lydbøker atskilt i biblioteket.
Karina Raava
App Store
Bra app. Oversiktlig og ryddig. MYE bra innhold⭐️⭐️⭐️
Vibvet
App Store

Velg abonnementet ditt

Premium

20 timer lydbøker

  • Eksklusive podkaster

  • Gratis podkaster

  • Avslutt når som helst

Prøv gratis i 60 dager
Deretter 99 kr / måned

Prøv gratis

Premium Plus

100 timer lydbøker

  • Eksklusive podkaster

  • Gratis podkaster

  • Avslutt når som helst

Prøv gratis i 60 dager
Deretter 169 kr / måned

Prøv gratis

Bare på Podimo

Søstrene TallingMørk MedisinFetisha +1Berrum & Beyer snakker om greierAnniken og forbildeneRåning med Tone198 Land med Einar TørnquistJanka og MarteG-PunktetÅpen journal med Katarina og Harald

Populære lydbøker

KirurgenLegens enkeFeriehyttaLegens koneParet i hyttaLegens elskerinneEn farlig mannHjerteråteEn perfekt morBak lukkede dørerGullburetSkjerm barnaEt helt halvt årGjerningsmannBadboyNiniNøkkelvitnetJulebokhandelenJeg var gift med en bedragerPå innsidenHjem til megOver normDette kan være vår hemmelighetEn av oss
Prøv gratis

Prøv gratis i 60 dager. 99 kr / Måned etter prøveperioden. Avslutt når som helst.