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

965 questions

1.1k answers

1.5k comments

451 users

Ask a question:

Most popular tags

656 × vrs 167 × vrs_exam 75 × ltl 74 × vrs_exercise 61 × exam 58 × ctl 57 × dira 41 × rosy 27 × omega_automata 21 × parallel_computing 17 × mbes 14 × ltl_model_checking 13 × processor_architecture 11 × se1 11 × automata 10 × lo2 10 × bdd 7 × zielonka 7 × mu-calculus 7 × sequent-calculus 6 × studiengang_reform 5 × local-model-checking 5 × zdd2fdd 5 × exists-algorithm 5 × simplex 4 × greatest-simulation 4 × equivalance 4 × kripke 4 × tool 4 × studiengangswechsel
Imprint | Privacy Policy
...