Kansikuva näyttelystä Theorie der Programmierung

Theorie der Programmierung

Podcast by Prof. Dr. Lutz Schröder

saksa

Technology

30 vrk ilmainen kokeilu

Kokeilun jälkeen 7,99 € / kuukausi.Peru milloin tahansa.

  • Podimon podcastit
  • Lataa offline-käyttöön
Aloita maksutta

Tietoa Theorie der Programmierung

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

Kaikki jaksot

25 jaksot

Loistava design ja vihdoin on helppo löytää podcasteja, joista oikeasti tykkää
Laura
App Store
Loistava design ja vihdoin on helppo löytää podcasteja, joista oikeasti tykkää
Laura
App Store
Kiva sovellus podcastien kuunteluun, ja sisältö on monipuolista ja kiinnostavaa
Martin
App Store
Todella kiva äppi, helppo käyttää ja paljon podcasteja, joita en tiennyt ennestään.
Podcast4life
App Store

Valitse tilauksesi

Suosituimmat

Premium

  • Podimon podcastit

  • Ei mainoksia Podimon podcasteissa

  • Peru milloin tahansa

30 vrk ilmainen kokeilu
Sitten 7,99 € / kuukausi

Aloita maksutta

Premium

20 tuntia äänikirjoja

  • Podimon podcastit

  • Ei mainoksia Podimon podcasteissa

  • Peru milloin tahansa

30 vrk ilmainen kokeilu
Sitten 9,99 € / kuukausi

Aloita maksutta

Premium

100 tuntia äänikirjoja

  • Podimon podcastit

  • Ei mainoksia Podimon podcasteissa

  • Peru milloin tahansa

30 vrk ilmainen kokeilu
Sitten 19,99 € / kuukausi

Aloita maksutta

Vain Podimossa

MurhakertomuksiaBFF podiSami & JormaThe Real GuysHiljaisia huutojaJoku tietää jotainBlokkaa mut, muruHanna TikanderSillai kaiIsoi juttuiPiinan KirousSana on vapaaValo PimiässäMurha joka tapahtuiImmuSaatan olla väärässäkinJoko saa luovuttaa?TABUCÄSTMartina & EskoElämisen taitoTuhannes - PodcastAki Linnanahde Talk ShowParitellenGaala

Suosittuja äänikirjoja

Niko Ranta-ahoNico LingmanImmuÄlä valehteleHarry Potter ja kuoleman varjeluksetHarry Potter ja Feeniksin kiltaJäljilläImmun ja Kalen rötöskatsaus K6TestamenttiniKotiapulainenVoimatonLet them -teoriaAlchemised – PiinattuVillinä vietyKesän kultaiset päivätTyttö hiljaiselta järveltäJohtaja ja meedioVaurastu viisaastiTänne minäkin kuolenKotiäitiKotiapulainen valvooVarjeltuHarry Potter ja liekehtivä pikariMusta aalto

Usein kysytyt kysymykset

Lisää kysymyksiä & vastauksia
Lisää kysymyksiä & vastauksia
Kokeile 30 vrk maksutta

30 vrk ilmainen kokeilu. Kokeilun jälkeen 7,99 € / kuukausi. Peru milloin tahansa.