springer berlin heidelberg springer berlin heidelberg okt 2008 (132 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -Virtuelle Realität oder Virtual Reality (VR) hat in den letzten Jahren eine stürmische Entwicklung genommen. Dieses Buch führt in Theorie und Praxis der virtuellen Realität ein und liefert einen Überblick über Software-Architekturen. Der Schwerpunkt liegt bei Anwendungen der VR, beispielhafte Anwendungen werden mit VR Juggler betrachtet und implementiert. Für das erfolgreiche Bearbeiten der Aufgaben sind Erfahrungen im Programmieren mit C++ und OpenGL erforderlich, Kenntnisse in Computergrafik und Grafikprogrammierung werden vorausgesetzt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Dieses Buch legt der Mechanik weitgehend algebraische Vorstellungen und Methoden, wie sie in der Quantenmechanik bis hin zur Feldtheorie entwickelt wurden, zu Grunde. Die Mechanik dient somit auch der Einführung solcher Methoden, die dann in anderen Bereichen der theoretischen Physik erforderlich werden. Neue Methoden müssen dann nicht mehr bei der Behandlung nicht bekannter physikalischer Vorstellungen neu erarbeitet werden.Schon die Struktur des Raumes, wie auch die Newtonschen Gesetze werden so eingeführt, dass sie ein Verständnis für moderne, weitergehende Vorstellungen zulassen. Symmetrien und Erhaltungssätze werden von Anfang an betont und es wird gezeigt, wie Erhaltungssätze zu weitreichenden Vorhersagen für spezifische Systeme führen. Die Methode der Lösung von Differentialgleichungen durch Greensche Funktionen, wie sie heute in der Feldtheorie üblich ist, wird schon an Hand der harmonischen Schwingungen eingeführt. Feldtheoretische Vorstellungen, wie die Behandlung der schwingenden Saite, werden aus mechanischen Konzepten entwickelt und die relativistische Mechanik wird gleich im Zusammenhang mit elektromagnetischen Vorgängen gesehen. Die kanonische Mechanik bereitet den Übergang zu quantisierten Systemen vor.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Kindheit sollte die Zeit traumhafter Freiheit und ständig neuer Erfahrung sein. Viele Erwachsene blicken aber nur ungern darauf zurück, denn sie wurden in dieser sensiblen Phase verletzt und eingeengt.Welche Wege eröffnen sich einem Kind von der Geburt bis zur reifen Persönlichkeit und welchen Einfluss haben dabei Elternbindung und Familie Was macht Kinder stark und widerstandsfähig Wo liegen die Risiken für spätere psychische Labilität Jürgen Wettig nähert sich diesen und vielen anderen Fragen aus psychiatrisch-psychotherapeutischer Sicht. Daneben interessiert ihn als Neurologe die Frage, ob es möglich ist, mittels moderner Bildgebung psychischen Stress in der Kindheit noch beim Erwachsenen durch 'Stressnarben' im Gehirn nachzuweisen.Wie wir wurden, was wir sind!Ein spannendes Thema, das der Autor auch für Nicht-Experten verständlich und anschaulich aufbereitet hat.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Abstract topological tools from generalized metric spaces are applied in this volume to the construction of locally uniformly rotund norms on Banach spaces. The book offers new techniques for renorming problems, all of them based on a network analysis for the topologies involved inside the problem.Maps from a normed space X to a metric space Y, which provide locally uniformly rotund renormings on X, are studied and a new frame for the theory is obtained, with interplay between functional analysis, optimization and topology using subdifferentials of Lipschitz functions and covering methods of metrization theory. Any one-to-one operator T from a reflexive space X into c0 (T) satisfies the authors' conditions, transferring the norm to X. Nevertheless the authors' maps can be far from linear, for instance the duality map from X to X\* gives a non-linear example when the norm in X is Fréchet differentiable.This volume will be interesting for the broad spectrum of specialists working in Banach space theory, and for researchers in infinite dimensional functional analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Buch. Zustand: Neu. Neuware -Ever since its infancy, humankind has been seeking answers to some very basic and profound questions. Did the Universe begin If it did, how old is it, and where did it come from What is its shape What is it made of Fascinating myths and brilliant in- itions attempting to solve such enigmas can be found all through the history of human thought. Every culture has its own legends, itsownworldcreationtales,itsphilosophicalspeculations,itsre- gious beliefs. Modern science, however, cannot content itself with fanciful explanations, no matter how suggestive they are. No- days, our theories about the Universe, built upon rational ded- tion, have to survive the hard test of experiment and observation. Cosmology, the science which studies the origin and evo- tion of the Universe, had to overcome enormous dif culties before it could achieve the same level of dignity as other physical dis- plines. At rst, it had no serious physical model and mathematical tools that could be used to address the complexity of the problems it had to face. Then, it suffered from a chronic lack of experim- tal data, which made it almost impossible to test the theoretical speculations. Given this situation, answering rigorously the many questions on the nature of the Universe seemed nothing more than a delusion. Today, however, things have changed. We live in the golden age of cosmology: an exciting moment, when, for the rst time, we are able to scienti cally understand our Universe.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -In May 2006, The University of Utah hosted an NSF-funded minicourse on stochastic partial differential equations. The goal of this minicourse was to introduce graduate students and recent Ph.D.s to various modern topics in stochastic PDEs, and to bring together several experts whose research is centered on the interface between Gaussian analysis, stochastic analysis, and stochastic partial differential equations. This monograph contains an up-to-date compilation of many of those lectures. Particular emphasis is paid to showcasing central ideas and displaying some of the many deep connections between the mentioned disciplines, all the time keeping a realistic pace for the student of the subject.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -¿Der kleine Spornitz': Den menschlichen Körper lernen und verstehen!Das Lern- und Arbeitsbuch zum großen ¿Spornitz' für Auszubildende in Gesundheitsfachberufen mit anatomischen Abbildungen zum Beschriften, Lückentexten, Zuordnungen, Suchbildern, Verknüpfungen von Krankheitslehre und Pflege, Fallbeispielen und Lerntipps.Denn wer die Vorgänge im menschlichen Körper versteht und nachvollziehen kann, hat es in der Ausbildung und Praxis einfach leichter.Das Lernen können wir Ihnen nicht abnehmen, aber deutlich erleichtern!Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -This book contains the best papers of the 9th International Conference on Enterprise Information Systems (ICEIS 2007), held in the city of Funchal, Madeira (Portugal), organized by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC) and the University of Madeira, in collaboration with ACM/SIGMIS and AAAI. Furthermore, the conference was sponsored by the Por- guese Foundation for Science and Technology (FCT). ICEIS has become a major point of contact between research scientists, engineers and practitioners in the area of business applications of information systems. This year, five simultaneous tracks were held, covering different aspects related to ent- prise computing, including: ¿Databases and Information Systems Integration,¿ ¿Arti- cial Intelligence and Decision Support Systems,¿ ¿Information Systems Analysis and Specification,¿ ¿Software Agents and Internet Computing¿ and ¿Human¿Computer Interaction¿. All tracks focused on real-world applications and highlighted benefits of information systems and technology for industry and services, thus making a bridge between academia and enterprise. Following the success of 2006, ICEIS 2007 received 644 paper submissions from more than 40 countries. In all, 72 papers were published and presented as full papers, i.e., completed work (8 pages in proceedings / 30-min oral presentations), 198 papers, reflecting work-in-progress or position papers, were accepted for short presentation and another 131 for poster presentation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 6th International Conference on Computational Methods in Systems Biology, CMSB 2008, held in Rostock, Germany, in September 2008. The 21 revised full papers presented together with the summaries of 5 invited papers were carefully reviewed and selected from more than 60 submissions. The papers cover theoretical or applied contributions that are motivated by a biological question focusing on modeling approaches, including process algebra, simulation approaches, analysis methods, in particular model checking and flux analysis, and case studies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 82 submissions. The focos lies on theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as on applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools. The papers are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, tool demonstration papers, timed and stochastic systems, theory, and short papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 448 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -IDEAL 2008 was the ninth IDEAL conference to take place; earlier editions were held in Hong Kong, the UK, Australia and Spain. This was the first time, though hopefully not the last time, that it took place in Daejeon, South Korea, during November 2¿5, 2008. As the name suggests, the conference attracts researchers who are involved in either data engineering or learning or, increasingly, both. The former topic involves such aspects as data mining (or intelligent knowledge discovery from databases), infor- tion retrieval systems, data warehousing, speech/image/video processing, and mul- media data analysis. There has been a traditional strand of data engineering at IDEAL conferences which has been based on financial data management such as fraud det- tion, portfolio analysis, prediction and so on. This has more recently been joined by a strand devoted to bioinformatics, particularly neuroinformatics and gene expression analysis. Learning is the other major topic for these conferences and this is addressed by - searchers in artificial neural networks, machine learning, evolutionary algorithms, artificial immune systems, ant algorithms, probabilistic modelling, fuzzy systems and agent modelling. The core of all these algorithms is adaptation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 552 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the Second International Conference on Web Reasoning and Rule Systems, RR 2008, held in Karlsruhe, Germany in October/November 2008. The 12 revised full papers, 4 revised short papers presented together with 5 poster papers were carefully reviewed and selected from over 35 submissions. The papers address all current topics in Web reasoning and rule systems such as acquisition of rules and ontologies by knowledge extraction, design and analysis of reasoning languages, implemented tools and systems, standardization, ontology usability, ontology languages and their relationships, rules and ontologies, reasoning with uncertainty, reasoning with constraints, rule languages and systems, semantic Web services modeling and applications. 256 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -On behalf of the Organizing Committee we are pleased to present the p- ceedings of the 2008 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of software-intensivesystems from independently developed software-building blocks (components), the - velopment of components, and system maintenance and improvement by means of component replacement and customization. CBSE 2008 was the 11th in a series of events that promote a science and technology foundation for achieving predictable quality in software systems through the use of software component technology and its associated software engineering practices. Wewerefortunateto haveadedicatedProgramCommitteecomprisingmany internationallyrecognizedresearchersandindustrialpractitioners.Wewouldlike to thank the members of the Program Committee and associated reviewers for their contribution in making this conference a success. We received 70 subm- sions and each paper was reviewed by at least three Program Committee m- bers (four for papers with an author on the Program Committee). The entire reviewing process was supported by the Conference Management Toolkit p- vided by Microsoft. In total, 20 submissions were accepted as full papers and 3 submissions were accepted as short papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 368 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Information technology has now pervaded the legal sector, and the very modern concepts of e-law and e-justice show that automation processes are ubiquitous. European policies on transparency and information society, in particular, require the use of technology and its steady improvement.Some of the revised papers presented in this book originate from a workshop held at the European University Institute of Florence, Italy, in December 2006. The workshop was devoted to the discussion of the different ways of understanding and explaining contemporary law, for the purpose of building computable models of it -- especially models enabling the development of computer applications for the legal domain. During the course of the following year, several new contributions, provided by a number of ongoing (or recently finished) European projects on computation and law, were received, discussed and reviewed to complete the survey.This book presents 20 thoroughly refereed revised papers on the hot topics under research in different EU projects: legislative XML, legal ontologies, semantic web, search and meta-search engines, web services, system architecture, dialectic systems, dialogue games, multi-agent systems (MAS), legal argumentation, legal reasoning, e-justice, and online dispute resolution. The papers are organized in topical sections on knowledge representation, ontologies and XML legislative drafting; knowledge representation, legal ontologies and information retrieval; argumentation and legal reasoning; normative and multi-agent systems; and online dispute resolution.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This pages include the results derived during last ten years about both suppression and synchronization of chaotic -continuous time- systems. Along this time, our concept was to study how the intrinsic properties of dynamical systems can be exploited to suppress and to synchronize the chaotic behavior and what synchronization phen- ena can be found under feedback interconnection. Our findings have caused surprise to us and have stimulated our astonishing capability. Perhaps, reader can imagine our faces with opens eyes like children seeing around objects; which are possibly obvious for others and novel for us. A compilation of our surprises about these findings is being described along this book. Book contains both objectives to share our ama- ment and to show our perspective on synchronization of chaotic systems. Thus, while we were writing the preface, we discussed its scope. Thinking as a book readers, we found that a preface should answer, in few words, the following question: What can the reader find in this book , reader can find our steps toward understanding of c- otic behavior and the possibility of suppressing and synchronizing it. We firstly show the chaos suppression form experimental domain to potential implementation in high tech system as a levitation system based on High Temperature Superconductors (HTS). This chapter is used as departing point towards a more complicated problem the chaotic synchronization. Then, reader travels by the synchronization of the chaotic behavior world throughout distinct feedback approaches.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -These are the proceedings of IPTComm 2008 ¿ the Second Conference on Pr- ciples,Systems andApplications ofIP Telecommunications¿heldinHeidelberg, Germany, July 1¿2, 2008. The scope of the conference included recent advances in the domains of convergent networks, VoIP security and multimedia service environments for next generation networks. The conference attracted 56 s- missions, of which the Program Committee selected 16 papers for publication. The review process followed strict standards: each paper received at least three reviews. We would like to thank all Program Committee members and external reviewers for their contribution to the review process. The conference attracted attendees from academia and industry. Its excellence is re ected in the quality of the contributed papers and invited talks. Additional industry talks and - plied demonstrations assured a synergy between academic and applied research. We would also like to acknowledge and thank our sponsors, many of whom s- portedtheconferencegenerously:NEC,AT&T,Codenomicon,IPTEGO,EADS, Cellcrypt, MuDynamics, SIP Forum and EURESCOM, Finally, we would like to thank all the researchers and authors from all over the world who submitted their work to the IPTComm 2008 conference. 352 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the Second Western European Workshop on Research in Cryptology, WEWoRC 2007, held in Bochum, Germany, in July 2007 The 12 revised full papers were carefully reviewed and selected from a total of 36 submissions. The papers cover topics such as foundations of cryptology, secret-key cryptosystems and hash functions, public-key cryptosystems, cryptographic protocols, implementation of cryptosystems and their integration into secure systems, secure operating systems and trusted computing, applications such as watermarking and code obfuscation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.

