Thesis (Selection of subject)Thesis (Selection of subject)(version: 285)
List of assignments
   Login via CAS
  
                  
results per page
sort in descending ordersort in ascending orderTitle sort in descending ordersort in ascending orderYear of announcement sort in descending ordersort in ascending orderYear of defence Type of assignment Specialization sort in descending ordersort in ascending orderSupervisor sort in descending ordersort in ascending orderAuthor sort in descending ordersort in ascending orderAnnounced Assigned Department Faculty
detail Spectrum problem 2018/2019 Bachelor's thesis I, MAT, MMIB, MMIT, MOM prof. RNDr. Jan Krajíček, DrSc.   10.12.2018 Ne Katedra algebry (32-KA) MFF
detail Formal proofs of the correctness of SAT algorithms 2018/2019 diploma thesis prof. RNDr. Jan Krajíček, DrSc.   01.03.2018 Ne Katedra algebry (32-KA) MFF
detail Witnessing of existential statements 2018/2019 diploma thesis prof. RNDr. Jan Krajíček, DrSc.   01.03.2018 Ne Katedra algebry (32-KA) MFF
detail Spectrum problem 2019/2020 diploma thesis MSTRA prof. RNDr. Jan Krajíček, DrSc.   28.06.2019 Ne Katedra algebry (32-KA) MFF
Results 1-4 of 4 1
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html