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

Most popular tags

vrs vrs_exam ltl vrs_exercise exam ctl dira rosy omega_automata parallel_computing mbes ltl_model_checking processor_architecture se1 automata lo2 bdd zielonka mu-calculus sequent-calculus studiengang_reform local-model-checking zdd2fdd exists-algorithm simplex greatest-simulation equivalance kripke tool studiengangswechsel vrs_lecture snf induction bdd2zdd zdd curriculum_change predicate_logic cmd floating_point_arithmetic constrain-algorithm compose-algorithm #parallel_computing minic i2sc format temporal curriculum_update fdd2zdd vrs_cheatsheet ctl_model_checking hrs infinite_path branch-bound dynamic_scheduling pre-requisite thesis functional state-machine uml-diagram embedded-system ml1 registration pipeline_conflicts vector_computers modulo_scheduling static_scheduling organisation b_complement_multiplication lo1 conditional bdd2fdd #pram restrict ite programming abacus parallel forall breakpoint acceptance simulation shannon important fdd group master_plan bachelor study rhrk

Categories

Ask a question:

Recent questions tagged dira

0 votes
1 answer
Tag-Bits und Satz-Bits bestimmen KL WS20/21
asked Jul 13, 2021 in * TF "Emb. Sys. and Rob." by v (310 points)
0 votes
1 answer
Ausführungszeit berechnen
asked Jul 13, 2021 in * TF "Emb. Sys. and Rob." by v (310 points)
0 votes
1 answer
Nops bzw. Pipeline-Stalls einfügen
asked Jul 6, 2021 in * TF "Emb. Sys. and Rob." by v (310 points)
+1 vote
1 answer
SR flipflop logic minimization
asked Aug 23, 2020 in # Mandatory Modules Bachelor by least (260 points)
+1 vote
1 answer
generator matrix
asked Aug 23, 2020 in # Mandatory Modules Bachelor by least (260 points)
0 votes
1 answer
CNF/DNF or CCNF/CDNF
asked Aug 23, 2020 in # Mandatory Modules Bachelor by VF (120 points)
0 votes
1 answer
Huffman Coding ws14 ex.1g)
asked Aug 23, 2020 in # Mandatory Modules Bachelor by kremenadla (380 points)
0 votes
1 answer
Rounding methods
asked Aug 23, 2020 in # Mandatory Modules Bachelor by davidschulz (410 points)
0 votes
1 answer
DNF ex.4 ws17
asked Aug 23, 2020 in # Mandatory Modules Bachelor by kremenadla (380 points)
0 votes
1 answer
Constrain/Restrict Algorithms
asked Aug 23, 2020 in # Study-Organisation (Bachelor) by akippler (190 points)
0 votes
1 answer
Floating point conversion
asked Aug 22, 2020 in # Mandatory Modules Bachelor by akippler (190 points)
0 votes
1 answer
FSM Regulations in the exam
asked Aug 22, 2020 in # Mandatory Modules Bachelor by mauric3 (190 points)
0 votes
1 answer
BDD: ws17 exercise 5 mistake + apply algorithm
asked Aug 22, 2020 in # Mandatory Modules Bachelor by kremenadla (380 points)
0 votes
1 answer
Exam ss14 4b
asked Aug 22, 2020 in * Other Teaching Fields by davidschulz (410 points)
0 votes
1 answer
Producing Words from a Moore-Automata
asked Aug 21, 2020 in * TF "Emb. Sys. and Rob." by Kevin Iselborn (170 points)
0 votes
1 answer
Floating Point Arithmetic
asked Aug 21, 2020 in # Mandatory Modules Bachelor by ballatma (1.2k points)
0 votes
1 answer
Automat (Automatentheorie)
asked Aug 21, 2020 in * Other Teaching Fields by Eichi (200 points)
Page:
 | Snow Theme by Q2A Market
Powered by Question2Answer
Imprint | Privacy Policy
...