The algebra of functional programs: Function level reasoning, linear equations, and extended definitions.- The VDM principles of software specification & program design.- Attribute grammars : Theory and applications.- Compiler generation...

In 1973 a workshop was held at The University of Western Ontario on topics of common interest to philosophers and linguists. This volume con tains most of the papers presented at the workshop. Also included are previously unpublished...

"Rings of Continuous Functions" von Leonard Gillman und Meyer Jerison ist ein klassisches Werk in der mathematischen Literatur, das sich mit der Theorie der Ringe von kontinuierlichen Funktionen befasst. Das Buch untersucht die...

"Computer-Assisted and Robotic Endoscopy: Second International Workshop, CARE 2015" ist ein Fachbuch, das die neuesten Fortschritte und Forschungsergebnisse im Bereich der computerunterstützten und robotergestützten Endoskopie...

Die Produktionsplanung und -steuerung (PPS) ist vor dem Hintergrund des tief greifenden strukturellen Wandels des Wettbewerbsumfeldes von großer Bedeutung für die produzierende Industrie. Die Auftragsabwicklung erfolgt heute in...

"Progress in Nanophotonics 1" von Motoichi Ohtsu ist ein Fachbuch, das sich mit den neuesten Entwicklungen und Forschungen im Bereich der Nanophotonik befasst. Dieses Gebiet beschäftigt sich mit der Wechselwirkung von Licht mit Materie...

This book presents to all those who are interested in the history of Anaesthesiology historical details and information on the development of anaesthesiology in Germany and the remarkable growth of our Society. At the founding session of...

This book was first pUblished in 1989 as volume 336 in the Springer series "Lecture Notes in Economics and Mathematical Systems", and it reappeared in a 2nd edition as a Springer monograph in 1991. After considerable revisions it...

Das "Lehrbuch der Orthopädie" von Karl Idelberger ist ein umfassendes Werk, das die Grundlagen und fortgeschrittenen Konzepte der Orthopädie behandelt. Es richtet sich an Medizinstudenten, angehende Fachärzte und praktizierende...

Das Buch "Hirnforschung in Deutschland 1849 bis 1974" von Jürgen Peiffer bietet eine umfassende Darstellung der Entwicklung der Psychiatrie und Neurowissenschaften in Deutschland über mehr als ein Jahrhundert. Es beleuchtet die...

The aim of this book is to provide a short but complete exposition of the logical structure of classical relativistic electrodynamics written in the language and spirit of coordinate-free differential geometry. The intended audience is...

Das Buch "Non-Universal Superconducting Gap Structure in Iron-Pnictides Revealed by Magnetic Penetration Depth Measurements" von Kenichiro Hashimoto untersucht die supraleitenden Eigenschaften von Eisen-Pniktiden, einer Klasse von...