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

868 questions

986 answers

1.4k comments

438 users

Most popular tags

vrs vrs_exam vrs_exercise ltl dira exam ctl rosy parallel_computing omega_automata processor_architecture se1 automata mbes ltl_model_checking lo2 mu-calculus sequent-calculus bdd studiengang_reform exists-algorithm tool studiengangswechsel local-model-checking greatest-simulation kripke curriculum_change predicate_logic zielonka vrs_lecture cmd floating_point_arithmetic compose-algorithm equivalance #parallel_computing minic i2sc simplex format temporal bdd2zdd curriculum_update ctl_model_checking hrs infinite_path zdd2fdd 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 induction breakpoint acceptance simulation shannon important zdd group master_plan bachelor study rhrk

Categories

Top scoring users

l_arch 100 bansal 100 tianqili 100 nayanmavani 100 kinger 100 seokoloji 100 Marcel An 100 kiefer 100 ahaque 100 Elio 100 Julian W. 100 adiga 100 l2poca 100 kchaou 100 gbavi06 100 ahadmushir 100 pragati 100 Varun 100 abubakar 100 sk23 100 scorrea 100 ragipati 100 c_phil 100 manusk 100 Anushree 100 a_vieira19 100 farrukh 100 varney 100 zaid 100 khanm 100
Page:
 | Snow Theme by Q2A Market
Powered by Question2Answer
Imprint | Privacy Policy
...