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

1.1k questions

1.2k answers

1.6k comments

524 users

Ask a question:

Most popular tags

720 × vrs 252 × vrs_exam 83 × vrs_exercise 83 × ltl 71 × ctl 70 × exam 65 × dira 50 × omega_automata 42 × rosy 22 × parallel_computing 19 × ltl_model_checking 17 × mbes 15 × processor_architecture 12 × zielonka 11 × se1 11 × lo2 11 × automata 11 × bdd 10 × mu-calculus 10 × sequent-calculus 10 × simplex 8 × temporal 6 × local-model-checking 6 × kripke 6 × studiengang_reform 5 × zdd2fdd 5 × vrs_lecture 5 × greatest-simulation 5 × bdd2fdd 5 × exists-algorithm
Imprint | Privacy Policy
...