Product Type
Condition
Binding
Collectible Attributes
Seller Location
Seller Rating
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540432701ISBN 13: 9783540432708
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains a detailed exposition of Carleson-Hunt theorem following the proof of Carleson: to this day this is the only one giving better bounds. It points out the motivation of every step in the proof. Thus the Carleson-Hunt theorem becomes accessible to any analyst. The book also contains the first detailed exposition of the fine results of Hunt, Sjölin, Soria, etc on the convergence of Fourier Series. Its final chapters present original material. With both Fefferman's proof and the recent one of Lacey and Thiele in print, it becomes more important than ever to understand and compare these two related proofs with that of Carleson and Hunt. These alternative proofs do not yield all the results of the Carleson-Hunt proof. The intention of this monograph is to make Carleson's proof accessible to a wider audience, and to explain its consequences for the pointwise convergence of Fourier series for functions in spaces near $ cal L 1$, filling a well-known gap in the literature. 200 pp. Englisch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540433201ISBN 13: 9783540433200
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Around 1994 R. Borcherds discovered a new type of meromorphic modular form on the orthogonal group $O(2,n)$. These 'Borcherds products' have infinite product expansions analogous to the Dedekind eta-function. They arise as multiplicative liftings of elliptic modular forms on $(SL)_2(R)$. The factthat the zeros and poles of Borcherds products are explicitly given in terms of Heegner divisors makes them interesting for geometric and arithmetic applications. In the present text the Borcherds' construction is extended to Maass wave forms and is used to study the Chern classes of Heegner divisors. A converse theorem for the lifting is proved. 164 pp. Englisch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540432736ISBN 13: 9783540432739
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dieser Leitfaden zur Europaischen Sozialcharta wurde erstellt vom Sekretariat der II - Menschenrechte des Europarats als Antwort auf die Bedtirf Generaldirektion nisse, die von Staaten zum Ausdruck gebracht wurden, welche die Sozialcharta ra tifiziert haben oder die Ratifizierung vorbereiten. Insbesondere ist der Leitfaden das Ergebnis einer Initiative der bulgarischen BehOrden, die in einem Seminar, das im Februar 1999 im Rahmen des ADACS Programrns stattfand, ihre Hoffnung zum Ausdruck brachten, dass ein Buch dieser Art erscheinen solle. Sein Ziel ist es, in Form von leicht handhabbaren Informationsblattem sowohl kompakte als auch genaue Informationen dartiber zu liefem, wie das Oberwa chungssystem der Sozialcharta funktioniert, und tiber die Hauptlinien der Recht sprechung des Europaischen Sozialrechtsausschusses. Ein weiteres und ebenso wichtiges Kapitel behandelt die Wirkung der Sozialcharta aufdie Staaten wahrend der Vorbereitung der Ratifikation oder kurz danach. Die drei Hauptteile des Leitfadens werden schlieBlich erganzt durch praktische Informationen, einschlieBlich funfzig Fragen zur Charta. Daneben ist der Leitfaden allgemein ein Beitrag zu den Veroffentlichungen des Europarats zur Europaischen Sozialcharta, welche die nach Moglichkeit umfas sendsten Erlauterungen zur Funktionsweise und Realitat dieses Vertrages geben sollen. Die Bandbreite der VerOffentlichungen umfasst insbesondere die folgenden Titel: Die Sozialcharta des 21. lahrhunderts (Kolloquium im Menschenrechtsgebaude am 14.-16. Mai 1997); Soziale Grundrechte - Rechtsprechung zur Europaischen Sozialcharta, von - nia Samuel (2. Auflage 2000); Europaische Sozialcharta - Textsamrnlung (2. Auflage 2000). 280 pp. Deutsch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 354043478XISBN 13: 9783540434788
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ziel dieser Studie war die erstmalige Analyse des Kosten-Nutzen-Verhältnisses der Cochlea-Implantat-Versorgung von prälingual ertaubten Kindern im Vergleich zu Kindern mit Hörgeräten aus Perspektive der Kostenträger. Die Kosten der medizinischen und pädagogischen Versorgung wurden von Krankenkassen und öffentlicher Hand getragen. Die Nutzung verschiedener Schulformen wurde zur Nutzenbewertung herangezogen. Die Gesamtkosten beliefen sich für die ersten 16. Lebensjahre auf TDM 271 bis TDM 348 für implantierte Kinder gegenüber TDM 312 für Kinder mit Hörgeräten. Die Unterschiede wurden wesentlich durch unterschiedliche Form der Beschulung bestimmt. Diese Studie zeigt, dass die Cochlea-Implantation bei Kindern ein positives Kosten-Nutzen-Verhältnis im Vergleich zur Hörgeräteversorgung in Abhängigkeit vom Implantationsalter aufweist. 112 pp. Deutsch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540433910ISBN 13: 9783540433910
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book provides an approach to the study of perturbation and discretization effects on the long-time behavior of dynamical and control systems. It analyzes the impact of time and space discretizations on asymptotically stable attracting sets, attractors, asumptotically controllable sets and their respective domains of attractions and reachable sets. Combining robust stability concepts from nonlinear control theory, techniques from optimal control and differential games and methods from nonsmooth analysis, both qualitative and quantitative results are obtained and new algorithms are developed, analyzed and illustrated by examples. 244 pp. Englisch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540430628ISBN 13: 9783540430629
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Statistik interaktiv! ist eine multimediale Lerneinheit zur Grundausbildung Statistik. Inhalt ist die deskriptive Statistik. Eine authentische Videogeschichte führt den Anwender problemorientiert durch die Lektionen, von den Grundbegriffen bis zur linearen Regression. In einem interaktiven Lernlabor haben die Lernenden die Möglichkeit, konkrete Übungsaufgaben zu bearbeiten und Musterlösungen zu studieren oder auch frei zu experimentieren. So entsteht lebendiges Wissen und Spaß am Lernen. In einem ausführlichen Begleitbuch kann der Lehrstoff nachbearbeitet werden. Für die neue Auflage wurde die Funktionalität des Lernlabor verbessert und erweitert. 208 pp. Deutsch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540436138ISBN 13: 9783540436133
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory, and allegory theory.This textbook-like tutorial presents, besides an introduction, eight coherently written chapters by leading authorities on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, algebraic methods for optimization problems, and temporal algebra. 404 pp. Englisch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540430512ISBN 13: 9783540430513
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Risk Management and Business Continuity are essential for the competitive capacity of any international corporation. The temporary unavailability of technology and services can endanger the existence of any company. It is cruical to develop an international strategy to deal with these problems. This book provides theoretical analysis and practical solutions on these topics. 232 pp. Englisch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540435611ISBN 13: 9783540435617
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Second International Conference Diagrams 2002, held in Callaway Gardens, Georgia, USA, in April 2002.The 21 revised full papers and 19 posters presented were carefully reviewed and selected from 77 submissions. The papers are organized in topical sections on understanding and communicating with diagrams, diagrams in mathematics, computational aspects of diagrammatic representation and reasoning, logic and diagrams, diagrams in human-computer interaction, tracing the process of diagrammatic reasoning, visualizing information with diagrams, diagrams and software engineering, and cognitive aspects. 384 pp. Englisch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540430555ISBN 13: 9783540430551
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Sapere aude! Immanuel Kant (1724-1804) Numerical simulations playa key role in many areas of modern science and technology. They are necessary in particular when experiments for the underlying problem are too dangerous, too expensive or not even possible. The latter situation appears for example when relevant length scales are below the observation level. Moreover, numerical simulations are needed to control complex processes and systems. In all these cases the relevant problems may become highly complex. Hence the following issues are of vital importance for a numerical simulation: - Efficiency of the numerical solvers: Efficient and fast numerical schemes are the basis for a simulation of 'real world' problems. This becomes even more important for realtime problems where the runtime of the numerical simulation has to be of the order of the time span required by the simulated process. Without efficient solution methods the simulation of many problems is not feasible. 'Efficient' means here that the overall cost of the numerical scheme remains proportional to the degrees of freedom, i. e. , the numerical approximation is determined in linear time when the problem size grows e. g. to upgrade accuracy. Of course, as soon as the solution of large systems of equations is involved this requirement is very demanding. 204 pp. Englisch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540432469ISBN 13: 9783540432463
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The aim of this book is to present a recently developed approach suitable for investigating a variety of qualitative aspects of order-preserving random dynamical systems and to give the background for further development of the theory. The main objects considered are equilibria and attractors. The effectiveness of this approach is demonstrated by analysing the long-time behaviour of some classes of random and stochastic ordinary differential equations which arise in many applications. 248 pp. Englisch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540436774ISBN 13: 9783540436775
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The ACM Workshop on Security and Privacy in Digital Rights Management is the rst scienti c workshop with refereed proceedings devoted solely to this topic. The workshop was held in conjunction with the Eighth ACM Conference on Computer and Communications Security (CCS-8) in Philadelphia, USA on November 5, 2001. Digital Rights Management technology is meant to provide end-to-end so- tions for the digital distribution of electronic goods. Sound security and privacy features are among the key requirements for such systems. Fifty papers were submitted to the workshop, quite a success for a rst-time workshop. From these 50 submissions, the program committee selected 15 papers for presentation at the workshop. They cover a broad area of relevant techniques, including cryptography, system architecture, and cryptanalysis of existing DRM systems. Three accepted papers are about software tamper resistance, an area about which few scienti c articles have been published before. Another paper addresses renewability of security measures. Renewability is another important security technique for DRM systems, and I hope we will see more publications about this in the future. I am particularly glad that three papers cover economic and legal aspects of digital distribution of electronic goods. Technical security measures do not exist in a vacuum and their e ectiveness interacts in a number of ways with the environment for legal enforcement. Deploying security and an- piracy measures adequately requires furthermore a good understanding of the business models that they are designed to support. 260 pp. Englisch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540427937ISBN 13: 9783540427933
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -From the reviews: 'This book is very well written and contains many important and new original results that certainly play an important role in today's nonlinear optics.' Physicalia 324 pp. Englisch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540435336ISBN 13: 9783540435334
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Due to the popularity of knowledge discovery and data mining, in practice as well as among academic and corporate R&D professionals, association rule mining is receiving increasing attention.The authors present the recent progress achieved in mining quantitative association rules, causal rules, exceptional rules, negative association rules, association rules in multi-databases, and association rules in small databases. This book is written for researchers, professionals, and students working in the fields of data mining, data analysis, machine learning, knowledge discovery in databases, and anyone who is interested in association rule mining. 256 pp. Englisch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540426574ISBN 13: 9783540426578
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book introduces Uncertain Volatility Models in mathematical finance and their computer implementation for portfolios of vanilla, barrier and American options in equity and FX markets. Uncertain Volatility Models place subjective constraints such as upper and lower bounds on volatility and evaluate option portfolios under worst- and best-case scenarios. This book is for graduate students, researchers and practitioners who wish to study advanced aspects of volatility risk in portfolios of vanilla and exotic options. The accompanying CD contains the source code of a C++ implementation of the algorithms presented in the book. 256 pp. Englisch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 354043464XISBN 13: 9783540434641
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In many areas of finance and stochastics, significant advances have been made since this field of research was opened by Black, Scholes and Merton in 1973. This volume contains a collection of original articles by a number of highly distinguished authors, on research topics that are currently in the focus of interest of both academics and practitioners. 336 pp. Englisch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540426191ISBN 13: 9783540426196
Seller: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, Germany
Book
Taschenbuch. Condition: Neu. Neuware -Der Schwerpunkt dieses Buches liegt in der Auseinandersetzung mit Prozessen der menschlichen Wahrnehmung und den Möglichkeiten, Wahrnehmung, den Informationstransfer im Rahmen der Konzeption und Gestaltung von Gebrauchsanleitungen, zu steuern und zu optimieren. Umfassend werden Kriterien und Lösungsmöglichkeiten vorgestellt. Anhand einer Reihe von Anleitungen werden diese Aspekte umgesetzt und überprüft. Inhaltlich befassen sich diese Beispielanleitungen mit Details des täglichen Lebens. Dem Leser wird es selbst überlassen, ob er fundierte Informationen herausnehmen, oder ob er über den Sinn von Gebrauchsanleitungen nachdenken möchte. Die Spannung entsteht durch die ungewöhnliche Kombination von theoretischen Überlegungen und Illustrationen, die nicht nur die verbalen Inhalte bebildern, sondern eigene assoziative Inhalte tragen. 152 pp. Deutsch.
More buying choices from other sellers on AbeBooks
New offers from US$ 61.05
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540428585ISBN 13: 9783540428589
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Using information and scale as central themes, this comprehensive survey explains how to handle real problems in astronomical data analysis through a modern arsenal of powerful techniques. The coverage includes chapters or appendices on: detection and filtering; image compression; multichannel, multiscale, and catalog data analytical methods; wavelets transforms, Picard iteration, and software tools. 284 pp. Deutsch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540414517ISBN 13: 9783540414513
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dieses Buch bietet allen, die mit Lehrmaterialien für selbstgesteuerte Lernprozesse betraut sind, ein didaktisches Rahmenkonzept und praktische Hinweise. Wichtig ist den Autoren dabei ein Vorgehen, das pragmatisch genug ist, um angesichts der heute verfügbaren wirtschaftlichen, technischen und organisatorischen Möglichkeiten handlungsfähig zu sein, das andererseits aber auch den hohen Anforderungen an Qualität und Marktgängigkeit gerecht wird, die sich als Standard durchzusetzen beginnen. Die in diesem Konzept vorgestellten Stufen beim Lehren und Lernen werden Schritt für Schritt theoretisch erklärt, anhand von Praxisbeispielen erläutert und mit Umsetzungshinweisen in Form von Checklisten versehen. Das Buch richtet sich vor allem an Entwickler von Lernprogrammen für den selbstgesteuerten Unterricht (Fernlehrinstitute, Universitäten, individualisierter Unterricht an Schulen), ist aber auch von theoretischem Interesse. 148 pp. Deutsch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540676325ISBN 13: 9783540676324
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Buch thematisiert den deutschen Markt für TV-Kabelnetze in seiner Entwicklung vom Monopol zum Wettbewerb. Schwerpunkt der Betrachtung bilden die auf diesem Markt handelnden Akteure mit ihren unterschiedlichen Interessen und Strategien. So wird die Bedeutung des ehemaligen Staatsmonopolisten 'Deutsche Telekom' für die Entwicklung dieses Marktes ebenso herausgestellt und kritisch analysiert, wie die der deutschen und internationalen Kabelnetzbetreiber. Zentrale Themen des Buches sind: Bedeutung von Wettbewerb und Deregulierung für den deutschen TV-Kabelmarkt, Wettbewerbssituation und Potenziale privater Kabelnetzbetreiber. Diese Aspekte sind eingebettet in die Darstellung und Analyse der ordnungspolitischen Rahmenbedingungen des TV-Kabelmarktes sowie der hieraus resultierenden, innovativen Wettbewerbsbedingungen. Das Buch bietet einen im deutschsprachigen Raum einmaligen Einblick. 220 pp. Deutsch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540434011ISBN 13: 9783540434016
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Halten Sie Ihr Fachwissen einfach up-to-date!Die aktuellen Themen aus der Facharztzeitschrift Monatsschrift Kinderheilkunde bieten Ihnen kompakte Fort- und Weiterbildung. Mit diesen didaktisch hervorragend aufbereiteten Beiträgen bereiten Sie sich optimal auf die Facharztprüfung vor. 208 pp. Deutsch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540433007ISBN 13: 9783540433002
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Der Forumband erscheint jährlich zum Kongress der Deutschen Gesellschaft für Chirurgie. In ihm enthalten sind die wichtigsten, streng ausgewählten Arbeiten der deutschen chirurgischen Forschung, sowohl der klinischen als auch der Grundlagenforschung. Die Arbeiten werden durch streng gegliederte englische Abstracts eingeleitet. 640 pp. Deutsch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540433503ISBN 13: 9783540433507
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das 7. Heidelberger Symposium über Hämostaseologie in der Anästhesiologie hatte als zentrales Thema die disseminierte Gerinnungsaktivierung, wie sie bei Sepsis im Rahmen der Verbrauchskoagulopathie immer noch ein wichtiges klinisches Problem ist. Die disseminierte Gerinnungsaktivierung stellt sich immer wieder mit zwei Gesichtern dar: Zum einen ist sie ein Paradepferd der wissenschaftlichen Hämostaseologie, das Modell, an dem die Gerinnung erforscht wird, zum anderen ist sie immer wieder für Enttäuschungen und Überraschungen gut, denn kaum meint man, ein Molekül und seine Wirkung verstanden zu haben, so lehrt die klinische Erfahrung, dass dies nicht so einfach ist, wie man ursprünglich dachte. 172 pp. Deutsch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540433767ISBN 13: 9783540433767
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses rst-order logic and minimizes discussion of meta-theory. It is written for potential users rather than for our colleagues in the research world. Another departure from previous documentation is that we describe Markus Wenzel s proof script notation instead of ML tactic scripts. The l- ter make it easier to introduce new tactics on the y, but hardly anybody does that. Wenzel s dedicated syntax is elegant, replacing for example eight simpli cation tactics with a single method, namely simp, with associated - tions. The book has three parts. The rst part, Elementary Techniques, shows how to model functional programs in higher-order logic. Early examples involve lists and the natural numbers. Most proofs are two steps long, consisting of induction on a chosen variable followed by the auto tactic. But even this elementary part covers such advanced topics as nested and mutual recursion. The second part, Logic and Sets, presents a collection of lower-level tactics that you can use to apply rules selectively. It also describes I- belle/HOL s treatment of sets, functions, and relations and explains how to de ne sets inductively. One of the examples concerns the theory of model checking, and another is drawn from a classic textbook on formal languages. 240 pp. Englisch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540433988ISBN 13: 9783540433989
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -So halten Sie Ihr Wissen einfach up-to-date:- Topaktuelle Beiträge aus der FacharztZeitschrift Der Gynäkologe- Didaktisch hervorragend aufgearbeitet- Themen, u.a. bildgebende Diagnostik der Mamma, Notfälle in der Geburtshilfe, tubare SterilitätDamit bereiten Sie sich optimal auf die Facharzt-Prüfung vor und sichern Ihre Fachkompetenz mit fundierter Fortbildung. 252 pp. Deutsch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540430148ISBN 13: 9783540430148
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Kopplung von metallkundlichem und produktionstechnischem Fachwissen mit numerischen Methoden zur Lösung von praktischen Aufgabenstellungen ist dem Autor hervorragend gelungen. Der Leser findet die vollständige Kette von der technisch-wissenschaftlichen Problemstellung über die Generierung des Modellansatzes, die Auswahl geeigneter numerischer Methoden bis zur Lösung der Aufgabenstellung. Die Lösungsansätze aus den Fachgebieten Werkstoffkunde, Schweißtechnik, Umformtechnik usw. sind einfach nachzuvollziehen. Darüber hinaus verweist der Autor auf große in der Praxis angewendete Finite-Elemente-Programme. Das Werk schließt die Lücke zwischen dem theoretischen Lehrbuchwissen und den in der Praxis geforderten Kenntnissen. Mit Hilfe der 160 beliebig modifizierbaren Anwendungsbeispiele auf der CD-ROM lässt sich der Stoff vertiefen. TOC:Einführung in die Modellierung.- Beschreibung von Computeralgebrasystemen.- Überblicksdarstellungen der wichtigsten numerischen Methoden.- Anwendung dieser Methodik in den Bereichen Werkstoffkunde bzw. -entwicklung.- Umformtechnik.- Schweißtechnik.- Gießereitechnik.- Bauteilauslegung.- Prozessoptimierung. Die CD enthält über 100 lauffähige und vom Benutzer veränderbare Programme, die den Lehrstoff spielerisch vertiefen helfen. 416 pp. Deutsch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540431551ISBN 13: 9783540431558
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Bemessungsnorm für den Stahlbeton- und Spannbetonbau DIN 1045 wurde im Jahr 2002 bauaufsichtlich eingeführt. Im August 2008 erschien die überarbeitete Fassung dieses Regelwerks. Mit der zweiten Auflage dieses Buchs wird den damit einhergehenden Veränderungen in der Bemessung Rechnung getragen. Zudem wird auf das parallel entwickelte europäische Regelwerk EN 1992 (Eurocode 2) Bezug genommen. Zahlreiche Anwendungsbeispiele verdeutlichen die Umsetzung der formalen Nachweise. Der Index hilft Lesern, die gewünschten Inhalte zielsicher aufzufinden. 392 pp. Deutsch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540426329ISBN 13: 9783540426325
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This publication deals with two hot challenges for project managers and testers. The first one is to deliver a software product within a competitive time and with a satisfying quality to the customer. The second is to deal with the growing complexity of software applications using Internet technology. Network infrastructure beyond the control of individual development projects is to be integrated as well as legacy software, security, and Web technology. Due to faster development cycles the quality of an application has to be monitored during operation, since the usage of the application and the technology around it might change from day to day. The book compiles experiences from different industries and perspectives. Its goal is to give practical insights into high-tech software development projects of today. 308 pp. Englisch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540436146ISBN 13: 9783540436140
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Inference control in statistical databases, also known as statistical disclosure limitation or statistical confidentiality, is about finding tradeoffs to the tension between the increasing societal need for accurate statistical data and the legal and ethical obligation to protect privacy of individuals and enterprises which are the source of data for producing statistics. Techniques used by intruders to make inferences compromising privacy increasingly draw on data mining, record linkage, knowledge discovery, and data analysis and thus statistical inference control becomes an integral part of computer science.This coherent state-of-the-art survey presents some of the most recent work in the field. The papers presented together with an introduction are organized in topical sections on tabular data protection, microdata protection, and software and user case studies. 244 pp. Englisch.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540436316ISBN 13: 9783540436317
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the revised version of papers presented at VMCAI 2002, theThirdInternationalWorkshoponVeri cation,ModelChecking,andAbstract Interpretation, Venice (Italy), January 21-22, 2002. Themaingoaloftheworkshopwastogiveanoverviewofthemaindirections decisive for the growth and cross-fertilization of major research activities in programanalysis and veri cation. TheVMCAIserieswasstartedin1997withtheaimofgatheringresearchers interestedininvestigatingsimilaritiesanddi erencesamongthesethreeresearch methodologies, that may be summarized as follows: - programveri cationaimsatprovingthatprogramsmeettheirspeci cations, i.e., that the actual programbehavior correspondsto the desired one. - model checking is a speci c approach to the veri cation of temporal pr- erties of reactive and concurrentsystems, which has been very successful in the area of nite-state programs. - abstract interpretation is a method for designing and comparing semantics ofprogram,expressingvarioustypes ofprogramproperties;in particular,it has been successfully usedto infer run-time programproperties that canbe valuable in optimizing programs. Theprogramcommitteeselected22papersoutof41submissionsonthebasis of at least 3 reviews. The principal selection criteria were relevance, quality, and clarity. The resulting volume o ers the reader an interesting perspective of the current research trends in the area. In particular, the papers contribute to the following topics: Security and Protocols, Timed Systems and Games, Static Analysis, Optimizations, Types and Veri cation, and Temporal Logics and Systems. The quality of the papers, the interesting discussions at the workshop, and the friendly atmosphere enjoyed by all participants in Venice, encouraged us in the projectofmakingVMCAI anannualprivilegedforumfor researchersin the area. Specialthanksareduetotheinstitutionsthatsponsoredtheevent:theC- puter Science Department of the University Ca Foscari, the European Asso- ation for Programming Languages and Systems (EAPLS), the MIUR Project InterpretazioneAstratta,TypeSystemseAnalisiControl-Flow andtheMIUR Project MetodiFormaliperlaSicurezza-MEFISTO .Weareespeciallygra- ful to C. Braghin for her helpful support in organizingthe workshop. 348 pp. Englisch.