springer berlin heidelberg mrz 2002 (82 results)

Taschenbuch. Condition: Neu. Neuware -Filmische Abläufe vermitteln Wissen auf eine visuell intensive und faszinierende Art. Dieses Buch ist eine detaillierte Einführung in die Programmierung von Animationen. Sie erschließt Lesern die filmischen Möglichkeiten von 'Mathematica'. Mathematische Visualisierungen in freier Gestaltung spielen auch in künstlerischen Anwendungen eine bedeutende Rolle. Daher wird ausführlich gezeigt, wie Objekte ästhetisch befriedigend dargestellt werden können: für ein ideales Contextverständnis der Leser. 248 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dieses Buch basiert auf Vorlesungen, die der Autor in Kaiserslautern gehalten hat. Ihr wesentliches Anliegen war, die Turing-berechenbaren Wortfunktionen auf eine von jeglichem Maschinenmodell unabhängige Weise zu charakterisieren, nämlich als die partiell Wort-rekursiven Wortfunktionen. Wortfunktionen lassen sich mittels arithmetischer Funktionen darstellen und zwar so, dass die partiell rekursiven arithmetischen Funktionen den partiell Wort-rekursiven Wortfunktionen entsprechen, was für sich gesehen schon nicht auf der Hand liegt. Auf diese Weise erhält man den Begriff der Turing-Berechenbarkeit auch für arithmetische Funktionen. Der Satz also, dass die Turing-berechenbaren Wortfunktionen gerade die partiell rekursiven Wortfunktionen sind, ist überhaupt nicht selbstverständlich, so dass auf dem Wege zu diesem Satz eine ganze Reihe hoch interessanter weiterer Sätze zu beweisen sind. Dies alles ist hier aufgeschrieben. TOC:Partiell rekursive Funktionen.- Beispiele und erste Sätze.- Beispiele aus der Zahlentheorie.- Wertverlaufsrekursion.- Die cantorsche Abzählung von N x N.- Die Gödelfunktion.- Rekursive und rekursiv aufzählbare Mengen.- Rekursive und rekursiv aufzählbare Mengen von Nx.xN (n-fach).- Sparsame Erzeugung der partiell rekursiven Funktionen.- Partiell rekursive Funktionen.- Worthalbgruppen.- Wortmengen und Wortfunktionen.- Rekursive Wortfunktionen.- Kennzeichnung der rekursiven Wortfunktionen.- Turingmaschinen.- Programme.- Finale. 96 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Betriebswirtschaftliche Probleme können oft nur mit Hilfe geeigneter Softwareprodukte gelöst werden. Das vorliegende Buch führt den Leser umfassend in das Gebiet des Business Computing ein. Nach einer grundlegenden Darstellung der Funktionsweise von Computer und Betriebssystem werden u.a. die generischen Aspekte der Standardsoftware behandelt. Der Leser wird weitgehend unabhängig von proprietärer Software mit der Anwendung von Textverarbeitung (einschließlich einfacher Internetapplikationen), Tabellenkalkulation und Datenbank-Management-Systemen vertraut gemacht. Die notwendigen mathematischen Grundlagen und Programmierprinzipien werden knapp erläutert. Hinweise zur Erarbeitung von Präsentationen runden die Darstellung ab. Der Leser lernt, nicht nur unterschiedlichste betriebswirtschaftliche Probleme mit Hilfe von Standardsoftware zu lösen, sondern auch neue Softwareprodukte zu analysieren und die geeigneten für sich auszuwählen. TOC:Grundlagen: Binärdarstellung natürlicher Zahlen; Binärdarstellung allg. Zeichenreihen; Die (universelle) Turing Maschine; Aussagenlogik; Der Von-Neumann-Rechner.- Der moderne Rechner: Allg. Anforderungen; Hardwarekomponenten; Softwarekomponenten; Netzwerkeinbindung.- Das Betriebssystem: Allg. Anforderungen; Die Verzeichnisstruktur; Beispiele für Betriebssysteme; Das Windows(NT)-Betriebssystem.- Textverarbeitung: Historische Entwicklung; Motivation von Beschreibungssprachen; Grammatiken; SGML; XML; HTML; von XML zu HTML; Textverarbeitung mit MS Word; Präsentation mit MS Powerpoint; Erstellung einer einfachen Homepage mit dem Netscape Composer.- Tabellenkalkulation: Allg. Anforderungen; Beispiele; Excel.- Datenbank-Management-System: Das Entity-Relationship-Modell; DBMS-Arten; Allg. Anforderungen; RDBMS im Überblick; Die Datenbasis eines RDBMS; Überführung des ER-Modells ins relationale Modell; SQL und MS Access. 324 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book contains the first systematic exposition of the current known theory of K-loops, as well as some new material. In particular, big classes of examples are constructed. The theory for sharply 2-transitive groups is generalized to the theory of Frobenius groups with many involutions. A detailed discussion of the relativistic velocity addition based on the author's construction of K-loops from classical groups is also included. The first chapters of the book can be used as a text, the later chapters are research notes, and only partially suitable for the classroom. The style is concise, but complete proofs are given. The prerequisites are a basic knowledge of algebra such as groups, fields, and vector spaces with forms. 204 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In diesem Buch werden die Grundlagen partieller Differentialgleichungen sowie mit der Untersuchung numerischer Methoden für diese partiellen Differentialgleichungen in Zusammenhang stehende wichtige Überlegungen vorgestellt. Standardthemen wie Trennung der Variablen, Fourier Analysis, Maximumprinzipien und Energieabschätzungen werden behandelt. Numerische Verfahren werden parallel zur klassischen Theorie vorgestellt. Die Eigenschaften von Differentialgleichungen werden anhand numerischer Experimente veranschaulicht, und die Theorie der finiten Differentialapproximationen wird entwickelt. Numerische Verfahren werden eingeführt, um die Bedeutung des Rechnens bei partiellen Differentialgleichungen zu zeigen und die starke Interaktion zwischen mathematischer Theorie und der Entwicklung numerischer Verfahren zu illustrieren. Besonderer Wert wurde im gesamten Buch auf eine möglichst gleichgewichtige Darstellung der analytischen und der numerischen Verfahren gelegt. TOC:Aus dem Inhalt: Das Problemfeld.- Zweipunkt-Randwertaufgaben.- Die Wärmeleitungsgleichung.- Finite Differenzen für die Wärmeleitungsgleichung.- Die Wellengleichung.- Maximumprinzipien.- Die Poisson-Gleichung in Zweidimensionalen Räumen.- Orthogonalität und allgemeine Fourierreihen.- Konvergenz von Fourierreihen.- Noch einmal die Wärmeleitungsgleichung.- Reaktions-Diffusionsgleichungen.- Anwendungen der Fouriertransformation. 408 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Physik kompakt 2. Elektrodynamik und Elektromagnetische Wellen enthält die Einführung in die Grundlagen der Wechselwirkungen am Beispiel der Gravitation, der Elektrizitätslehre und des Magnetismus, wie sie üblicherweise im zweiten Semester angeboten werden. Die Grundlagen der elektrischen Leitung und die Betrachtungen zu den Erscheinungen des Elektromagnetismus im stofferfüllten Raum sowie die Einführung der zeitabhängigen elektromagnetischen Felder bereiten auf die Vorlesungen zur Wechselstromlehre und Festkörperphysik des Hauptstudiums vor. Zudem werden einfache Gesetze der Vektoranalysis rekapituliert. Der zweite Teil vertieft die Darstellungen um die Wellenlehre und führt hin zur Wellenoptik und der Ausbreitung elektromagnetischer Wellen im Raum. Ergänzt und aufgelockert um Beispiele der praktischen Strahlenoptik und Interferenzerscheinungen liegt die Behandlung von Wellengleichungen den Autoren besonders am Herzen. 468 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book gathers the lectures given at the C.I.M.E. summer school 'Quantum Cohomology' held in Cetraro (Italy) from June 30th to July 8th, 1997. The lectures and the subsequent updating cover a large spectrum of the subject on the field, from the algebro-geometric point of view, to the symplectic approach, including recent developments of string-branes theories and q-hypergeometric functions. 332 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Data warehouses differ significantly from traditional transaction-oriented operational database applications. Indexing techniques and index structures applied in the transaction-oriented context are not feasible for data warehouses.This work develops specific heuristic indexing techniques which process range queries on aggregated data more efficiently than those traditionally used in transaction-oriented systems. The book presents chapters on:- the state of the art in data warehouse research- data storage and index structures- finding optimal tree-based index structures- aggregated data in tree-based index structures- performance models for tree-based index structures- and techniques for comparing index structures. 148 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Yearbook compiles the most recent, widespread developments of experimental and clinical research and practice in one comprehensive reference book. The chapters are written by well recognized experts in the field of intensive care and emergency medicine. It is addressed to everyone involved in internal medicine, anesthesia, surgery, pediatrics, intensive care and emergency medicine. 1000 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ETAPS 2002 is the fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), thirteen satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS and VISS), eight invited lectures (not including those that are speci c to the satellite events), and several tutorials. 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 which 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 one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. 456 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the research reports of the Discovery Science pro ject in Japan (No. 10143106),in which more than 60 scientists participated. It was a three-year pro ject sponsored by Grant-in-Aid for Scienti c Research on Priority Areas from the Ministry of Education,Culture,Sports,Science,and Technology (MEXT) of Japan. This pro ject mainly aimed to (1) develop new methods for knowledge discovery,(2) install network environments for knowledge discovery, and (3) establish Discovery Science as a new area of study in Computer Science / Arti cial Intelligence. In order to attain these aims we set up ve groups for studying the following research areas: (A) Logic for/of Knowledge Discovery (B) Knowledge Discovery by Inference/Reasoning (C) Knowledge Discovery Based on Computational Learning Theory (D) Knowledge Discovery in Huge Databases and Data Mining (E) Knowledge Discovery in Network Environments These research areas and related topics can be regarded as a preliminary d- inition of Discovery Science by enumeration. Thus Discovery Science ranges over philosophy,logic,reasoning,computational learning,and system developments. In addition to these ve research groups we organized a steering group for planning,adjustment,and evaluation of the project. The steering group,chaired by the principal investigator of the project,consists of leaders of the ve research groups and their subgroups as well as advisors from outside of the pro ject. We invited three scientists to consider Discovery Science and the ve above m- tioned research areas from viewpoints of knowledge science,natural language processing,and image processi ng,respectively. 700 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The problem of integrating multiple information sources into a uni ed data store is currently one of the most important challenges in data management. Within the eld of source integration, the problem of automatically gen- ating an integrated description of the data sources is surely one of the most relevant. The signi cance of the issue can be best understood if one c- siders the huge number of information sources that an organization has to integrate. Indeed, it is even impossible to try to do all the work by hand. Like other important issues in data management, the problem of integrating multiple data sources into a unique global system has several facets, each of which represents, 'per se', an interesting research problem, and comprises, for instance, that of recognizing, at the intensional level, similarities and dissimilarities among scheme objects, that of resolving representation m- matches among schemes, and that of deciding how to obtain an integrated data store out of a set of input sources and of a semantic description of their contents. The research and application relevance of such issues has attracted wide interest in the database community in recent years. And, as a con- quence, several techniques have been presented in the literature attacking one side or another of this complex and multifarious problem. 320 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -DLT 2001 was the fth Conference on Developments in Language Theory. It was a broadly based conference covering all aspects of Language Theory: grammars and - ceptorsforstrings,graphs,arrays,etc. ;ef cientalgorithmsforlanguages;combinatorial andalgebraicpropertiesoflanguages;decisionproblems;relationstocomplexitytheory; logic; picture description and analysis; DNA computing; cryptography; concurrency. DLT 2001 was held at Technische Universitat Wien from July 16 to July 21, 2001. The OrganizingCommitteeconsistedofRudolfFreund,WernerKuich(chairman),Christiane Nikoll, Margarethe Soukup, Friedrich Urbanek. Previous DLTs were held in Turku (1993), Magdeburg (1995), Thessalonike (1997), Aachen (1999). The Program Committee of DLT 2001 consisted of Christian Choffrut (Paris), J urgen Dassow (Magdeburg), Masami Ito (Kyoto), Werner Kuich (Wien, chairman),GiancarloMauri(Milano),GheorghePaun (Bucuresti), GrzegorzRozenberg (Leiden), Arto Salomaa (Turku), Wolfgang Thomas (Aachen). It selected 24 papers from 64 papers submitted in response to the call for papers. These papers came from the following countries: Australia, Austria, Belgium, Brazil, Bulgaria, Canada, Czech Republic, Estonia, Finland, France, Germany, Hungary, India, Italy, Japan, Moldova, The Netherlands, Phillipines, Poland, Romania, Russia, Slovakia, Spain, United Kingdom, USA. Each submitted paper was evaluated by at least four members of the Program Committee. Together with 10 invited presentations all 24 selected papers are contained in this volume. The papers in this volume are printed according to the order of presentation at DLT 2001 and thus grouped into sessions, most of which are thematic. It is a pleasure for the editors to thank the members of the Program Committee for the evaluation of the papers, and the many referees who assisted in this process. 404 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ETAPS 2002 was the fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8invited lectures (not including those speci c to the satellite events), and several tutorials. 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 which 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 one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. 360 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In den empirischen Sozialwissenschaften dienen die Methoden und Techniken der Statistik der Auswertung von Ergebnissen empirischer Untersuchungen und ermöglicht so die Beschreibung der quantitiativen Eigenschaften einer beobachteten und vollständig erfassten Gruppe. Das vorliegende Buch beschäftigt sich nahezu ausschließlich mit deskriptiver Statistik, welche sich mit der Aufbereitung und Beschreibung von Datenmengen und deren Verteilung befasst. Nach einer ausführlichen und grundlegenden Einführung in das Thema werden die wichtigsten Häufigkeitsverteilungen sowie die Maßzahlen zu deren Beschreibung dargestellt. Mit der linearen Einfachregression wird zuletzt der lineare funktionale Zusammenhang zweier Variabler erläutert. Zu jedem Kapitel gibt es Beispiele, Übungsaufgaben und eine Zusammenfassung. Im Anhang befinden sich mehrere Klausuren mit Lösungen, die in den letzten Jahren an der TU Dresden benutzt wurden. 320 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Physik kompakt 3. Quantenphysik und Statistische Physik beginnt mit dem Aufzeigen der Grenzen der klassischen Physik und enthält die Einführung in den atomaren Aufbau der Materie und die Grundlagen der Quantennatur der elektromagnetischen Strahlung. Am Beispiel der Wellennatur der Teilchenstrahlung und der Unschärferelation führen die Autoren in den Stoff der Atomphysik ein, wie er üblicherweise im dritten Semester geboten wird. Schon hier bei der Behandlung der Schrödingergleichung und der Wellenfunktionen wird die fundamentale Bedeutung der Physik der Wellen und Schwingungen deutlich. Vertieft werden die Darstellungen um die Einführung in die Grundlagen der Quantenmechanik. Auf diesem Weg führen die Autoren den Leser hin zur statistischen Mechanik und zur theoretischen Thermodynamik. Am Beispiel der Hauptsätze der Thermodynamik und ihren Anwendungen schließt sich der Kreis wieder zur praktischen Experimentalphysik. 464 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Physik kompakt 1. Mechanik, Fluiddynamik und Wärmelehre enthält im ersten Teil die Einführung in die Mechanik, wie sie üblicherweise im ersten Semester geboten wird. Als Vorbereitung auf die Vorlesung der theoretischen Mechanik beschränken sich die Autoren darauf, das Verständnis der Grundlagen zu vermitteln. Zudem wird ein kurzer Ausflug in die relativistische Mechanik geboten. Der zweite Teil vertieft die Darstellungen um die Schwingungslehre und führt hin zur Mechanik der starren Körper. Die Mechanik der strömenden Flüssigkeiten und Gase bildet die Verbindung zur Einführung in die Wärmelehre und bereitet auf die Vorlesungen zur Thermodynamik des Hauptstudiums vor. Im Anhang werden die Wellen- und Transportgleichungen behandelt. 460 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This textbook is intended to give an introduction to and an overview of sta- of-the-art techniques in the design of complex embedded systems. The book title is SAMOS for two major reasons. First, it tries to focus on the actual distinct, yet important problem elds of System-Level design of embedded systems, including mapping techniques and synthesis,Architectural design,Modeling issues such as speci cation languages, formal models, and- nallySimulation. The second reason is that the volume includes a number of papers presented at a workshop with the same name on the Island of Samos, Greece, in July 2001. In order to receive international attention, a number of reputed researchers were invited to this workshop to present their current work. Participation was by invitation only. For the volume presented here, a number of additional papers where selected based on a call for papers. All contributions were refereed. This volume presents a selection of 18 of the refereed papers, including 2 invited papers. The textbook is organized according to four topics: The rst isA)System- LevelDesignandSimulation.Inthissection,wepresentacollectionofpapers that give an overview of the challenging goal to design and explore alternatives of embedded system implementations at the system-level. One paper gives an overview of models and tools used in system-level design. The other papers present new models to describe applications, provide models for re nement and design space exploration, and for tradeo analysis between cost and exibility of an implementation. 340 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Constraint Programming is an approach for modeling and solving combi- torial problems that has proven successful in many applications. It builds on techniques developed in Arti cial Intelligence, Logic Programming, and - erations Research. Key techniques are constraint propagation and heuristic search. Constraint Programming is based on an abstraction that decomposes a problem solver into a reusable constraint engine and a declarative program modeling the problem. The constraint engine implements the required pr- agation and search algorithms. It can be realized as a library for a general purpose programming language (e.g. C++), as an extension of an existing language (e.g. Prolog), or as a system with its own dedicated language. The present book is concerned with the architecture and implementation of constraint engines. It presents a new, concurrent architecture that is far superior to the sequential architecture underlying Prolog. The new archit- ture is based on concurrent search with copying and recomputation rather than sequential search with trailing and backtracking. One advantage of the concurrent approach is that it accommodates any search strategy. Furth- more, it considerably simpli es the implementation of constraint propagation algorithms since it eliminates the need to account for trailing and backtra- ing. The book investigates an expressive generalization of the concurrent - chitecture that accommodates propagation-preserving combinators (known as deep guard combinators) for negation, disjunction, implication, and re- cation of constraint propagators. Such combinators are beyond the scope of Prolog's technology. In the concurrent approach they can be obtained with a re ective encapsulation primitive. 188 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ETAPS2002wasthe fthinstanceoftheEuropeanJointConferencesonTheory 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 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8 invited lectures (not including those speci c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopmentprocess,includingspeci cation,design,implementation,analysis,and improvement. The languages, methodologies, and tools which 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 one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. 348 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Future processorswill become smaller, provide higher performance, and consume lesspowerthantoday sdevices.Suchprocessorswillsparko newapplicationsin particularintheareaofeverydayconsumerdevices.Personaldigitalassistants, mobile consumer devices, and various smart personal appliances will soon be widelyused.Mobiletelecommunicationsystemswillincreasetheirbandwidth andwillyieldhighlyconnected,ubiquitouscomputingappliances.Ubiquitous computing induces a new way of thinking in system design: computers vanish into the background hidden behind the habitual human environment. These trends are the major topics of ARCS 2002, the International Conf- ence on Architecture of Computing Systems , which continues and replaces the biennial series of German Conferences on Architecture of Computing Systems, organized by the special interest group on Computer and System Architecture of the GI (Gesellschaft fur Informatik German Informatics Society) and the ITG (Informationstechnische Gesellschaft Information Technology Society). The fteen predecessor conferences (except the EuroArch in 1993) were national conferences only, this is the rst German conference on computer architecture addressingtheinternationalresearchcommunity.Itservesasaforumtopresent current work by researchers from around the world, this year being focused on topics that aretruly changingourperception ofinformation processing Trends in Network and Pervasive Computing . The call for papers resulted in a total of 42 submissions from around the world.Everysubmissionwasreviewedbyfourmembersoftheprogramc- mitteeoradditionalreviewers.Theprogramcommitteedecidedtoaccept18 papers, which are arranged into 6 sessions with the result of a strong program. The two keynote talks by Ralf Guido Herrtwich (DaimlerChrysler Research) and Marc Fleischmann (formerly Transmeta, now Pixelworks) focus our attention on an innovative application area ( Communicating Cars: A Case for Ubiquitous Computing in the Automotive Domain ) and on innovative architectures ( - croprocessor Architectures for the Mobile Internet Era ). 308 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of FroCoS 2002, the 4th International Workshop on Frontiers of Combining Systems, held April 8-10, 2002 in Santa Margherita Ligure (near Genova), Italy. Like its predecessors, organized in - nich (1996), Amsterdam (1998), and Nancy (2000), FroCoS 2002 o ered a c- mon forum for the presentation and discussion of research activities on the c- bination and integration of systems in various areas of computer science, such as logic, computation, program development and proof, arti cial intelligence, mechanical veri cation, and symbolic computation. There were 35 submissions of high quality, authored by researchers from countries including Australia, Belgium, Brazil, Finland, France, Germany, Italy, Portugal, Spain, Singapore, United Kingdom, United States of America, and - goslavia. All the submissions were thoroughly evaluated on the basis of at least three referee reports, and an electronic program committee meeting was held through the Internet. The program committee selected 14 research contributions. The topics covered by the selected papers include: combination of logics, c- bination of constraint solving techniques, combination of decision procedures, combination problems in veri cation, modular properties of theorem proving, integration of decision procedures and other solving processes into constraint programming and deduction systems. 272 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The purpose of the book is to present the basic results in the theory of two-person zero-sum repeated games including stochastic games and repeated games with incomplete information. It underlines their relation through the operator approach and covers both asymptotic and uniform properties. The monograph is self-contained including presentation of incomplete information games, minmax theorems and approachability results. It is adressed to graduate students with no previous knowledge of the field. 224 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers selected for presentation at CEEMAS 2001. The wo- shop was the fourth in a series of international conferences devoted to autonomous agents and multi-agent systems organized in Central-Eastern Europe. Its predecessors wereCEEMAS'99andDAIMAS'97,whichtookplaceinSt. Petersburg,Russia,aswell as DIMAS'95, which took place in Cracow, Poland. Organizers of all these events made efforts to make them wide-open to participants from all over the world. This would have been impossible without some help from friendly centers in the Czech Republic, England, France, Japan, and The Netherlands. DIMAS'95 featured papers from 15 countries, while CEEMAS'99 from 18 co- tries. A total of 61 papers were submitted to CEEMAS 2001 from 17 countries. Out of these papers, 31 were selected for regular presentation, while 14 were quali ed as posters. The motto of the meeting was 'Diversity is the core of multi-agent systems'. This variety of subjects was clearly visible in the CEEMAS 2001 program, addressing the following major areas of multi-agent systems: - Organizations and social aspects of multi-agent systems - Agent and multi-agent system architectures, models, and formalisms - Communication languages, protocols, and negotiation - Applications of multi-agent systems - Agent and multi-agent development tools - Theoretical foundations of DistributedAI - Learning in multi-agent systems The richness of workshop subjects was ensured thanks to the CEEMAS 2001 contributing authors as well as the keynote speakers. 356 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisvolumerecordstheproceedingsofthe fthEuropeanconferenceonGenetic Programming(EuroGP2002)whichtookplaceinKinsale,IrelandonApril3-5, 2002, continuing an established tradition of yearly meetings among the most prominent researchers on Genetic Programming in Europe and beyond; their proceedings have always been published in the LNCS series by Springer-Verlag. EuroGP began life in Paris in 1998 as an international workshop (April 14- 15, LNCS 1391); a second workshop took place in G oteborg in 1999 (May 26- 27, LNCS 1598). Its rst appearance as a conference was in the year 2000 in Edinburgh (April 15-16, LNCS 1802), followed by last year's conference held at Lake Como (April 18-19, LNCS 2038). Since the beginning, EuroGP has been co-located with a series of specialist workshops on applications of evolutionary algorithms (LNCS 1468, 1596, 1803, and 2037). In keeping with that tradition, the EvoWorkshops were also held in Kinsale this year at the same time (LNCS 2279). Genetic Programming (GP) is a branch of Evolutionary Computation in which populations of computer programs are made to evolve and adapt to so- ing a particular problem or task by a process that draws its inspiration from Biology and Darwinian evolution. GP is a very versatile technique, which has been applied to a wide range of tasks, as a quick inspection of the 32 papers in these proceedings will easily reveal: economics, robotics, engineering, statistics, pharmacology,electronics,and nancearebutsomeofthedomainsinwhichthey havebeenemployed.AlthoughtherateofapplicationofGPtoproblemsisst- dily growing, this conference is characterized by its concern with the theoretical foundations of GP: investigation of these issues is attaining an ever increasing depth and maturity. 356 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri - tion of software systems. Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis at Montr eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), andToronto(2001). Whilethe rstSPINworkshopwasastand-aloneevent,later workshopshavebeenorganizedasmoreorlesscloselya liatedeventswithlarger conferences, in particular with CAV (1996), TACAS (1997), FORTE/PSTV (1998), FLOC (1999), World Congress on Formal Methods (1999), FMOODS (2000), and ICSE (2001). This year, SPIN 2002 was held as a satellite event of ETAPS 2002, the European Joint Conferences on Theory and Practice of Software. The co-location of SPIN workshops with conferences has proven to be very successful and has helped to disseminate SPIN model checking technology to wider audiences. Since 1999, the proceedings of the SPIN workshops have appeared in Springer-Verlag's 'Lecture Notes in Computer Science' series. The history of successful SPIN workshops is evidence for the maturing of model checking technology, not only in the hardware domain, but increasingly also in the software area. While in earlier years algorithms and tool development 1 around the SPIN model checker were the focus of this workshop series, the scopehasrecentlywidenedtoincludemoregeneralapproachestosoftwaremodel checking. Current research in this area concentrates not so much on completely verifyingsystemmodels,butratheronanalyzingsourcecodeinordertodiscover software faults. 276 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -12 Beiträge für Ihre Fort- und Weiterbildung aus 'Der ANÄSTHESIST' in einem Band: didaktisch aufbereitet, klinik- und praxisbezogen, mit Fragen zur Erfolgskontrolle. So sind Sie schnell fit für die Facharztprüfung und Ihr Fachwissen bleibt rundum up-to-date. 204 pp. Deutsch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 244 pp. Deutsch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Erfolgreiche Unternehmen erkennen und nutzen das gesamte Potenzial des Marketings im E-Business, denn es reicht nicht, einfach nur im Web präsent zu sein und Marketing im E-Business als eine Art Werbebroschüre im Internet oder als alternativen Vertriebsweg zu sehen.Das Buch stellt die vier Schlüsselprinzipien zum dauerhaften Markterfolg vor: Attract - die richtigen Interessenten finden, Convert - Interessenten zu profitablen Kunden machen, Serve - Kunden bedienen und begeistern, Retain - Kunden zu loyalen Stammkunden machen. Erprobte Vorgehensweisen erfolgreicher Unternehmen, Checklisten, Praxistipps sowie Fallbeispiele aus den verschiedensten Branchen erleichtern Einstieg und praktische Umsetzung. 300 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Idealer Einstieg: Theorie und Praxis paralleler numerischer Verfahren anhand klassischer Algorithmen. Dargestellt sind Bereiche der numerischen linearen Algebra als auch der numerischen Analysis. Bei Aufbau und Erstellung paralleler Programme hilft die Programmbibliothek MPI. Anhand der Praktikumsaufgaben können Leser ihren Lernerfolg überprüfen. Quelltexte sind auf der Homepage der Autoren zu finden. Ein praxisorientiertes Lehr- und Übungsbuch für Mathematiker, Informatiker, Ingenieurwissenschaftler. 264 pp. Deutsch.