2 Ergebnisse.

Mikroarchitekturen und Mikroprogrammierung: Formale Beschreibung und Optimierung
Kapitel 2 umfaBt zuniichst eine verbale Beschreibung der fur die Mikroprogrammierung wichtigen Begriffe und Techniken (Abschnitt 2.1), wobei zur Erliiuterung abstrakte Maschinen oder Maschinen­ elemente dargestellt werden. Danach folgt in Abschnitt 2.2, aufbauend auf dem sogenannten Tupelmodell von Mikrooperationen, eine formale Priizisierung der eingefuhrten Begriffe. Zur Veranschaulichung werden in diesem Abschnitt Beispiele konkreter mikroprogrammierter Maschinen verwendet. Es handelt sich dabei ...

73,00 CHF

Verdeckte strafprozessuale Ermittlungsmaßnahmen
Die Heimlichkeit ist kleinster gemeinsamer Nenner und zugleich dogmatischer Problempunkt der verdeckten strafprozessualen Ermittlungsmaßnahmen. Entspricht Heimlichkeit dem Zwang zu selbstbelastenden Aussagen? Warum können rein beobachtende Maßnahmen überhaupt die grundrechtlich geschützten Freiheiten des Einzelnen verkürzen? Sind die Vorschriften der StPO Rechtfertigungen für solche Eingriffe oder hierfür zu unbestimmt und unverhältnismäßig? In welchen Fällen scheitert eine Rechtfertigung an der Missachtung der Menschenwürde? ...

150,00 CHF