2024-1 | T-707-MOVE | Modeling and Verification |
2024-1 | T-505-ROKF | Rökfræði í tölvunarfræði |
2023-3 | T-899-MSTH | MS ritgerð |
2023-1 | T-707-MOVE | Modeling and Verification |
2023-1 | T-879-MSRS | MS rannsókn |
2023-1 | T-899-MSTH | MS ritgerð |
2022-3 | T-999-PHDT | Doktorsritgerð í tölvunarfræði |
2022-1 | T-999-PHDT | Doktorsritgerð í tölvunarfræði |
2022-1 | T-707-MOVE | Modeling and Verification |
2022-1 | T-505-ROKF | Rökfræði í tölvunarfræði |
2021-3 | T-404-LOKA | Lokaverkefni |
2021-1 | T-707-MOVE | Modeling and Verification |
2020-1 | T-707-MOVE | Modeling and Verification |
2020-1 | T-505-ROKF | Rökfræði í tölvunarfræði |
2019-1 | T-707-MOVE | Modeling and Verification |
2018-3 | T-519-STOR | Stöðuvélar og reiknanleiki |
2018-1 | T-707-MOVE | Modeling and Verification |
2018-1 | T-505-ROKF | Rökfræði í tölvunarfræði |
2017-3 | T-519-STOR | Stöðuvélar og reiknanleiki |
2017-3 | T-719-STO4 | Stöðuvélar og reiknanleiki |
2017-1 | T-899-MSTH | MS ritgerð |
2016-1 | T-707-MOVE | Modeling and Verification |
2016-1 | T-505-ROKF | Rökfræði í tölvunarfræði |
2015-3 | T-519-STOR | Stöðuvélar og reiknanleiki |
2015-3 | T-719-STO4 | Stöðuvélar og reiknanleiki |
2015-1 | T-707-MOVE | Modeling and Verification |
2014-3 | T-991-TPDE | Meistaraverkefnavörn |
2014-3 | T-899-MSTH | MS ritgerð |
2014-3 | T-519-STOR | Stöðuvélar og reiknanleiki |
2014-3 | T-719-STO4 | Stöðuvélar og reiknanleiki |
2014-1 | T-219-REMO | Rauntímalíkön |
2014-1 | T-505-ROKF | Rökfræði í tölvunarfræði |
2013-3 | T-999-PHDT | Doktorsritgerð í tölvunarfræði |
2013-3 | T-993-PHDD | Doktorsvörn |
2013-3 | T-891-MSTD | Meistaravörn |
2013-1 | T-891-MSTD | Meistaravörn |
2013-1 | T-219-REMO | Rauntímalíkön |
2013-1 | T-724-SETA | Semantics: Theory and Applications |
2012-3 | T-999-PHDT | Doktorsritgerð í tölvunarfræði |
2012-1 | T-999-PHDT | Doktorsritgerð í tölvunarfræði |
2012-1 | T-891-MSTD | Meistaravörn |
2012-1 | T-899-MSTH | MS ritgerð |
2012-1 | T-219-REMO | Rauntímalíkön |
2012-1 | T-505-ROKF | Rökfræði í tölvunarfræði |
2011-3 | T-999-PHDT | Doktorsritgerð í tölvunarfræði |
2011-3 | T-993-PHDD | Doktorsvörn |
2011-3 | T-899-MSTH | MS ritgerð |
2011-3 | T-992-PHDP | PhD Thesis Proposal |
2011-3 | T-719-STO4 | Stöðuvélar og reiknanleiki |
2011-3 | T-519-STOR | Stöðuvélar og reiknanleiki |
2011-1 | T-899-MSTH | MS ritgerð |
2011-1 | T-724-SETA | Semantics: Theory and Applications |
2010-3 | T-519-STOR | Stöðuvélar og reiknanleiki |
2010-3 | T-719-STO4 | Stöðuvélar og reiknanleiki |
2010-1 | T-707-MOVE | Modeling and Verification |
2010-1 | T-505-ROKF | Rökfræði í tölvunarfræði |
2010-1 | T-702-ROKF | Rökfræði í tölvunarfræði |
2009-3 | T-719-STO4 | Stöðuvélar og reiknanleiki |
2009-3 | T-519-STOR | Stöðuvélar og reiknanleiki |
2009-3 | T-110-VERK | Verkefnalausnir |
2009-1 | T-899-MSTH | MS ritgerð |
2009-1 | T-719-STO4 | Stöðuvélar og reiknanleiki |
2009-1 | T-519-STOR | Stöðuvélar og reiknanleiki |
2008-3 | T-899-MSTH | MS ritgerð |
2008-1 | T-707-MOVE | Modeling and Verification |
2007-3 | T-519-STOR | Stöðuvélar og reiknanleiki |
2007-3 | T-719-STO4 | Stöðuvélar og reiknanleiki |
2007-1 | T-604-STAR | Stærðfræðileg reiknirit |
2006-3 | T-707-MOVE | Modeling and Verification |
2006-1 | T-619-LOKA | Lokaverkefni með rannsóknaráherslu |
2006-1 | T-604-STAR | Stærðfræðileg reiknirit |
2005-3 | T-519-STOR | Stöðuvélar og reiknanleiki |
2005-3 | T-719-STO4 | Stöðuvélar og reiknanleiki |