berlin springer berlin heidelberg springer okt 2009 (259 resultados)

Taschenbuch. Condición: Neu. Neuware -Das Fallrepetitorium Familien- und Erbrecht erläutert den examensrelevanten Stoff anhand von Fällen, die grundlegenden BGH-Entscheidungen nachgebildet sind. Die Lösungen sind im Gutachtenstil ausgearbeitet und angereichert mit vertiefenden Hinweisen. Das Werk soll fortgeschrittenen Studierenden, insbesondere Schwerpunktstudierenden und Examenskandidaten, Gelegenheit bieten, ihr Wissen auf Fälle anzuwenden und speziell die Bearbeitung von Examensklausuren zu trainieren. Gleichzeitig dienen die Fälle der Erarbeitung, Wiederholung und Vertiefung des materiellen Rechts.

Taschenbuch. Condición: Neu. Neuware -Nach ADAC-Schätzungen sind in Deutschland mindestens 1 Million Menschen mit Führerschein von Fahrängsten betroffen - z.B. Angst vor dem Großstadtverkehr, vor der Autobahn, vor Beifahrern, vor Unfällen. Pro Jahr finden in Deutschland 1,4 Millionen Fahrrprüfungen statt, davon sind 400.000 Wiederholungsprüfungen. Viele der Prüflinge leiden an Prüfungsangst. Auchgeübte Autofahrer leiden teilweise unter Ängsten. Es geht dabei um Drängelsituationen auf der Autobahn, wenn Raser rücksichtslos nah auffahren und mit der Lichthupe blenden. Laut Untersuchung einer großen Versicherung fühlen über 90% aller Autofahrer in solchen Situationen Ängste. Das Buch ist ein Ratgeber für Betroffene. Es zeigt insieben Schritten, die Ängste zu verstehen und zu bewältigen. Die Anregungen basieren auf Praxiserfahrungen der Autoren ('Angsthasen-Methode') und auf Selbsthilfe-Methoden der Verhaltenstherapie. Leserinnen und Lesern wird anhand von Fallbeispielen die Problemsituation und die Bewältigung der Ängste erläutert. Anschließend finden sie Fragebögen zur Selbsteinschätzung, Selbsthilfetipps, die Antworten auf häufig gestellte Fragen, Übungsaufgaben und Lösungsvorschläge. Abgerundet wird der Ratgeber mit einem Service-Teil mit Adressen. 240 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -Dieses von einem erfahrenen Praktiker geschriebene Buch wendet sich an alle Benutzer von Mathematica®. Der Neuling macht schnell die ersten Schritte und lernt vor allem zunächst, die eingebaute Hilfe und Dokumentation effizient zu nutzen. Dem Fortgeschrittenen helfen die prototypischen Beispiele und vor allem auch eine umfangreiche Sammlung elementarer Tricks und Kniffe. Der Experte findet hier nicht einfach nur Rezepte, sondern vor allem Konzepte und Techniken zur Behandlung komplexerer Aufgabenstellungen.Anhand der vielen Programmierbeispiele unterschiedlichen Schwierigkeitsgrades, lernt der Leser ganz nebenbei Lösungen konkreter Probleme kennen. Jedes der Programmierbeispiele beginnt mit einer Beschreibung der Aufgabenstellung, gefolgt von der Analyse, der Diskussion verschiedener Lösungsansätze und schließlich einer Implementierung im Sinne der beschriebenen Programmiergrundsätze. Die ebenfalls behandelten grafischen Benutzeroberflächen bilden einen weiteren Schwerpunkt dieses Buches.Das Buch bezieht sich auf die aktuelle Version 7 sowie die Version 6.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -The Second Annual Workshop on Privacy and Security, organized by the Center for Interdisciplinary Studies in Information Privacy and Security of the School of C- munication and Information at Rutgers University, was held on May 12, 2008 at the Hyatt Regency, New Brunswick, New Jersey, USA. A few of the papers in this volume were produced through a multi-step process. First, we recorded the talk given by each author at the workshop in May 2008. Next, we transcribed the recording. The authors then produced a draft of their paper from these transcriptions, refining each draft until the final version. Although the papers are not verbatim transcriptions of the talks given, some do retain the informal and conv- sational quality of the presentations. In one instance we have included some material from the question-and-answer period after the talk, since the material covered proved to be relevant and interesting. The majority of authors, however, preferred to include a more formal paper based on the material presented at the workshop.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -work for small problems, but it introduces signi cant accidental complexities when tackling larger problems. Notethattherealchallengehereisnothowtodesignthesystemtotakeap- ticular aspect into account: there is signi cant design know-how in industry on this and it is often captured in the form of design patterns. Taking into account more than one aspect can be a little harder, but many large scale successful projects in industry provide some evidence that engineers know how di erent concerns should be handled. The real challenge is reducing the e ort that the engineerhasto expendwhengrapplingwithmanyinter-dependentconcerns.For example, in a product-line context, when an engineer wants to replace a variant of an aspect used in a system, she should be able to do this cheaply, quickly and safely. Manually weaving every aspect is not an option. Unlike many models used in the sciences, models in software and in lingu- tics have the same nature as the things they model. In software, this provides an opportunity to automatically derive software from its model, that is, to - tomate the weaving process. This requires models to be formal, and the weaving process be described as a program (i.e., an executable meta-model) manipul- ing models to produce a detailed design. The detailed design produced by the weaving process can ultimately be transformed to code or at least test suites.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume contains the papers presented at ADT 2009, the first International Conference on Algorithmic Decision Theory. The conference was held in San Servolo, a small island of the Venice lagoon, during October 20-23, 2009. The program of the conference included oral presentations, posters, invited talks, and tutorials. The conference received 65 submissions of which 39 papers were accepted (9 papers were posters). The topics of these papers range from computational social choice preference modeling, from uncertainty to preference learning, from multi-criteria decision making to game theory. 476 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 9th IEEE Workshop on IP Operations and Management, IPOM 2009, held in Venice, Italy, on October 29-30, 2009, as part of the 5th International Week on Management of Networks and Services, Manweek 2009. The 12 revised full papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers are organized in topical sections on management of quality of services and multimedia, network robustness, management of virtual networks, configuration of network resources and applicationsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Education of the Formal Methods Europe (FME) association. The conference took place as part of the rst Formal Methods Week (FMWeek), held in Ei- hoven, The Netherlands, in November 2009. TFM2009 was a one-day forum in which to explore the successes and fa- ures of formal method (FM) education, and to promote cooperative projects to further educationand training in FMs. The organizersgatheredlecturers,tea- ers,andindustrialpartnersto discusstheir experience,presenttheir pedagogical methodologies, and explore best practices. Interest in FM teaching is growing. TFM2009 followed in a series of events on teaching FMs which includes two BCS-FACS TFM workshops (Oxford in 2003, and London in 2006), the TFM2004 conference (Ghent, 2004, with p- ceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM2006), FORMED (Budapest, at ETAPS2008), and FMET2008 (Kitakyushu, co-located with ICFEM2008). FMs have an important role to play in the development of complex c- puting systems¿a role acknowledged in industrial standards such as IEC61508 and ISO/IEC15408, and in the increasing use of precise modelling notations, semantic markup languages, and model-driven techniques. There is a growing need for software engineers who can work e ectively with simple, mathematical abstractions, and with practical notions of inference and proof.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Mathematical sciences are contributing more and more to advances in life science research, a trend that will grow in the future. Realizing that the mathematical sciences can be critical to many areas of biomedical imaging, we organized a three-day minicourse on mathema- cal modelling in biomedical imaging at the Institute Henri Poincar¿einParis in March 2007. Prominent mathematicians and biomedical researchers were paired to review the state-of-the-art in the subject area and to share mat- maticalinsightsregardingfutureresearchdirectionsinthisgrowingdiscipline. The speakers gave presentations on hot topics including electromagnetic brain activity, time-reversal techniques, elasticity imaging, infrared thermal tomography,acoustic radiationforce imaging, electrical impedance and m- netic resonance electrical impedance tomographies. Indeed, they contributed to this volume with original chapters to give a wider audience the bene t of their talks and their thoughts on the eld. This volume is devoted to providing an exposition of the promising - alytical and numerical techniques for solving important biomedical imaging problems and to piquing interest in some of the most challenging issues. We hope that it will stimulate much needed progress in the directions that were described during the course. The biomedical imaging problems addressed in this volume trigger the investigation of interesting and di cult problems in various branches of mathematics including partialdi erential equations, h- monic analysis, complex analysis, numerical analysis, optimization, image analysis, and signal theory. The partial support o ered by the ANR project EchoScan (AN-06- Blan-0089) is acknowledged. We also thank the sta at the Institute Henri Poincar¿ e.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the reviewed proceedings of the 5th International Workshop on Algorithmic Aspects of Wireless Sensor Networks, ALGOSENSORS 2009, held in Rhodes, Greece, July 10-11, 2009. The 21 full papers and two brief announcements were carefully selected from 41 submissions. This workshops aimed at bringing together research contributions related to diverse algorithmic and complexity-theoretic aspects of wireless sensor networks. The topics include but are not limited to optimization problems, noise and probability, robots and tours.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book contains the best papers of the Third International Conference on Software and Data Technologies (ICSOFT 2008), held in Porto, Portugal, which was organized by the Institute for Systems and Technologies of Information, Communication and Control (INSTICC), co-sponsored by the Workflow Management Coalition (WfMC), in cooperation with the Interdisciplinary Institute for Collaboration and Research on Enterprise Systems and Technology (IICREST). The purpose of ICSOFT 2008 was to bring together researchers, engineers and practitioners interested in information technology and software development. The conference tracks were ¿Software Engineering¿, ¿Information Systems and Data Management¿, ¿Programming Languages¿, ¿Distributed and Parallel Systems¿ and ¿Knowledge Engineering¿. Being crucial for the development of information systems, software and data te- nologies encompass a large number of research topics and applications: from imp- mentation-related issues to more abstract theoretical aspects of software engineering; from databases and data-warehouses to management information systems and kno- edge-base systems; next to that, distributed systems, pervasive computing, data qu- ity and other related topics are included in the scope of this conference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Knowledge Representation for Agents and Multi-Agent Systems, KRAMAS 2008, held in Sydney, Australia, in September 2008 as a satellite event of KR 2008, the 11th International Conference on Principles of Knowledge Representation and Reasoning. The 10 revised full papers presented were carefully reviewed and selected from 14 submissions. The papers foster the cross-fertilization between the KR (knowledge representation and reasoning) and agent communities, by discussing knowledge representation theories and techniques for agent-based systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this volume constitutes a selection of papers presented at the Internatonal Conference on Infinity in Logic and Computation, ILC 2007, held in Cape Town, South Africa, in November 2007.The 7 revised papers presented together with 2 invited talks were carefully selected from 27 initial submissions during two rounds of reviewing and improvement. The papers address all aspects of infinity in automata theory, logic, computability and verification and focus on topics such as automata on infinite objects; combinatorics, cryptography and complexity; computability and complexity on the real numbers; infinite games and their connections to logic; logic, computability, and complexity in finitely presentable infinite structures; randomness and computability; transfinite computation; and verification of infinite state systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -ThepromiseoftheSemanticWeb,atits most expansive, is to allow knowledge to be freely accessed and exchanged by software. It is now recognized that if the SemanticWebis to containdeepknowledge,theneedfornewrepresentationand reasoning techniques is going to be critical. These techniques need to nd the righttrade-o betweenexpressiveness,scalabilityandrobustnesstodealwiththe inherently incomplete, contradictory and uncertain nature of knowledge on the Web. The International Conference on Web Reasoning and Rule Systems (RR) was founded to address these needs and has grown into a major international forum in this area. The third RR conference was held during October 25¿26, 2009 in Chantilly, Virginia, co-located with the International Semantic Web Conference (ISWC 2009). This year 41 papers were submitted from authors in 21 countries. The P- gram Committee performed outstandingly to ensure that each paper submitted to RR 2009 was thoroughly reviewed by at least three referees in a short - riod of time. The resulting conference presented papers of high quality on many of the key issues for reasoning on the Semantic Web. RR 2009 was fortunate to have two distinguished invited speakers. Robert Kowalski, in his talk ¿- tegrating Logic Programming and Production Systems with Abductive Logic Programming Agents¿ addressed some of the fundamental considerations - hind reasoning about evolving systems. Benjamin Grossof¿s talk ¿SILK: Higher Level Rules with Defaults and Semantic Scalability¿ described the design of a major next-generation rule system. The invited tutorial ¿Uncertainty Reas- ing for the Semantic Web¿ by Thomas Lukasiewicz provided perspectives on a central issue in this area.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Distribution of anaphora in natural language and the complexity of its resolution have resulted in a wide range of disciplines focusing their research on this grammatical phenomenon. It has emerged as one of the most productive topics of multi- and int- disciplinary research such as cognitive science, artificial intelligence and human language technology, theoretical, cognitive, corpus and computational linguistics, philosophy of language, psycholinguistics and cognitive psychology. Anaphora plays a major role in understanding a language and also accounts for the cohesion of a text. Correct interpretation of anaphora is necessary in all high-level natural language pr- essing applications. Given the growing importance of the study of anaphora in the last few decades, it has emerged as the frontier area of research. This is evident from the high-quality th submissions received for the 7 DAARC from where the 10 excellent reports on - search findings are selected for this volume. These are the regular papers that were presented at DAARC.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 144 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -TheIMC2009programconsistedofthreeinvitedtalksfrominternational- perts, four tutorials on fundamental techniques related to the conference topics, nine regular paper sessions, and a short paper / poster session. We received close to 50 submissions from 15 countries world-wide. Based on the ano- mous reviews provided by members of the international Program Committee, the Steering Committee recommended accepting 50% of the contributions as regular papers and another 15% as short papers with poster presentation. To our regret there were a few interesting papers that we had to reject. However, the reviewing results showed a high quality as well as an interesting variety of submissions. We would like to thank all authors for carefully preparing the results of their worksubmitted to IMC 2009,thus enabling an interesting and high-quality c- ferenceprogram.Moreover,wearedeeplygratefultoallmembersoftheProgram and Steering Committees for their e orts in quickly and thoroughly evaluating the papers. Finally, our special thanks go to the organizers Ulrike Lucke and Daniel Versick for their great work.They handled all the organizationaltasks as well as the communications, the electronic submission, reviewing, and publi- tion procedure in an e cient and timely manner.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the Third International Conference on Provable Security, ProvSec 2009, held in Guangzhou, China, November 11-13, 2009. The 19 revised full papers and two invited talks presented were carefully reviewed and selected from 64 submissions. The papers are organized in topical sections on encryption, digital signature, cryptographic protocols and reduction and privacy.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The 14th international meeting on DNA computation took place in the Czech Republic in Prague, June 2¿9, 2008. During the last 14 years the DNA C- puting meetings have been the key forum at the boundary between computer science, biochemistry and nanotechnology where the most recent results have been presented and their authors have met. Their scienti c program includes mathematical foundations and theoretical study of DNA computing ¿ or b- computing in general¿ and recent experimental results in DNA nanotechnology, nanoscience and nanocomputing. It continues to be one of the most exciting interdisciplinary meetings, as exempli ed by the diverse nature of contributions in this volume. The meeting began with tutorial talks by Friedrich Simmel (¿Molecular - ology for Computer Scientists¿), Nadrian Seeman (¿Structural DNA Nanote- nology¿), and Yasubumi Sakakibara (¿Formal Grammars for DNA Compu- tion and Bioinformatics¿). During the meeting, a number of excellent keynote speakers gave an up-to-date overview of di erent aspects of DNA computing and biochemical information processing. Luca Cardelli talked about ¿Molecules as Automata,¿ while Niles Pierce gave an exciting talk entitled ¿Molecular Choreography¿ProgrammingNucleicAcidSelf-AssemblyandDisassemblyPa- ways.¿Inamorebiologicaltalk,LauraLandweberdiscussed¿RNA-Guided,E- geneticProgrammingandRe-programmingofGenomicInformationinCiliates,¿ and Ming Li gave an overview of ¿Modern Homology Search.¿ The meeting was concluded by a Nanoday with beautiful presentations by Christof Niemeyer, Kurt Gothelf, Andrew Ellington and David Pine.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The First Asian Conference on Machine Learning (ACML 2009) was held at Nanjing, China during November 2¿4, 2009.This was the rst edition of a series of annual conferences which aim to provide a leading international forum for researchers in machine learning and related elds to share their new ideas and research ndings. This year we received 113 submissions from 18 countries and regions in Asia, Australasia, Europe and North America. The submissions went through a r- orous double-blind reviewing process. Most submissions received four reviews, a few submissions received ve reviews, while only several submissions received three reviews. Each submission was handled by an Area Chair who coordinated discussions among reviewers and made recommendation on the submission. The Program Committee Chairs examined the reviews and meta-reviews to further guarantee the reliability and integrity of the reviewing process. Twenty-nine - pers were selected after this process. To ensure that important revisions required by reviewers were incorporated into the nal accepted papers, and to allow submissions which would have - tential after a careful revision, this year we launched a ¿revision double-check¿ process. In short, the above-mentioned 29 papers were conditionally accepted, and the authors were requested to incorporate the ¿important-and-must¿re- sionssummarizedbyareachairsbasedonreviewers¿comments.Therevised nal version and the revision list of each conditionally accepted paper was examined by the Area Chair and Program Committee Chairs. Papers that failed to pass the examination were nally rejected.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the revised papers of the 14th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2009, which was held in Rome, Italy, in May 2009. The 15 revised papers presented were carefully reviewed and selected from 25 submissions. The papers cover all current issues of job scheduling strategies for parallel processing; this year the conference had an increasing trend towards heterogeneous and multi-core architectures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The Fourth International Workshop on Security (IWSEC 2009) was held at Toyama International Conference Center, Toyama, Japan, October 28¿30, 2009. The workshop was co-organized by CSEC, a special interest group on computer security of the IPSJ (Information Processing Society of Japan) and ISEC, a technical group on information security of IEICE (The Institute of Electronics, Information and Communication Engineers). The excellent Local Organizing Committee was led by the IWSEC 2009 General Co-chairs, Kazuo Takaragi and Hiroaki Kikuchi. IWSEC2009received46papersubmissionsfromallovertheworld.Wewould like to thank all the authors who submitted papers. Eachpaper was reviewedby at least three reviewers. In addition to the Program Committee members, many externalreviewersjoinedthereviewprocessintheirparticularareasofexpertise . We were fortunate to have this energetic team of experts, and are grateful to all of them for their hard work. The hard work includes very active discussion; the discussion phase was almost as long as the initial individual reviewing. The review and discussion were supported by a very nice Web-based system, iChair. We thank its developers. Following the review phases, 13 papers were accepted for publication in this volume of Advances in Information and Computer Security. Together with the contributed papers, the workshop featured an invited talk and a hash function panel both of which were respectively given and chaired by eminent researcher, Bart Preneel (Katholieke Universiteit Leuven). An abstract of the talk, titled ¿TheFutureofCryptographicAlgorithms,¿isincludedinthisvolume.Wedeeply appreciate his contribution. Many people contributed to the success of IWSEC 2009. We wish to - press our deep appreciation for their contribution to informationand computer security.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also contains with 4 invited papers and 6 posters. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Symposium on Stochastic Algorithms, Foundations and Applications, SAGA 2009, held in Sapporo, Japan, in October 2009. The 15 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on learning, graphs, testing, optimization and caching, as well as stochastic algorithms in bioinformatics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed joint proceedings of eight international workshops held in conjunction with the 28th International Conference on Conceptual Modeling, ER 2009, in Gramado, Brazil, in November 2009. The 33 revised full papers presented were carefully reviewed and selected from 100 submissions. Topics addressed by the workshops are active conceptual modeling of learning (ACM-L), conceptual modeling in the large (CoMoL), evolving theories of conceptual modeling (ETheCoM), workshop on foundations and practices of UML (FP-UML), joint international workshop on metamodels, ontologies, semantic technologies, and information systems for the semantic web (MOST-ONISW), quality of information systems (QoIS), requirements, Intentions and goals in conceptual modeling ( RIGiM) and semantic and conceptual issues in geographic information systems (SeCoGIS).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches to Testing of Software, FATES 2009, jointly held in Eindhoven, The Netherlands, in November 2009. The 13 revised full papers presented together with 6 short papers were carefully selected from 37 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume of the Lecture Notes in Computer Science series contains all papers accepted for presentation at the 20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2009), which was held in Venice, Italy, during October 27-28, 2009. DSOM 2009 was the 20th event in a series of annual workshops. It followed in the footsteps of previous successful meetings, the most recent of which were held on Samos, Greece (DSOM 2008), San Jos¿ e, California, USA (DSOM 2007), Dublin, Ireland (DSOM 2006), Barcelona, Spain (DSOM 2005), and Davis, C- ifornia, USA (DSOM 2004). The goal of the DSOM workshops is to bring - gether researchersfromindustry andacademia workingin the areasofnetworks, systems, and service management, to discuss recent advances and foster future growth. In contrast to the larger management conferences, such as IM (Inter- tional Symposium on Integrated Network Management) and NOMS (Network OperationsandManagementSymposium),DSOMworkshopshaveasingle-track program in order to stimulate more intense interaction among participants. 204 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the proceedings of the 4th International Conference on Nano-Networks, Nano-Net 2009, held in Lucerne, Switherland, in October 2009. The 36 invited and regular papers address the whole spectrum of Nano-Networks and spans topis like modeling, simulation, statdards, architectural aspects, novel information and graph theory aspects, device physics and interconnects, nanorobotics as well as nano-biological systems. The volume also contains the workshop on Nano-Bio-Sensing Paradigms as well as the workshop on Brain Inspired Interconnects and Circuits.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Research and development of autonomics have come a long way, and we are - lighted to present the proceedings of the 4th IEEE International Workshop on Modeling Autonomic Communications Environments (MACE 2009). As in the last three years, this workshop was held as part of Manweek, the International Week on Management of Networks and Services, which took place in the cult- ally rich city of Venice in Italy. Manweek is now an umbrella of ve workshops and conferences focusing on di erent aspects of network and service mana- ment, including MACE, distributed operations and management (DSOM), - basedmanagement(IPOM),towardsmultimediaandmobilenetworks(MMNS), and virtualization and middleware for next generation networks (NGNM). F- ther information of Manweek and the individual workshops and conferences can be found atmanweek.org. MACE started as an experiment, in 2006, and created a small community that now nds itself attracted back each year by a feeling of excitement and anticipation to share new advances and development. Certainly, MACE is not as shiny or practiced as other well-known conferences and workshops, but we consider this a feature of the workshop itself. New ideas, a little rough around theedges(andsometimesmorethanalittle),oftenquiteun nished,popoutand provoke extensive discussion. Science needs this kind of exploratory adventure, and we have been strongly motivated to continue preserving this atmosphere of exploration and discussion in this year¿s technical program.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 132 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The book constitutes the joint refereed proceedings of the 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and the 6th International Conference on Applications of Kleene Algebras, AKA 2009, held in Doha, Qatar in November 2009. The 22 revised full papers presented together with 2 invited papers were carefully reviewed and selected from numerous submissions. The papers describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with special focus on formal methods for software engineering, logics of programs and links to neighbouring disciplines. Their scope comprises relation relation algebras and Kleene algebras, related formalisms such as process algebras, fixed point calculi, idempotent semirings, quantales, allegories, dynamic algebras, cylindric algebras and their applications in areas such as verification, analysis and development of programs and algorithms relational formal methods such as B or Z, tabular methods, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics, algebraic semantics of programming languages , graph theory and combinatorial optimization, games, automata and language theory, mechanised and automated reasoning, decision procedures, spatio-temporal reasoning, knowledge acquisition, preference and scaling methods or information systems. 376 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -As intelligent autonomous agents and multiagent system applications become more pervasive, it becomes increasingly important to understand the risks associated with using these systems. Incorrect or inappropriate agent behavior can have harmful - fects, including financial cost, loss of data, and injury to humans or systems. For - ample, NASA has proposed missions where multiagent systems, working in space or on other planets, will need to do their own reasoning about safety issues that concern not only themselves but also that of their mission. Likewise, industry is interested in agent systems that can search for new supply opportunities and engage in (semi-) automated negotiations over new supply contracts. These systems should be able to securely negotiate such arrangements and decide which credentials can be requested and which credentials may be disclosed. Such systems may encounter environments that are only partially understood and where they must learn for themselves which aspects of their environment are safe and which are dangerous. Thus, security and safety are two central issues when developing and deploying such systems. We refer to a multiagent system¿s security as the ability of the system to deal with threats that are intentionally caused by other intelligent agents and/or s- tems, and the system¿s safety as its ability to deal with any other threats to its goals.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch.