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

1.1k questions

1.3k answers

1.7k comments

556 users

Ask a question:

Most popular tags

737 × vrs 270 × vrs_exam 88 × vrs_exercise 83 × ltl 74 × exam 71 × ctl 65 × dira 55 × omega_automata 54 × rosy 22 × parallel_computing 19 × ltl_model_checking 17 × mbes 16 × processor_architecture 14 × zielonka 12 × sequent-calculus 11 × local-model-checking 11 × se1 11 × lo2 11 × automata 11 × bdd 10 × mu-calculus 10 × simplex 8 × temporal 7 × rosy_exam 7 × greatest-simulation 6 × zdd2fdd 6 × vrs_lecture 6 × kripke 6 × studiengang_reform 5 × bdd2fdd
Imprint | Privacy Policy
...