Vieweg+teubner Verlag

This book is unique in that it gives asymptotic bounds on the sizes of the search spaces generated by many common theorem proving strategies. Thus it permits one to gain a theoretical understanding...

The GAMM Committee for Numerical Methods in Fluid Mechanics organizes workshops which should bring together experts of a narrow field of computational fluid dynamics (CFD) to exchange ideas and...

The Equations of Navier-Stokes and Abstract Parabolic EquationsAuthor: Wolf Von WahlPublisher: Vieweg+teubner VerlagPublication Date: Jan 01, 1985Number of Pages: 264 pagesBinding: Paperback or...

This is a textbook on program verification. It concentrates on those verification methods that have now become classic such as the inductive assertions method of Floyd, the axiomatic method of Hoare...

Density functional methods form the basis of a diversified and very active area of present days computational atomic, molecular, solid state and even nuclear physics. A large number of computational...

by Pedro Waloschek The following autobiographical account of Rolf Wider?e's life and work is based on manuscripts and letters written by hirnself, most ofthem especially for this report. Data from...

It was the last book the outstanding mathematician, mechanician and lecturer S. G. Mikhlin took an active part in writing. Having been completed during his lifetime, this book could not be published...

By computerized tomography (CT) we mean the reconstruction of a function from its line or plane integrals, irrespective of the field where this technique is applied. In the early 1970s CT was...

THE main purpose of writing this monograph is to give a picture of the progress made in recent years in understanding three of the deepest results of Functional Analysis-namely, the open-mapping and...

The Rhenish Massif: Structure, Evolution, Mineral Deposits and Present GeodynamicsAuthor: Andreas VogelPublisher: Vieweg+teubner VerlagPublication Date: Aug 23, 2014Number of Pages: 162 pagesBinding:...

Der Band befa t sich mit Differentialgleichungen vom Fuchsschen Typ und l?st ein Problem, das von Hilbert 1900 gestellt wurde.Author: D. V. AnosovPublisher: Vieweg+teubner VerlagPublication Date: Aug...

This book is for both developer and decision makers of R/3 implementation teams who need to understand in-depth and practically the benefits, financial risks and technical backgrounds of IDocs and...

Dieses Buch geht auf die Bedeutung von Enantiomeren in lebenden Organismen und die Prinzipien ihrer Trennung durch Kapillarelektrophorese ein. Mathematische und physikalische Modelle der...

This work is a comparative study of nineteenth-century English-Canadian and French- Canadian novel prefaces, a previously unexplored literary topic. As a study in Comparative Literature - with the...

Die algorithmische Graphentheorie hat in den letzten Jahren als Bindeglied zwischen Diskreter Mathematik und Theoretischer Informatik mehr und mehr an Bedeutung gewonnen. Dieses Lehrbuch bietet...

In den letzten Jahren ist eine neue Betrachtungsweise in der Wissen- schaftsgeschichte entstanden - eine Betrachtungsweise, die ihre fruchtbaren Ideen aus weit auseinanderliegenden Gebieten sucht,...

"Bei der Untersuchung gr? erer Mengt: n von Theextract ... habe ich das Vorhandensein einer neuen Base constatiert, welche in geringt: ren Mengen neben dem Caffein auftritt, ... f?r welche ich den...

Dieses Buch hat sich die Aufgabe gestellt, die M axwell-Theorie f?r alle diejenigen anschaulich und exakt darzustellen, die zwar die In- finitesimalrechnung und die Vektoralgebra, nicht aber die...

Die Theorie der Elektrotechnik setzt sich aus der Theorie elektrischer Netzwerke mit den Teilgebieten Analyse, Modellierung und Synthese und der Theorie und der Anwendung elektromagnetischer Felder...

Die Theorie der Elektrotechnik setzt sich aus der Theorie und Anwendung elektromagnetischer Felder, der Theorie und Technik elektrischer Netzwerke und dem Mechanismus der Stromleitung in Gasen,...

5 in diinnen Halbleiter-Schichten vollkommen verzichtet. Tatsachlich ist aber die Theorie des raumlich homogenen Halbleiters notwendige physikalische Grundlage aller jener Erscheinungen, bei denen...

braische Begriindung der Systemtheorie verzichtet. Ais lHttel der durchgehend einheitlichen Beschreibung von determinierten und stochastischen, kontinuierlichen und diskontinuierlichen Vorgangen...

Die Probleme del' automatischen Steuerung technischer Systeme mit ProzeBrechnern haben in den letzten Jahren immer mehr an Bedeutung gewonnen. VOl' allem in del' chemischen Industrie ist dabei die...

Die Theoretische Informatik ist ?lter als die Praktische, Angewandte oder Techni- sche Informatik. Daher ist sie als wissenschaftliche Disziplin bereits weiter ausgebaut als andere Bereiche der...

Theoretische Informatik: Grundlagen Und Praktische AnwendungenAuthor: Werner BrechtPublisher: Vieweg+teubner VerlagPublication Date: Feb 01, 1995Number of Pages: 246 pagesBinding: Paperback or...

Die Theoretische Meteorologie ist neben der Allgemeinen Meteorologie die zweite Grundvorlesung, die jeder Student der Meteorologie absolvieren mu . In ihr werden die physikalischen Konzepte...

Seit der Entdeckung des Laserprinzips und den ersten Realisierungen funktionst?chtiger Laser im Laborstadium fand in den letzten Jahrzehnten ein geradezu rasanter technologischer Fortschritt auf dem...

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anf?ngen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv...

Diese Arbeit behandelt die beim Begegnen oder ?berholen von Schiffen auftreten- den hydrodynamischen Vorg?nge. Ihr Ziel ist es, ein Integrodifferentialgleichungs- system aufzustellen, das den...

Die modeme chemische Grundlagenforschung ist wesentlich durch das Bestreben gekennzeichnet, chemische Phanomene soweit wie moglich auf molekularer Ebene zu erklaren. Hierzu werden mit immer mehr...