springer berlin heidelberg mrz 2004 (108 risultati)

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Nach seinem bekannten und viel verwendeten Buch über gewöhnliche Differentialgleichungen widmet sich der berühmte Mathematiker Vladimir Arnold nun den partiellen Differentialgleichungen in einem neuen Lehrbuch. In seiner unnachahmlich eleganten Art führt er über einen geometrischen, anschaulichen Weg in das Thema ein, und ermöglicht den Lesern so ein vertieftes Verständnis der Natur der partiellen Differentialgleichungen. Für Studierende der Mathematik und Physik ist dieses Buch ein Muss.Wie alle BücherVladimir Arnolds ist dieses Buch voller geometrischer Erkenntnisse. Arnold illustriert jeden Grundsatz mit einer Abbildung.Das Buch behandelt die elementarsten Teile des Fachgebiets and beschränkt sich hauptsächlich auf dasCauchy-Problem unddas Neumann-Problems für die klassischen Lineargleichungen der mathematischen Physik, insbesondere auf die Laplace-Gleichung und die Wellengleichung, wobei die Wärmeleitungsgleichung und die Korteweg-de-Vries-Gleichung aber ebenfalls diskutiert werden. Die physikalische Intuition wird besonders hervorgehoben. Eine große Anzahl von Problemen ist übers ganze Buch verteilt, und ein ganzer Satz vonAufgaben findet sich am Ende. Was dieses Buch so einzigartig macht, ist das besondere Talent Arnolds, ein Thema aus einer neuen, frischen Perspektive zu beleuchten. Er lüftet gerne den Schleier der Verallgemeinerung, der so viele mathematische Texte umgibt, und enthüllt die im wesentlichen einfachen, intuitiven Ideen, die dem Thema zugrunde liegen. Das kann er besser als jeder andere mathematische Autor. 188 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Zur Grundausbildung in Mathematik gehört heute neben der Linearen Algebra, der Differential- und Integralrechnung und den Differentialgleichungen auch stets eine Einführung in die Funktionentheorie, also in die Theorie der analytischen Funktionen einer komplexen Veränderlichen. Das vorliegende Lehrbuch ist in Umfang und Schwierigkeitsgrad auf das Grundstudium ausgerichtet. Das Buch behandelt die wichtigsten Begriffe und Sätze, einschließlich des Residuenkalküls, bis hin zum Satz von Mittag-Leffler, zum Weierstraßschen Produktsatz und zum Riemannschen Abbildungssatz. Zahlreiche Figuren und kommentierte Übungsaufgaben erleichtern das Durcharbeiten dieser prägnanten, kurzgefaßten Einführung. 136 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In diesem Buch werden mathematische Grundlagen und Teilgebiete der Analysis behandelt, deren Kenntnis zum Lösen ökonomischer Probleme in Wissenschaft und Praxis unentbehrlich ist. Der Autor begründet Begriffe und Methoden aus ihren anschaulichen Quellen heraus und zeigt die konstruktiven Aspekte der Mathematik auf. Beweise werden nur dann geführt, wenn sie unmittelbar zum Verständnis beitragen.Zahlreiche Beispiele, darunter viele ökonomische Anwendungsfälle und Kontrollaufgaben, erleichtern das Verständnis und machen den Leser mit den Rechentechniken vertraut. 380 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Studienanfänger müssen die makroökonomischen Zusammenhänge verstehen: Wachstum, Konjunktur, Beschäftigung, Inflation, Wechselkurse, Aktienkurse usw. Das Buch macht mit dem analytischen Werkzeug vertraut, das die Wirtschaftswissenschaften zum Verständnis dieser Fragen liefert. Die Autoren bauen sukzessive ein komplexes makroökonomisches Modell auf,mikroökonomisch fundiertund den Arbeits-, Güter-, Kapital-, Geld- und sogar den Aktienmarkt beinhaltend.Die Hauptthese: die Methoden der Mikroökonomik sind ideal zur Analyse der Fragestellungen der Makroökonomik. Durch Fallstudien illustriert. 204 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Quantum probability and the theory of operator algebras are bothconcerned with the study of noncommutative dynamics. Focusing on stationary processes with discrete-time parameter, this book presents (without many prerequisites) some basic problems of interest to both fields, ontopicsincluding extensions and dilations of completely positive maps, Markov property and adaptedness, endomorphisms of operator algebras and the applications arising from the interplay of these themes. Much of the material isnew, but many interestingquestions are accessible even to the reader equipped only with basic knowledge of quantum probability and operator algebras. 180 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die mehrbändige Technische Informatik bietet einen verständlichen Einstieg in dieses wichtige Teilgebiet der Informatik. Leser mit unterschiedlichen Vorkenntnissen gewinnen schrittweise einen Überblick über die in Studium und Beruf benötigten elektrotechnischen und elektronischen Grundlagen. Auf dieser Basis werden Komponenten und Strukturen von heutigen Computersystemen eingeführt. Für die 3. Auflage wurden weitere Aufgaben, besonders auch zu HADES, neu aufgenommen. Der Übungsband dient zur Einübung und Vertiefung des in den Lehrbüchern Technische Informatik 1 und 2 dargebotenen Stoffes. Die Rechenaufgaben mit Lösungen beziehen sich vor allem auf die physikalischen Grundlagen. Die komplexeren Problemstellungen in der Computertechnik werden mit den Simulationsprogrammen gelöst, die die Autoren auf ihrer Homepage zur Verfügung stellen. 296 pp. Deutsch.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Aus den Besprechungen: 'Wodurch unterscheidet sich das hiermit begonnene Lehrwerk der Analysis von zahlreichen anderen . exzellenten Werken dieser Art . (1) die ausführliche Berücksichtigung des Warum und Woher, der historischen Gesichtspunkte .; (2) die Anerkennung der Existenz des Computers. Der Autor verschließt sich nicht vor der Tatsache, daß die Computermathematik (hier vor allem verstanden als numerische Mathematik) oft interessante Anwendungen der klassischen Analysis bietet. . (3) die große Fülle von Beispielen und nicht-trivialen (aber lösbaren) Übungsaufgaben, sowie (4) der häufige Bezug zu den Anwendungen. . Sogar die Theorie der gewöhnlichen Differentialgleichungen, vor der manche Lehrbuchautoren eine unüberwindliche Scheu zu haben scheinen, ist gut lesbar dargestellt, mit vernünftigen Anwendungen. . kann das Buch jedem Studierenden der Mathematik wegen der Fülle des Gebotenen und wegen des geschickten didaktischen Aufbaus auf das Wärmste empfohlen werden.'ZAMP.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ursache und Wirkung verstehenStatistik ganz praxisnah- Bedeutung und Interpretation statistischer und epidemiologischer Verfahren in der Erforschung psychischer Störungen- Statistische Ansätze und Methoden einfach und verständlich erklärt- Viele Anwendungsbeispiele aus der klinischen Psychologie und Psychiatrie- Lösungen für konkrete Probleme im Forschungsalltag- Ein wichtiges Vademekum für Statistiker, Mediziner, Psychologen und Psychiater 176 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dieses zweibändige Lehrbuch stellt das Gesamtgebiet der partiellen Differentialgleichungen - vom elliptischen, parabolischen und hyperbolischen Typ - in zwei und mehreren Veränderlichen vor. Im vorliegenden ersten Band werden folgende Themen behandelt: Integration auf Mannigfaltigkeiten, funktionalanalytische Grundlagen, Brouwerscher Abbildungsgrad, verallgemeinerte analytische Funktionen, Potentialtheorie und Kugelfunktionen, lineare partielle Differentialgleichungen. Während in diesem Band die partiellen Differentialgleichungen mit Integraldarstellungen gelöst werden, sollen im nächsten Band funktionalanalytische Lösungsmethoden vorgestellt werden. Dieses Lehrbuch kann daher für einen mehrsemestrigen Kurs verwendet werden. Fortgeschrittene Leser können jedes Kapitel auch unabhängig voneinander studieren. 432 pp. Deutsch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -o Erstmals veröffentlichte Zeitdokumente und bisher unbekannte Einstein-Dokumenteo Von einem Wissenschaftshistoriker sorgfältig analysiert und kommentierto Übersichtlich gestaltet und mit zahlreichen Fotos ausgestattet'Einsteins Akte' ist ein faszinierendes Dokument der deutschen Zeit- und Wissenschaftsgeschichte, das den Platz Einsteins in der Politik des Kaiserreichs, der Weimarer Republik und des Dritten Reichs beleuchtet.Das Buch basiert auf der Analyse verschiedener Akten über Einstein, überwiegend aber der Akte 'Einsteins Relativitätstheorie', die so exakt, umfangreich und vielseitig wie keine andere die Komplexität der Vorgänge um Einstein erfaßt.Aus Primärquellen rekonstruiert der Autor das politische und gesellschaftliche Geschehen dieser Zeit, in dessen Verlauf Einstein gefördert, angefeindet und schließlich vertrieben wurde. Ein wichtiger Beitrag zum Verständnis für Einsteins Bruch mit Deutschland. 684 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Autoren legen eine Übersicht über die wichtigsten Inhalte der relevanten Gesetze, Vorschriften, Normen, Regeln und Richtlinienvor. Dazu gehören z.B. das Arbeitssicherheitsgesetz, das Arbeitsschutzgesetz,die Betriebssicherheitsverordnung, die Arbeitsstättenverordnung, viele wichtige BG-Vorschriften, die Bildschirmarbeitsverordnung, das Gerätesicherheitsgesetzoder die Baustellenverordnung.Wer sich beruflich mit sicherheitstechnischen Themen beschäftigt, benötigt diesen umfassenden Überblick. Das Handbuch wendet sich an den betrieblichen Praktiker im Unternehmen und gibt Tipps für die Umsetzung im betrieblichen Alltag. Die Autoren Friedl und Kaupa sind selber zu Sicherheitsfragen an Einrichtungen, Gebäuden und Arbeitsstätten beratend tätig und verfügen daher über langjährige Projekterfahrung.Zum besseren Überblick, wie unterschiedlicheArbeitsbereiche und Räumlichkeiten in Richtung Brandschutz, Ergonomie, Arbeitsschutz und ggf. auch Strahlen- und Umweltschutz zu gestalten sind, stellen die Autorendie wesentlichen Anforderungenzusammen.Jedes Unternehmen - ob ein kleines Büro, ein Handwerksbetrieb oder ein Konzernunternehmen - muß sich mit diesen Fragen auseinandersetzen. Der Überblick über die wichtigen Vorschriften wird in diesem Buch gegeben. 284 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Halten Sie Ihr Fachwissen up-to-date! 11 Beiträge aktueller Themen aus der Facharztzeitschrift DER ANAESTHESIST stellen die Grundlage für Ihre Fort- und Weiterbildung dar, u.a.: Plexusanästhesie, Analgesie zur Geburtshilfe, Medikamenteninteraktionen für den Anästhesisten. 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 Anästhesist in der täglichen Arbeit unterstützt. 192 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ob man gelegentlicher e-Bay-Schnäppchenjäger ist oder Powerseller - die Rechtslage für Online-Auktionen auf der weltweiten Internet-Plattform zu kennen, lohnt sich für alle. Damit es keine bösen Überraschungen gibt, wenn die Ware mangelhaft ist oder der Kunde abspringt.In diesem Rechtsratgeber finden Sie die Antworten zu allen Fragen aus der Praxis, was Gewährleistung, internationales Handeln oder auch Abmahnungen angeht. Für den richtigen Überblick gibt es Checklisten zu den häufigsten Situationen. Die Autoren sind spezialisiert auf Internet-Recht, und auf eBay-Workshops tätig. Mit diesem Wissen bieten Sie beim nächsten Mal sicher mit Erfolg! 280 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dieses Buch gibt eine systematische Einführung in die grundlegenden Ideen und Konzepte der Wahrscheinlichkeitsrechnung. Die Darstellung ist elementar, d.h. ohne maßtheoretische Hilfsmittel und unter Verzicht auf größtmögliche Allgemeinheit. Der Weckung eines intuitiven Verständnisses wird im Zweifelsfall der Vorzug vor mathematischer Strenge gegeben. Die wesentlichen Begriffe und Resultate werden zunächst für diskrete Experimente eingeführt, und dabei stets an Beispielen illustriert. Im zweiten Teil des Buches stehen dichte-verteilte Zufallsvariablen im Mittelpunkt. Dabei werden u.a. die wichtigsten Verteilungen der parametrischen Statistik eingeführt und die wesentlichen Rechentechniken behandelt.Für die zweite Auflage wurde ein Kapitel über die Grundbegriffe der Testtheorie hinzugefügt. 324 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers from the workshop 'Radical Innovations of Software and Systems Engineering in the Future.' This workshop was the ninth in the series of Monterey Software Engineering workshops for formulating and advancing software engineering models and techniques, with the fundamental theme of increasing the practical impact of formal methods. During the last decade object orientation was the driving factor for new system solutions in many areas ranging from e-commerce to embedded systems. New modeling languages such as UML and new programming languages such as Java and CASE tools have considerably in uenced the system development techniques of today and will remain key techniques for the near future. However, actual practice shows many de ciencies of these new approaches: - there is no proof and no evidence that software productivity has increased with the new methods; - UML has no clean scienti c foundations, which inhibits the construction of powerful analysis and development tools; - support for mobile distributed system development is missing; - formanyapplications,object-orienteddesignisnotsuitedtoproducingclean well-structured code, as many applications show. 376 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is not a science book, nor even a book about science, although most of the contributors are scientists. It is a book of personal stories about Walter Kohn, a theoretical physicist and winner of half of the 1998 Nobel Prize in Chemistry. Walter Kohn originated and/or refined a number of very important theoretical approaches and concepts in solid-state physics. He is known in particular for Density-Functional Theory. This book represents a kind of 'oral history' about him, gathered - in anticipation of his 80th birthday - from former students, collaborators, fellow-scientists, and friends. 328 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The experimental and theoretical investigation of nuclei far from the valley of beta-stability is the main subject of modern nuclear structure research. Although the most successful nuclear structure models are purely phenomenological, they nevertheless exploit basic properties of QCD at low energies. This book focuses on the current efforts to bridge the gap between phenomenology and the principles derived from QCDusing the extended density functional approach which is based on the successful DFT methods to tackle similarly complex interacting systems in molecular and condensed matter physics.Conceived as a series of pedagogical lectures, this volume addresses researchers in the field as well as postgraduate students and non-specialized scientists from related areas who seek a high-level but accessible introduction to the subject. 392 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -After Ole-Johan's retirement at the beginning of the new millennium, some of us had thought and talked about making a 'Festschrift' in his honor. When Donald Knuth took the initiative by sending us the rst contribution, the p- cess began to roll! In early 2002 an editing group was formed, including Kristen Nygaard, who had known Ole-Johan since their student days, and with whom he had developed the Simula language. Then we invited a number of prominent researchers familiar with Ole-Johan to submit contributions for a book hon- ing Ole-Johan on the occasion of his 70th birthday. Invitees included several members of the IFIP 2. 3 working group, a forum that Ole-Johan treasured and enjoyedparticipating in throughouthis career. In spite of the shortdeadline, the response to the invitations was overwhelmingly positive. The original idea was to complete the book rather quickly to make it a gift he could read and enjoy, because by then he had had cancer for three years, and his health was gradually deteriorating. Kristen had been regularly visiting Ole-Johan,who was in the hospitalat that time, and they were workingon their Turing award speech. Ole-Johan was grati ed to hear about the contributions to this book, but modestly expressed the feeling that there was no special need to undertake a book project on his behalf. Peacefully accepting his destiny, Ole- Johan died on June 29, 2002. 404 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Multimedia Applications discusses the basic characteristics of multimedia document handling, programming, security, human computer interfaces, and multimedia application services. The overall goal of the book is to provide a broad understanding of multimedia systems and applications in an integrated manner: a multimedia application and its user interface must be developed in an integrated fashion with underlying multimedia middleware, operating systems, networks, security, and multimedia devices.Fundamental information and properties of hypermedia document handling, multimedia security and various aspects of multimedia applications are presented, especially about document handling and their standards, programming of multimedia applications, design of multimedia information at human computer interfaces, multimedia security challenges such as encryption and watermarking, multimedia in education, as well as multimedia applications to assist preparation, processing and application of multimedia content. 264 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ETAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), 23 satellite workshops, 1 tutorial, and 7 invited lectures (not including those that are speci c to the satellite events). The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools that support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues inv- ved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. 548 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 16th IFIP TC6/WG6.1 Inter- tional Conference on Testing of Communicating Systems (TestCom 2004). This conference was held at St Anne s College, Oxford, UK, from March 17 to March 19, 2004. TestCom 2004 was the sixteenth in a series of IFIP-sponsored events that started in 1988. The previous events were held in Vancouver, Canada (1988); B- lin, Germany (1989); McLean, USA (1990); Leidschendam, Netherlands (1991); Montreal, Canada (1992); Pau, France (1993); Tokyo, Japan (1994); Evry, France (1995); Darmstadt, Germany (1996); Cheju Island, Korea (1997); Tomsk, R- sia (1998); Budapest, Hungary (1999); Ottawa, Canada (2000); Berlin, Germany (2002); and Sophia Antipolis, France (2003). TestCom was not held in 2001 since at this point the conference moved from autumn to spring. TestCom 2004 was organized by Brunel University, UK and LSR-IMAG, France and was sponsored by IFIP. Support was also provided by the Engineering and Physical Sciences Research Council (EPSRC). We are grateful to the keynote speaker, Prof. Sir Tony Hoare, FRS, and our invited speakers for agreeing to address TestCom 2004. 244 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Soft matter and biological systems pose many challenges for theoretical, experimental and computational research. From the computational point of view, these many-body sytems cover variations in relevant time and length scales over many orders of magnitude. Indeed, the macroscopic properties of materials and complex fluids are ultimately to be deduced from the dynamics of the microsopic, molecular level. In these lectures, internationally renowned experts offer a tutorial presentation of novel approaches for bridging these space and time scales in realistic simulations. This volume addresses graduate students and nonspecialist researchers from related areas seeking a high-level but accessible introduction to the state of the art in soft matter simulations. 412 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -As information handling systems get more and more complex, it becomes increasingly difficult to manage them using traditional approaches based on centralized and pre-defined control mechanisms. Over recent years, there has been a significant increase in taking inspiration from biology, the physical world, chemistry, and social systems to more efficiently manage such systems - generally based on the concept of self-organisation; this gave rise to self-organising applications.This book constitutes a reference and starting point for establishing the field of engineering self-organising applications. It comprises revised and extended papers presented at the Engineering Self-Organising Applications Workshop, ESOA 2003, held at AAMAS 2003 in Melbourne, Australia, in July 2003 and selected invited papers from leading researchers in self-organisation. The book is organized in parts on applications, natural metaphors (multi-cells and genetic algorithms, stigmergy, and atoms and evolution), artificial interaction mechanisms, middleware, and methods and tools. 316 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -DILS 2004 (Data Integration in the Life Sciences) is a new bioinformatics wo- shop focusing on topics related to data management and integration. It was motivated by the observation that new advances in life sciences, e. g. , molecular biology, biodiversity, drug discovery and medical research, increasingly depend on bioinformatics methods to manage and analyze vast amounts of highly - verse data. Relevant data is typically distributed across many data sources on the Web and is often structured only to a limited extent. Despite new inter- erability technologies such as XML and web services, integration of data is a highly di cult and still largely manual task, especially due to the high degree of semantic heterogeneity and varying data quality as well as speci c application requirements. The call for papers attracted many submissions on the workshop topics. - ter a carefulreviewing processthe internationalprogramcommittee accepted 13 long and 2 short papers which are included in this volume. They cover a wide spectrum of theoretical and practical issues including scienti c/clinical wo- ows, ontologies, tools/systems, and integration techniques. DILS 2004 also f- tured two keynote presentations, by Dr. Thure Etzold (architect of the leading integration platform SRS, and president of Lion Bioscience, Cambridge, UK) and Prof. Dr. Svante Pa abo (Director, Max Planck Institute for Evolutionary Anthropology, Leipzig). The workshop took place during March 25 26, 2004, in Leipzig, Germany, and was organized by the Interdisciplinary Bioinformatics Center (IZBI) of the Universityof Leipzig. 236 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the proceedings of the 2nd International Conference on TrustManagement,heldinOxford,UK,during29March 1April2004.Thec- ference followed a very successful 1st International Conference on Trust Ma- gement held in Crete in 2003. Both conferences were organized by iTrust, which is a working group funded as a thematic network by the Future and Emerging Technologies (FET) unit of the Information Society Technologies (IST) program of the European Union. The purpose of the iTrust working group is to provide a forum for cro- disciplinary investigation of the applications of trust as a means of increasing security, building con dence and facilitating collaboration in dynamic open - stems. The notion of trust has been studied independently by di erent academic disciplines, which has helped us to identify and understand di erent aspects of trust. The aim of this conference was to provide a common forum, bringing together researchers from di erent academic branches, such as the technolo- oriented disciplines, law, social sciences and philosophy, in order to develop a deeper and more fundamental understanding of the issues and challenges in the area of trust management in dynamic open systems. The response to this conference was excellent; from the 48 papers submitted to the conference, we selected 21 full papers and 6 short papers for presentation. Theprogramalsoincludedthreekeynoteaddresses,givenbyJe Bradshawfrom theInstituteforHumanandMachineCognitionattheUniversityofWestFlorida (USA), Ian Walden who is Director of the Computer-Related Crime Research Centre at Queen Mary, University of London (UK), and Massimo Marchiori from the World Wide Web Consortium, as well as three panels and a full day of tutorials. 396 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Where is system architecture heading The special interest group on Computer and Systems Architecture (Fachausschuss Rechner- und Systemarchitektur) of the German computer and information technology associations GI and ITG a- ed this question and discussed it during two Future Workshops in 2002. The result in a nutshell: Everything will change but everything else will remain. Future systems technologies will build on a mature basis of silicon and IC technology,onwell-understoodprogramminglanguagesandsoftwareengineering techniques, and on well-established operating systems and middleware concepts. Newer and still exotic but exciting technologies like quantum computing and DNA processing are to be watched closely but they will not be mainstream in the next decade. Although there will be considerable progress in these basic technologies, is there any major trend which uni es these diverse developments There is a common denominator - according to the result of the two - ture Workshops - which marks a new quality. The challenge for future systems technologies lies in the mastering of complexity. Rigid and in exible systems, built under a strict top-down regime, have reached the limits of manageable complexity, as has become obvious by the recent failure of several large-scale projects. Nature is the most complex system we know, and she has solved the problem somehow. We just haven't understood exactly how nature does it. But it is clear that systems designed by nature, like an anthill or a beehive or a swarm of birds or a city, are di erent from today's technical systems that have beendesignedbyengineersandcomputerscientists. 356 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Evolutionary Computation (EC) involves the study of problem solving and op- mization techniques inspired by principles of natural evolution and genetics. EC has been able to draw the attention of an increasing number of researchers and practitioners in several elds. Evolutionary algorithms have in particular been showntobee ectivefordi cultcombinatorialoptimizationproblemsappearing in various industrial, economic, and scienti c domains. This volume contains the proceedings of EvoCOP 2004, the 4th European ConferenceonEvolutionaryComputationinCombinatorialOptimization.Itwas held in Coimbra, Portugal, on April 5 7, 2004, jointly with EuroGP 2004, the 7th European Conference on Genetic Programming, and EvoWorkshops 2004, which consisted of the following six individual workshops: EvoBIO, the 2nd - ropean Workshop on Evolutionary Bioinformatics; EvoCOMNET, the 1st - ropean Workshop on Evolutionary Computation in Communications, Networks, and Connected Systems; EvoHOT, the 1st European Workshop on Hardware Optimisation; EvoIASP, the 6th European Workshop on Evolutionary Com- tation in Image Analysis and Signal Processing; EvoMUSART, the 2nd Eu- pean Workshop on Evolutionary Music and Art; and EvoSTOC, the 1st Eu- pean Workshop on Evolutionary Algorithms in Stochastic and Dynamic En- ronments. 256 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In the mid 1960s, when a single chip contained an average of 50 transistors, Gordon Moore observed that integrated circuits were doubling in complexity every year. In an in uential article published by Electronics Magazine in 1965, Moore predicted that this trend would continue for the next 10 years. Despite being criticized for its 'unrealistic optimism,' Moore's prediction has remained valid for far longer than even he imagined: today, chips built using state-- the-art techniques typically contain several million transistors. The advances in fabrication technology that have supported Moore's law for four decades have fuelled the computer revolution. However,this exponential increase in transistor density poses new design challenges to engineers and computer scientists alike. New techniques for managing complexity must be developed if circuits are to take full advantage of the vast numbers of transistors available. In this monograph we investigate both (i) the design of high-level languages for hardware description, and (ii) techniques involved in translating these hi- level languages to silicon. We propose SAFL, a rst-order functional language designedspeci callyforbehavioralhardwaredescription,anddescribetheimp- mentation of its associated silicon compiler. We show that the high-level pr- erties of SAFL allow one to exploit program analyses and optimizations that are not employed in existing synthesis systems. Furthermore, since SAFL fully abstracts the low-leveldetails of the implementation technology, we show how it can be compiled to a range of di erent design styles including fully synchronous design and globally asynchronous locally synchronous (GALS) circuits. 216 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4-7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of the county of Kent. Kent is situated in the southeast of England, and the university sits on a hill overlooking the city of Canterbury and its world-renowned cathedral. The UniversityofKentwasgranteditsRoyalCharterin1965.Todaytherearealmost 10,000 full-time and part-time students, with over 110 nationalities represented. The IFM meetings have proven to be particularly successful. The rst m- ting was held in York in 1999, and subsequently we held events in Germany in 2000, and then Finland in 2002. The conferences are held every 18 months or so, and attract a wide range of participants from Europe, the Americas, Asia and Australia. The conference is now rmly part of the formal methods conference calendar. The conference has also evolved in terms of themes and subjects - presented, and this year, in line with the subject as a whole, we saw more work on veri cation as some of the challenges in this subject are being met. The work reported at IFM conferences can be seen as part of the attempt to manage complexity by combining paradigms of speci cation and design, so that the most appropriate design tools are used at di erent points in the life-cycle. 560 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually, our systems appear to work successfully, but there are sometimes serious, and often minor, errors. Validated computing is one essential technology to achieve increased software reliability. Formal - gor in the de nition of data types, the computer arithmetic, in algorithm design, and in program execution allows us to guarantee that the stated problem has (or does not have) a solution in an enclosing interval we compute. If the enclosure is narrow, we are certain that the result can be used. Otherwise, we have a clear warning that the uncertainty of input values might be large and the algorithm and the model have to be improved. The use of interval data types and al- rithms with controlled rounding and result veri cation capture uncertainty in modeling and problem formulation, in model parameter estimation, in algorithm truncation, in operation round-o , and in model interpretation. The techniques of validated computing have proven their merits in many scienti c and engineering applications. They are based on solid and interesting theoretical studies in mathematics and computer science. Contributions from elds including real, complex and functional analysis, semigroups, probability, statistics,fuzzyintervalanalysis,fuzzylogic,automaticdi erentiation,computer hardware, operating systems, compiler construction, programming languages, object-oriented modeling, parallel processing, and software engineering are all essential. 332 pp. Englisch.