Theses on the same topic (having an identical keyword):
Software, development, life, cycleKeywords ordered alphabetically | Keywords ordered by occurrence rate
Well-founded semantics for dependent, recursive record types with type complement
(Jozef Mikušinec)2022, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/xr8vu/ | Teoretická informatika / Principy programovacích jazyků | Theses on a related topic
New type of anti-hero in Caroline Kepnes‘ novel You
(Eliška Sněhotová)2024, Bakalářská práce, Filozoficko-přírodovědecká fakulta v Opavě / Slezská univerzita v Opavě
• https://is.slu.cz/th/llduw/ | Angličtina / | Theses on a related topic
Amino acid type prediction problem in biological nuclear magnetic resonance
(David Porteš)2022, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/dh64v/ | Informatika / Počítačová grafika | Theses on a related topic
Local Type Argument Synthesis for Erlang
(David Pavlík)2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/z0fb0/ | Teoretická informatika / Principy programovacích jazyků | Theses on a related topic