coverImageOf

Theorie der Programmierung Series ID:656

Podkast av Prof. Dr. Lutz Schröder

tysk

Opplysning

Kom i gang

3 Måneder for 9 kr. Deretter 99 kr / Måned. Avslutt når som helst.

Mer enn 1 million lyttere

Du vil elske Podimo, og du er ikke alene

Vurdert til 4,7 stjerner i App Store

Phone screen with podimo app open surrounded by emojis

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

Tidsbegrenset tilbud

Premium

20 timer lydbøker

  • Eksklusive podkaster

  • Gratis podkaster

  • Avslutt når som helst

3 Måneder for 9 kr
Deretter 99 kr / Måned

Kom i gang

Premium Plus

100 timer lydbøker

  • Eksklusive podkaster

  • Gratis podkaster

  • Avslutt når som helst

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

Prøv gratis

Bare på Podimo

BagatellerJanka og MarteFetisha +1Mørk MedisinFødselspoddenBerrum & Beyer snakker om greierRåning med ToneG-PunktetÅpen journal med Katarina og HaraldSøstrene Talling

Populære lydbøker

Paret i hyttaFeriehyttaLegens enkeHvorfor har ingen fortalt meg dette før?Blålys og kokainSkilsmissenKnivOrderudMormors utrolige venninnerBlodmåneJeg var gift med en bedragerKongen av OsBak lukkede dørerVenneforespørselOmgitt av narsissisterEktemannens hemmelighetHekta på et håp om kjærlighetEt lite stjerneteppeKuppetPanserhjerteBadboyFremdeles megOmgitt av idioterMarkens grøde
Kom i gang

3 Måneder for 9 kr. Deretter 99 kr / Måned. Avslutt når som helst.