springer apr 2002 (118 Ergebnisse)

Buch. Zustand: Neu. 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).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Eine optimale Balance zwischen Erfahrung und Innovation ist ein wesentlicher Ausgangsfaktor für erfolgreiche Softwareentwicklung. Gerade in Teams mit Quereinsteigern, erfahrenen Informatikern und Neueinsteigern kommt es häufig entlang von Generationsfolgen verschiedener Softwarekonzepte und Programmiersprachen zu Vorurteilen, die den Arbeitserfolg behindern oder gar vereiteln. Durch gegenseitige Vorurteile werden Kontakte und der Erfahrungsaustausch im Team nicht gefördert. Als Folge tritt in vielen Unternehmen tendenziell eine Trennung der verschiedenen Softwareteams nach Altersgruppen auf.Die Autoren untersuchen die Gründe dieser Entwicklung. Sie entwickeln Konzepte zur Verbesserung der Teamstruktur und damit zu einer Optimierung des Softwareentwicklungsprozesses im Unternehmen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Deutsch.

Taschenbuch. Zustand: Neu. 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 fact that 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Taschenbuch. Zustand: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Deutsch.

Buch. Zustand: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Deutsch.

Taschenbuch. Zustand: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 640 pp. Deutsch.

Taschenbuch. Zustand: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Deutsch.

Taschenbuch. Zustand: 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Deutsch.

Buch. Zustand: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Halten Sie Ihr Fachwissen up-to-date! Beiträge aktueller Themen aus der Facharztzeitschrift Monatsschrift Kinderheilkunde stellen die Grundlage für Ihre Fort- und Weiterbildung dar. Mit diesen didaktisch hervorragend aufbereiteten Beiträgen können Sie sich optimal auf die Facharztprüfung vorbereiten: Prüfer wie Geprüfte! Ein Werk, das Ihre Fachkompetenz als Pädiater in der täglichen Arbeit unterstützt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Dieses Buch ist eine umfassende Einführung in die Konzeption und Konstruktion von autonomen mobilen Robotern. Dem Leser werden die Grundlagen dieses komplexen Gebiets anhand von 12 detaillierten Fallstudien vermittelt, die den Bau und die Programmierung von Robotern in der Praxis beschreiben. Dieses Buch wendet sich an einen allgemeinen wissenschaftlichen Leserkreis und ist besonders wertvoll für Ingenieure, Informatiker und Studenten im Bereich der Robotik, der Künstlichen Intelligenz, und der Kognitionswissenschaften.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Deutsch.

Taschenbuch. Zustand: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Zustand: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Deutsch.

Taschenbuch. Zustand: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Deutsch.

Buch. Zustand: Neu. 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. Advances in Finance and Stochastics 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. The topics span risk management, portfolio theory and multi-asset derivatives, market imperfections, interest-rate modelling and exotic options.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Many introductory books on mathematical finance also outline some com puter algorithms. My goal is to contribute a closer look at algorithmic issues that arise from complex forms of the underlying pricing models-issues many practitioners need to solve sooner or later in their careers. This book takes such a close look at uncertain volatility models, an exten sion of Black-Scholes theory.It discusses applications to exotic option portfo lios with barriers and early exercise features. It describes an object-oriented C++ solution, included in source code on the accompanying CD. Practitioners and students who need to build analytic software libraries may benefit from reading this book and studying the software. The book focuses on a family of mathematical models, while in the field one encounters greater variation in instrument properties. In both cases mathematical and financial knowledge must be complemented by good programming skills to produce the best system. Analytic software needs design-a central message of the later chapters of this book. This book has come out of my Ph.D. thesis. I am very grateful to my academic advisor, Marco Avellaneda of New York University, who taught me mathematical finance and uncertain volatility. Computational finance be came exciting for me because Marco encouraged an algorithmic approach to uncertain volatility. I thank Afshin Bayrooti, Vladimir Finkelstein, and Antonio Paras for giving valuable feedback. Antonio is the co-inventor of the original uncertain volatility model, A-UVM. Richard Holmes has found a crucial bug in an early implementation of the software.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Buch. Zustand: Neu. Neuware -An understanding of modern computer logic - incorporating core knowledge of number systems, number conversions, Boolean algebra, memories, and logic circuits - is fundamental to further study of computer architectures, system software, and computer networks. Computer Logic: Design Principles and Applications introduces and describes the relevant concepts, principles and applications of modern computer logic design. The book is self-contained, with an introductory chapter that concisely covers the history of computing devices, as well as number systems, number conversions, signed and unsigned integers, external code, and digital and digitizing concepts. Dedicated chapters on Boolean algebra, transistor circuits, combinatorial logic circuits, and sequential logic circuits round off the work. The emphasis is on design and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Zustand: Neu. 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.

Taschenbuch. Zustand: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Taschenbuch. Zustand: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Zustand: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch.