Buch. Zustand: Neu. Neuware -The small bodies in planetary systems are indicative of the material evo- tion, the dynamical evolution, and the presence of planets in a system. Recent astronomicalresearch,spaceresearch,laboratoryresearch,andnumericals- ulationsbroughtawealthofnewandexciting ndingsonextra-solarplanetary systems and on asteroids, comets, meteoroids, dust, and trans-Neptunian - jects in the solar system. Progress in astronomical instrumentation led to the discovery and investigation of small bodies in the outer solar system and to observations of cosmic dust in debris disks of extra-solar planetary systems. Space research allowed for close studies of some of the small solar system bodies from spacecraft. This lecture series is intended as an introduction to the latest research results and to the key issues of future research. The ch- ters are mainly based on lectures given during a recent research school and on research activities within the 21st Century COE Program ¿Origin and Evolution of Planetary Systems¿ at Kobe University, Japan. In Chap. 1, Taku Takeuchi discusses the evolution of gas and dust from protoplanetary disks to planetary disks. Using a simple model, he studies v- cous evolution and photoevaporation as possible mechanisms of gas dispersal. He further considers how the dust grows into planetesimals. Motion of dust particles induced by gas drag is described, and then using a simple analytic model, the dust growth timescale is discussed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -How does my brain work Why am I conscious Where is my memory Is what I perceive around me reality or just an illusion We all ask these questions, which we could sum up in a single question: Who am I How is it that I have memories and that I feel I exist What does it mean that my mind is free in time and space, and yet I am imprisoned in a body that is doomed to disappear What happens to my mind when my body disappears What are the risks of my suffering from a brain disease Could my whole being eclipse because of a disease in which my body survives but my mind ceases to exist What remedies are there What hope does reasearch hold out Recent discoveries about the brain allow us to ask such questions more pointedly, hoping to define more clearly the relations of the brain with the mind, of man with his body.This book is based on numerous discussions with specialists. It attempts to determine the state of the art. It is organized in chapters that can be read in continuity, but it is equally possible to discover the chapters in a different way.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 132 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the Second International Workshop, SVM 2008, held in Munich, Germany, in October 2008. 148 pp. Englisch.

