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

1k questions

1.2k answers

1.6k comments

498 users

Ask a question:

Most popular tags

687 × vrs 219 × vrs_exam 83 × vrs_exercise 79 × ltl 64 × ctl 64 × exam 63 × dira 41 × rosy 39 × omega_automata 22 × parallel_computing 17 × ltl_model_checking 17 × mbes 13 × processor_architecture 11 × zielonka 11 × se1 11 × lo2 11 × automata 11 × bdd 10 × sequent-calculus 8 × mu-calculus 8 × simplex 6 × kripke 6 × studiengang_reform 5 × local-model-checking 5 × zdd2fdd 5 × vrs_lecture 5 × greatest-simulation 5 × exists-algorithm 4 × equivalance 4 × bdd2fdd
Imprint | Privacy Policy
...