Theses on the same topic (having an identical keyword):

Software, development, life, cycle

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 » (total: 14 theses)
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

« 1 2 » (total: 14 theses)