Buch. Zustand: Neu. Neuware -Recently, the first 'zoopharming' product has reached market approval: it is a recombinant human protein for medical use that is produced in the milk of transgenic goats. In addition, other transgenic animals, including faster-growing salmon and ¿environmentally friendly' pigs with reduced levels of phosphate in their faeces are awaiting regulatory approval. These are only some examples of upcoming applications of genetic engineering in farm animals. Other potential applications include traditional breeding goals such as higher milk or meat yields, leaner meat, and disease resistance. While genetic engineering in livestock opens a huge range of possibilities, it also brings about concerns of safety and justification: does genetic engineering affect animal welfare Is it safe and morally acceptable to apply genetic engineering to farm animals for the various purposes that are envisaged Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Buch. Zustand: Neu. Neuware -By definition, gauge theories - among the cornerstones of fundamental theoretical physics - involve more degrees of freedom than required by the underlying physics. The unphysical degrees of freedom must be shown not to yield unwarranted effects at every step in the formalism where explicit Lorentz covariance is required. The present work presents, in a rigorous way, a consistent formulation for the handling of noncovariant gauges in the quantization and renormalization of gauge theories. Though the path integral method is very convenient for the proof of unitarity and renormalizability of gauge theories, the canonical formalism is eventually necessary to to expose the issues in a self-consistent way. These notes are written as an introduction to postgraduate students, lecturers and researchers in the field and assume prior knowledge of quantum field theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Workshop on Agent-Mediated Electronic Commerce, AMEC IX, co-located with the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2007, held in Honolulu, Hawai, in May 2007, and the 5th Workshop on Trading Agent Design and Analysis, TADA 2007, co-located with the Twenty-Second AAAI Conference on Artificial Intelligence, AAAI 2007, held in Vancouver, Canada, in July 2007. This volume presents 15 carefully revised and selected papers from these workshops. The primary and complementary goal of both workshops was to continue to bring together novel work from diverse fields on modeling, implementation and evaluation of computational trading institutions and/or agent strategies. The papers originating from AMEC focus on a large variety of issues on auctions, negotiation, and strategic behavior in electronic marketplaces. The papers originating from TADA reflect the effort of the community to design scenarios where trading agent designers and market designers can be pitched against one another.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the Third Annual International Conference on Wireless Algorithms, Systems, and Applications, WASA 2008, held in Dallas, TX, USA, in October 2008. The 35 revised full papers presented together with 3 keynote talks and 15 invited lectures were carefully reviewed and selected from numerous submissions. Providing a forum for researchers and practitioners, from the academic, industrial and governmental sectors, the papers address current research and development efforts of various issues in the area of algorithms, systems and applications for current and next generation infrastructure and infrastructureless wireless networks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 600 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 15th International Symposium on String Processing and Information Retrieval, SPIRE 2008, held in Melbourne, Australia, in November 2008. The 25 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 54 submissions. The papers are organized in topical sections on compression and performance, information retrieval scoring and ranking, string matching techniques, self-indexing, string matching: space and practicality, information retrieval, non-standard matching, and bioinformatics. 308 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -It is our pleasure to present the proceedings of Discovery Science 2008, the 11th International Conference on Discovery Science held in Budapest, Hungary, October 13-16, 2008. It was co-located with ALT 2008, the 19th International Conference on Algorithmic Learning Theory, whose proceedings are available in the twin volume LNAI 5254. This combination of DS and ALT conferences has been successfully organized each year since 2002. It provides a forum for the researchersworking on many di erent aspects of scienti c discovery. Indeed, ALT/DS 2008 covered both the possibility to automate part of the scienti c discoveryandthenecessarysupporttothehumanprocessofdiscoveryinscience. Interestingly, this co-location also provided the opportunity for an exciting joint program of tutorials and invited talks. The number of submitted papers was 58, i.e., slightly more than the previous year. The Program Committee members were involved in a rigorous selection process based on three reviews per paper. At the end, we selected 26 long papers thanks to the recommendations of the experts based on relevance, novelty, signi cance, technical quality, and clarity. Although some short papers were submitted, none of them was selected.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Multi-agent systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their environment, they can have individual or joint goals, for which they can plan and execute actions. Work on such systems integrates many technologies and concepts in - ti cial intelligence and other areas of computing as well as other disciplines. The agent paradigm has become widely popular and widely used in recent years, due to its applicability to a large range of domains, from search engines to edu- tional aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, and ambient intelligence, to cite only some. Computational logic provides a well-de ned, general, and rigorous framework for studying syntax, semantics, and procedures for various capabilities and fu- tionalities of individual agents, as well as interaction amongst agents in multi-agent systems. It also provides a well-de ned and rigorous framework for implemen- tions, environments, tools, and standards, and for linking together speci cation and veri cation of properties of individual agents and multi-agent systems. The CLIMA workshop series was founded to provide a forum for discussing, presenting, and promoting computational logic-based approaches in the design, development, analysis, and application of multi-agent systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The articles in this volume were selected for presentation at the Sixth Inter- tional Conference on Rough Sets and Current Trends in Computing (RSCTC 2008), which took place on October 23¿25 in Akron, Ohio, USA. The conference is a premier event for researchersand industrial professionals interested in the theory and applications of rough sets and related methodo- gies. Since its introduction over 25 years ago by Zdzislaw Pawlak, the theory of rough sets has grown internationally and matured, leading to novel applications and theoretical works in areas such as data mining and knowledge discovery, machine learning, neural nets, granular and soft computing, Web intelligence, pattern recognition and control. The proceedings of the conferences in this - ries, as well as in Rough Sets and Knowledge Technology (RSKT), and the Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC) series report a variety of innovative applications of rough set theory and of its extensions. Since its inception, the mathematical rough set theory was closely connected to application elds of computer science and to other areas, such as medicine, which provided additional motivation for its further development and tested its real-life value. Consequently, rough set conferences emphasize the - teractionsandinterconnectionswith relatedresearchareas,providingforumsfor exchanging ideas and mutual learning. The latter aspect is particularly imp- tant since the development of rough set-related applications usually requires a combination of often diverse expertise in rough sets and an application eld.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 548 pp. Englisch.

Buch. Zustand: Neu. Neuware -Architectures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This two-volume set LNCS 5331/5332 constitutes the refereed proceedings of the five confederated international conferences on Cooperative Information Systems (CoopIS 2008), Distributed Objects and Applications (DOA 2008), Grid computing, high performAnce and Distributed Applications (GADA 2008), Information Security (IS 2008), and Ontologies, Databases and Applications of Semantics (ODBASE 2008), held as OTM 2008 in Monterrey, Mexico, in November 2008. The 86 revised full and 9 revised short papers presented together with 5 invited papers and 4 keynote talks were carefully reviewed and selected from a total of 292 submissions. Corresponding to the five OTM 2008 main conferences CoopIS, DOA, GADA, IS, and ODBASE the papers are organized in topical sections on Web service, business process technology, E-service management, distributed process management, schema matching, business process tracing, workflow and business applications, designing distributed systems, context in distributed systems, high availability, adaptive distributed systems, scheduling allocation, databases in grids, grid applications, data management and storage, new tendencies and approaches, intrusion detection, information hiding, data and risk management, access control, evaluation and implementation, semantic matching and similarity measuring, semantic searching, ontology development, ontology maintanence and evaluation, ontology applications, and semantic query processing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 680 pp. Englisch.