Die "notwendige Teilnahme" als funktionales Privilegierun...
Für diesen Titel ist noch kein Beschreibungstext vorhanden.
Automatische Synthese rekursiver Programme als Beweisverf...
In diesem Buch wird ein Verfahren vorgestellt, mit dem Induktionsbeweise vonExistenzaussagen automatisch gef}hrt werden k|nnen. Es ist ein deduktives Programmsyntheseverfahren, das ausgehend von Existenzaussagen, die als formale Programmspezifikationen aufgefa~t werden, rekursive Programme erzeugt. Kann ein solches Programm korrekt erstellt werden, so beschreibt der Syntheseproze~ gleichzeitig einen Induktionsbeweis der entsprechenden Existenzaussage. Auf der Basis dieses Verfahrens wurde ein automatisches Programmsynthesesystem entwickelt ...
73,00 CHF
Liebe und Psychotherapie Der Körper in der Psychotherapie...
In dem vorliegenden zweiten Band der Lindauer Texte zur psychotherapeutischen Fort- und Weiterbildung werden 19 Referate der beiden Leitthemen der 4l. Lindauer Psychotherapiewochen und ein erster Bericht tiber ein Projekt zur empiri schen Weiterbildungsforschung in Lindau einem groBeren Leserkreis vorgestellt. Mit den Texten zum Leitthema "Liebe und Psychotherapie" solI zu einer mog lichst offenen Auseinandersetzung mit den vielfaItigen Aspekten der ...
104,00 CHF
Physik und Informatik ¿ Informatik und Physik
Die Forschungs- und Entwicklungsaufgaben der Informations- und Kommunikationstechnik werden immer vielschichtiger und komplexer. Vor diesemHintergrund veranstaltete die Deutsche Physikalische Gesellschaft, die Gesellschaft f}r Informatik und die Informationstechnische Gesellschaft im VDE eine Fachtagung, auf der grundlagenorientierte und anwendungsbezogene Schwerpunkte er|rtert wurden. Das breite Themenangebot reicht von Neuen Rechnerprinzipien und Materialien }ber Algorithmen und Architekturen bis hin zum Wissenschaftlichen Rechnen (Computational Science) ...
104,00 CHF
Ontologie und Axiomatik der Wissensbasis von LILOG
Grundlage dieses Buches bildet die Wissensbasis des LILOG-Systems als integraler Bestandteil der zweiten prototypischen Implementierung eines textverstehenden Systems, die im Wissenschaftlichen Zentrum der IBM Deutschland GmbH in Kooperation mit mehreren Universit{ten realisiert wurde. Die bei der Entwicklung der Wissensbasis getroffenen Modellierungsentscheidungen werden dokumentiert und in ihrem Zusammenhang mit anderen Komponenten des Systems, insbesondere den Modulen f}r die sprachliche Analyse und ...
73,00 CHF
Die Interpretation des Verhaltens mehrerer Akteure in Sze...
Die in diesem Buch beschriebene Arbeit ist im Umfeld der nat}rlichsprachlichen Beschreibung von Bildfolgen angesiedelt, einemTeilbereich des Aufgabengebietes "Kopplung von bildverstehenden und sprachverstehenden Systemen". In diesem Bereich hat man sich bisher nur mit der Erkennung und Beschreibung von Objekten sowie deren r{umlichen Relationen und Bewegungen, also mit raum-zeitlichen Aspekten, besch{ftigt. Diese Beschr{nkung wird hier }berwunden. Unter der Annahme, da~ das ...
73,00 CHF
Modellbildung, Simulation und Identifikation dynamischer ...
Modelle von komplexen, dynamischen Systemen findet man heute nicht nur innerhalb der Nachrichten- und Regelungstechnik, sondern auch in den anderentechnischen Disziplinen, den Natur-, Sozial-, Wirtschafts- und Umweltwissenschaften. Seitdem gr|~ere elektronische Rechnerkapazit{ten verf}gbar sind, erm|glicht die numerische Simulation die Systemanalyse anhand dieser Modelle. Dieses Lehrbuch f}hrt in die Simulationsmethode ein, nachdem der notwendige erste Schritt, die Modellbildung ausf}hrlich behandelt wurde. Ein ...
73,00 CHF
Qualitätssicherung bei der Anwendung von Kontrastmitteln
Das Buch befa~t sich mit Problemen der Qualit{tssicherung bei der Herstellung und Anwendung von Kontrastmitteln. Nach einf}hrenden Beitr{gen zur Fertigung und Lagerung wird die klinische Anwendung von Kontrastmitteln f}r R|ntgen-, CT- und MRT-Untersuchungen ausf}hrlich er|rtert.