Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

912 questions

1k answers

1.4k comments

441 users

Most popular tags

vrs vrs_exam vrs_exercise ltl dira exam ctl rosy omega_automata parallel_computing mbes ltl_model_checking processor_architecture se1 automata bdd lo2 mu-calculus sequent-calculus studiengang_reform local-model-checking exists-algorithm zielonka kripke tool studiengangswechsel zdd2fdd greatest-simulation snf bdd2zdd curriculum_change predicate_logic vrs_lecture cmd floating_point_arithmetic compose-algorithm equivalance #parallel_computing minic i2sc simplex format temporal induction zdd curriculum_update fdd2zdd vrs_cheatsheet ctl_model_checking hrs infinite_path branch-bound dynamic_scheduling pre-requisite thesis functional state-machine uml-diagram embedded-system ml1 registration pipeline_conflicts vector_computers modulo_scheduling static_scheduling organisation b_complement_multiplication constrain-algorithm lo1 conditional bdd2fdd #pram ite programming abacus parallel forall breakpoint acceptance simulation shannon important group master_plan bachelor study rhrk

Categories

Top scoring users

bhatt 100 Bhanu 100 Moritz 100 khaliq 100 jahin 100 cho 100 Sanjana 100 dharmara 100 aramacha 100 huang 100 PA 100 Rozita 100 noventa 100 rareddy 100 tousi 100 tomato 100 rkumar 100 Michael Aleksandrov 100 sheik 100 rsharma 100 tayyab 100 eheller 100 dheeraj 100 faranhaider 100 naimur_islam 100 baudiber 100 munasir 100 hao-hsuan 100 schoenin 100 anilcavusoglu 100
Page:
 | Snow Theme by Q2A Market
Powered by Question2Answer
Imprint | Privacy Policy
...