Taschenbuch. Zustand: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Zustand: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book addresses a subject at the crossing point of two lines of investi gation - synergetics and modern nonlinear optics. First, the book is devoted to optical patterns that previously were mainly attributed to the display of instabilities of homogeneous field distributions. Second, we deal with optical bistability and hysteresis, which historically were studied predominantly for point (lumped, spatially nondistributed) systems. In the book, which seems to be the first monograph devoted to opti cal patterns, I attempt to demonstrate that the variety of optical patterns and other synergetical phenomena is especially rich in spatially distributed bistable systems, and that instabilities of homogeneous states are not neces sary for the formation of the patterns. Of special interest are patterns such as dissipative optical solitons, which individually have particle-like features and when combined resemble molecules, crystals, biological objects, and even social groups. Another essential point is the key role of inhomogeneities of bistable sys tems. As for hysteresis, it has been studied mostly in point systems, in which, with fixed characteristics of the input signal, one of several sets of steady state output signal characteristics can form, depending on the prehistory. In spatially distributed optical systems, the kinetics of hysteresis acquires the form of 'spatial hysteresis', or hysteresis of spatial distributions of field char acteristics. This problem of 'stereoscopic vision' of such hysteresis was solved in optical bistability some 20 years ago, and the concepts proposed were later confirmed and expanded.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Buch. Zustand: Neu. Neuware -Term rewriting techniques are applicable in various fields of computer sci ence: in software engineering (e.g., equationally specified abstract data types), in programming languages (e.g., functional-logic programming), in computer algebra (e.g., symbolic computations, Grabner bases), in pro gram verification (e.g., automatically proving termination of programs), in automated theorem proving (e.g., equational unification), and in algebra (e.g., Boolean algebra, group theory). In other words, term rewriting has applications in practical computer science, theoretical computer science, and mathematics. Roughly speaking, term rewriting techniques can suc cessfully be applied in areas that demand efficient methods for reasoning with equations. One of the major problems one encounters in the theory of term rewriting is the characterization of classes of rewrite systems that have a desirable property like confluence or termination. If a term rewriting system is conflu ent, then the normal form of a given term is unique. A terminating rewrite system does not permit infinite computations, that is, every computation starting from a term must end in a normal form. Therefore, in a system that is both terminating and confluent every computation leads to a result that is unique, regardless of the order in which the rewrite rules are applied. This book provides a comprehensive study of termination and confluence as well as related properties.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 436 pp. Englisch.

Buch. Zustand: Neu. Neuware -As e-commerce becomes the norm of business transactions and information be comes an essential commodity, it is vital that extensive efforts be made to examine and rectify the problems with the underlying architectures, processes, methods, that are involved in providing and and tools, as well as organizational structures, utilizing services relating to information technology. Such a holistic view of the relevant structures is required in order to identify all of the key aspects that can affect network security. Unfortunately, today's systems and practices, although they have proved to be useful and become widespread, contain significant unnecessary complexity. This complexity provides many loopholes that make systems and practices vulnerable to malicious attacks by hackers as well as by individual and organized criminals. FUrther, there are enormous risks due to malfunction of the systems. The holes in the network system cannot simply be plugged up by the use of cryptography and firewalls. While many changes need to be made in operating systems and system software with respect to security, this alone does not solve the problem. The problems cannot be solved by addressing only a single key aspect of network security. A holistic approach is required. Sumit Ghosh has provided in this book such a holistic view of the area of network security. Thus, it is a most welcome contribution.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Because today's amateur astronomical telescopes are both powerful and affordable, spectroscopy - once the province of professionals - is becoming more and more popular. Various spectroscopes, at prices to suit everyone, are now available 'off the shelf'. Practical Amateur Spectroscopy contains everything an amateur needs to grasp the basic principles, to begin observing, and to understand just what the spectra show. Contributions by leading practical amateurs from America and Europe cover a very wide range of amateur equipment and techniques. One even describes how an audio CD can be used to show solar emission and absorption lines!Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -TheAdvanced Course onArti cial IntelligenceACAI2001, with the subtitle of ¿Multi- Agent Systems and Their Applications¿, held in Prague, Czech Republic, represented a joint event of ECCAI (the European Coordinating Committee for Arti cial Intel- gence) andAgentLink, the European Network of Excellence forAgent-Based Comp- ing. Whereas ECCAI organizes two-weekACAI courses on different topics each second year, AgentLink¿s European Agent Systems Summer School (EASSS) has been an - nual event since 1999. In 2001, both of these important events were merged, giving weight to the fact that multi-agent systems currently represent one of the hottest topics of AI research. The name, ACAI2001 Summer School, was intended to emphasize that this event continued the tradition of regular ECCAI activities (ACAI), as well as that of the EASSS summer schools ofAgentLink. The PragueACAI Summer School was proposed and initiated by both the Gerstner Laboratory, Czech Technical University, Prague (GL-CTU) and the Czech Society for Cybernetics and Informatics (CSKI), with the support of theAustrian Research Institute forArti cial Intelligence in Vienna (OFAI). One of the most important stimulating factors behind the organization ofACAI2001 wasthesupportprovidedbytheEuropeanCommissiontotheGerstnerLaboratorywithin the frame of the MIRACLE Centre of Excellence project (No. ICA1-CT-2000-70002). Additional support was later provided by both the Commission¿s AgentLink II project (IST-1999-29003) and ECCAI. The combined nancial and conceptual participation of these important international bodies enabled the invitation of a large number of truly world-class lecturers in this eld, who added a unique avor to the event. 396 pp. Englisch.

Taschenbuch. Zustand: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -A quick description of the conjecture The Baum-Connes conjecture is part of Alain Connes'tantalizing 'noncommuta tive geometry' programme [18]. It is in some sense the most 'commutative' part of this programme, since it bridges with classical geometry and topology. Let r be a countable group. The Baum-Connes conjecture identifies two objects associated with r, one analytical and one geometrical/topological. The right-hand side of the conjecture, or analytical side, involves the K theory of the reduced C\*-algebra c;r, which is the C\*-algebra generated by r in 2 its left regular representation on the Hilbert space C(r). The K-theory used here, Ki(C;r) for i = 0, 1, is the usual topological K-theory for Banach algebras, as described e.g. in [85]. The left-hand side of the conjecture, or geometrical/topological side RKf(Er) (i=O,I), is the r-equivariant K-homology with r-compact supports of the classifying space Er for proper actions of r. If r is torsion-free, this is the same as the K-homology (with compact supports) of the classifying space Br (or K(r,l) Eilenberg-Mac Lane space). This can be defined purely homotopically. 120 pp. Englisch.