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

558 users

Categories

Questions by nikita

0 votes
1 answer
CTL, LTL and CTL∗
asked Aug 24, 2020 in * TF "Emb. Sys. and Rob."
0 votes
1 answer
CTL, LTL and CTL∗
asked Aug 20, 2020 in * TF "Emb. Sys. and Rob."
0 votes
1 answer
Simulation and Bisimulation
asked Aug 16, 2020 in * TF "Emb. Sys. and Rob."
0 votes
1 answer
Translation between different logics
asked Aug 14, 2020 in * TF "Emb. Sys. and Rob."
0 votes
2 answers
Exercise Sheet 5 - Question 1.b
asked May 29, 2020 in * TF "Emb. Sys. and Rob."
0 votes
2 answers
Exercise Sheet 4 : problem 2
asked May 22, 2020 in * TF "Emb. Sys. and Rob."
 | Snow Theme by Q2A Market
Powered by Question2Answer
Imprint | Privacy Policy
...