• Ihr Warenkorb ist leer.
Zur Kasse

5 Ergebnisse.

Selbs Justiz

Selbs Justiz

Schlink, Bernhard / Popp, Walter
Privatdetektiv Gerhard Selb, 68, wird von einem Chemiekonzern beauftragt, einem >Hacker< das Handwerk zu legen, der das werkseigene Computersystem durcheinanderbringt. Bei der Lösung des Falles wird er mit seiner eigenen Vergangenheit als junger, schneidiger Nazi-Anwalt konfrontiert und findet für die Ahndung zweier Morde, deren argloses Werkzeug er war, eine eigenwillige Lösung.

19,00 CHF

Diagnostisches Problemlösen mit Expertensystemen

Diagnostisches Problemlösen mit Expertensystemen

Puppe, Frank
Diagnostisches Problemlösen ist der bisher erfolgreichste Anwendungsbereich von Expertensystemen. Nach einer ausführlichen Einführung in Expertensysteme werden aus Erfahrungen mit existierenden Diagnostik-Systemen und psychologischen Studien über medizinische Diagnostik Richtlinien zur Entwicklung von Werkzeugen (Shells) für heuristische Diagnostik abgeleitet. Der Hauptteil des Buches beschäftigt sich mit der Konkretisierung und Implementierung dieser Mechanismen in dem Shell MED2 zur Entwicklung medizinischer und technischer Diagnostik-Systeme, ...

73,00 CHF

Verletzungen des Schultergelenks

Verletzungen des Schultergelenks

Schreinlechner, U. P.
Der Band enthält die Referate und Diskussionsbeiträge der 21. Jahrestagung der Österreichischen Gesellschaft für Unfallchirurgie in Salzburg über die Verletzungen des Schultergelenks. Der Kongreßbericht gibt einen umfassenden Überblick über funktionelle Anatomie, Diagnostik sowie Indikation und Technik verschiedener Behandlungsmethoden, Spätergebnisse, Wiederherstellung und Rehabilitation. Ein Nachschlagewerk für jeden unfallchirurgisch tätigen Arzt bei der Behandlung von Verletzungen des Schultergelenks.

73,00 CHF

Messung, Modellierung und Bewertung von Rechensystemen

Messung, Modellierung und Bewertung von Rechensystemen

Paterok, Martin / Herzog, Ulrich
Dies ist der Tagungsband der 4. GI/ITG-Fachtagung "Messung, Modellierung und Bewertung von Rechensystemen", Erlangen, 29. September-1. Oktober 1987. Tagungsinhalt ist der Austausch neuer Ideen und Erfahrungen bei der quantitativen Untersuchung von Rechensystemen. Dabei werden einerseits das volle methodische Spektrum - Meßinstrumentierung/Messung - Modellbildung/simulative und mathematische Modellanalyse - Bewertung und Synthese in leistungsorientierter bzw. leistungs-/zuverlässigkeitsorientierter Sicht abgedeckt sowie andererseits über praktische ...

73,00 CHF

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Entwurf und Verifikation mikroprogrammierter Rechnerarchi...

Damm, Werner
Dieses Buch stellt eine Methodik zum systematischen Entwurf korrekter Mikroprogramme vor. Behandelt werden sämtliche Phasen der Firmwareentwicklung: das Erstellen einer formalen Beschreibung der Anforderungen, Techniken zur hierarchischen Organisation des Entwurfs, die Mikroprogrammierung in einer geeigneten höheren Mikroprogrammiersprache, sowie formale Techniken zur Überprüfung der Korrektheit des Entwurfs. Damit wird erstmals eine Firmwareverifikationsmethode vorgestellt, die sowohl für beliebige Mikroarchitekturen einsetzbar ist als ...

73,00 CHF

Ergebnisse anzeigen für