springer berlin springer berlin heidelberg springer sep 2009 (291 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -Die Fallsammlung enthält 15 Klausuren mit Musterlösungen, die systematisch die prüfungsrelevanten Schwerpunkte des Handelsrechts abdecken. In der Randspalte ist zusätzlich der Lösungsweg stichwortartig angegeben, um einen schnellen Überblick zu ermöglichen. Anmerkungen mit weiterführenden Hinweisen runden die Klausurlösungen ab. In gesonderten Abschnitten vermittelt der Autor das notwendige handelsrechtliche Basiswissen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Ein gutes Verständnis mathematischer Methoden erfordert eine Menge Übung. Zu diesem Zweck bietet das vorliegende Buch eine Vielzahl von Aufgaben mit Lösungen zu den für die Wirtschaftswissenschaften wichtigen mathematischen Themen. Die thematische Zusammenstellung der Aufgaben orientiert sich dabei in erster Linie am Aufbau des Lehrbuches von Riedel und Wichardt. Die konkrete inhaltliche Ausgestaltung der Aufgaben und Lösungen macht das Buch aber auch unabhängig vom Lehrwerk zu einem nützlichen Studienbegleiter.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Wie kann man geometrische Objekte und Operationen so darstellen, dass sie durch möglichst einfache algebraische Manipulationen verarbeitet werden können Dies ist die Leitfrage dieses Buches, welche im Verlauf von insgesamt 12 Kapiteln von verschiedenen Seiten beleuchtet wird. Unter diesem Blickwinkel werden Einführungen in projektive Geometrie, geometrische Invariantentheorie, Euklidische Geometrie (unter besonderer Berücksichtigung komplexer Zahlen) Möbiusgeometrie, und Lie¿sche Kreisgeometrie gegeben. Hierbei liegt der Schwerpunkt auf Eleganz der Methoden, welche nicht selten automatisch zu eleganten algorithmischen Ansätzen führen. Für den Leser stellt das Buch eine Brücke vom Grundwissen in der Linearen Algebra zu modernen (und klassischen) Ansätzen der Geometrie dar. Neben zahlreichen Übungsaufgaben, Abbildungen und im Internet verfügbaren interaktiven Visualisierungen wird jedes Kapitel durch einen ¿Exkurs' ergänzt, der Einblicke in Anwendungen oder weiterführende Themen gibt. Das Buch richtet sich an Studierende und Dozenten der Mathematik, Informatik und Physik ab dem dritten Semester.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Statistische Verfahren werden sowohl in der Wirtschaft als auch in den Natur- und Sozialwissenschaften eingesetzt. Die Statistik gilt trotzdem als schwierig. Um diese Hemmschwelle zu überwinden, geben die Autoren eine didaktisch ausgefeilte, anwendungsbezogene Einführung in die Methoden der deskriptiven Statistik und Datenanalyse. Anhand praxisnaher Beispiele werden die Ideen des Datenmanagements und der Datenauswertung unter Einsatz von SPSS und R beschrieben. Viele Übungsaufgaben (mit Lösungen) unterstützen das (Selbst-) Studium der Leser. Das Buch deckt den Stoff Statistik I an deutschsprachigen Universitäten vollständig ab. Neu in dieser Auflage ist eine Einführung in die logistische Regression, deren Konzept auch anhand der statistischen Software SPSS und R erläutert wird. Des Weiteren wurden viele Beispiele und Übungsaufgaben thematisch überarbeitet.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Der moderne Wirtschaftswissenschaftler hat profunde Kenntnisse der Mathematik. Mit Hilfe mathematischer Methoden werden heute etwa Optionsscheine an der Börse bewertet oder Auktionen entworfen. Zudem bildet die Mathematik die Basis für empirisches Arbeiten mit Hilfe statistischer Methoden. In allen Arbeitsfeldern des Ökonomen ist somit eine gute ökonomische Intuition gepaart mit mathematischem Sachverstand unerlässlich geworden. Im Unterschied zu vielen anderen Lehrbüchern beschränkt sich dieses Buch nicht auf die Besprechung der verschiedenen Methoden und auf ein reines Aufreihen der verschiedenen Regeln und Theoreme. Vielmehr beweisen die Autoren die wichtigsten Aussagen, um dem Leser ein Verständnis für die Richtigkeit mathematischer Aussagen und Beweistechniken zu vermitteln. Des Weiteren werden alle mathematischen Methoden auch an Hand von ökonomischen Beispielen verdeutlicht.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Der Vorzug dieses Skripts liegt in der radikalen Konzentration auf das Wesentliche: Abgedeckt wird ein breites Spektrum mathematischer Konzepte und Methoden, die für die heutige Physik relevant sind. Auf Details wird überall dort verzichtet, wo sie sich in über 30 Jahren Lehrerfahrung als wenig erhellend erwiesen haben. Bei etwa 70¿80 % der Aufgaben geht es um das Einüben von Rechentechniken. Mit den übrigen Aufgaben werden Begriffe geklärt, Beweisschritte nachgetragen, logisches Argumentieren geübt oder Ausblick auf weiterführenden Stoff gegeben.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 496 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Echtzeitsysteme sollen anfallende Daten unter Einhaltung von Zeitanforderungen verarbeiten. Deshalb hängt deren korrekte Funktion nicht nur von den Berechnungsergebnissen ab, sondern auch vom Zeitpunkt ihrer Erzeugung. Das Buch stellt den Stand der Entwicklungsmethodik von Software für eingebettete Systeme mit kritischen Zeitbedingungen umfassend dar. Die Autoren behandeln grundlegende Konzepte, Analyse und Entwurf, Synchronisation und Konsistenz, Betriebssysteme, Vernetzung, Programmierung, Qualität und Sicherheit sowie Ausführungszeitschranken.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Studenten im Praktischen Jahr stehen unter einem immensen Druck. Die Vorbereitungszeit für das 'Hammerexamen' ist kürzer geworden und die Studierenden müssen sich schon während des PJ darauf vorbereiten.Für eine gezielte Vorbereitung ist 'Psychiatrie, Psychosomatik und Psychotherapie.in fünf Tagen' dafür perfekt geeignet. Die Inhalte sind so aufgeteilt, dass die komplette Psychiatrie, Psychosomatik und Psychotherapie in fünf Tagen gelernt werden kann.Die Inhalte sind gewichtet nach der Häufigkeit der Fragen im IMPP - so können die Studierenden sicher sein, dass sie sich auf die wesentlichen Dinge konzentrieren und sich nicht in Details verlieren.Für das Hammerexamen das perfekte Repetitorium.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -The book in front of you contains the proceedings of SAC 2008, the 15th - nual Workshop on Selected Areas in Cryptography. SAC 2008 took place during August 14¿15 at Mount Allison University, Sackville, New Brunswick, Canada. This was the rst time that SAC was hosted in New Brunswick, and the second time in an Atlantic Canadian province. Previous SAC workshops were held at Queen¿s University in Kingston (1994, 1996, 1998, 1999, and 2005), at Carleton University in Ottawa (1995, 1997, 2003), at the University of Waterloo (2000, 2004), at the Fields Institute in Toronto (2001), at Memorial University of N- foundland at St. John¿s (2002), at Concordia University in Montreal (2006) and at the University of Ottawa (2007). The intent ofthe workshopseriesis to provide a relaxedatmospherein which researchers in cryptography can present and discuss new work on selected areas of current interest. The SAC workshop series has rmly established itself as an international forum for intellectual exchange in cryptological research. Theresponsibilityforchoosingthe venueofeachSACworkshopandappoi- ingtheCo-chairslieswiththeSACOrganizingBoard.TheCo-chairsthenchoose the Program Committee in consultation with the Board. Hence, we would like to expressour gratitudeto the SAC OrganizingBoardfor giving usthe mandate to organize SAC 2008, and for their invaluable feedback while assembling the Program Committee.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The International Workshop on Hybrid Metaheuristics was established with the aim of providing researchers and scholars with a forum for discussing new ideas and research on metaheuristics and their integration with techniques typical of other elds. The papers accepted for the sixth workshop con rm that such a combination is indeed e ective and that several research areas can be put together.Slowlybut surely,thisprocesshasbeen promotingproductivedialogue amongresearcherswithdi erentexpertiseanderodingbarriersbetweenresearch areas. The papers in this volume give a representativesample of current researchin hybrid metaheuristics. It is worth emphasizing that this year, a large number of papers demonstrated how metaheuristics can be integrated with integer linear programmingandotheroperationsresearchtechniques.Constraintpro gramming is also featured, which is a notable representative of arti cial intelligence solving methods. Most of these papers are not only a proof of concept ¿ which can be valuable by itself ¿ but also show that the hybrid techniques presented tackle di cult and relevant problems. In keeping with the tradition of this workshop, special care was exercised in the review process: out of 22 submissions received, 12 papers were selected on the basis of reviews by the Program Committee members and evaluations by the Program Chairs. Reviews were in great depth: reviewers sought to p- vide authors with constructive suggestions for improvement. Special thanks are extended to the Program Committee members who devoted their time and - fort. Special gratitude is due to Andrea Lodi and Vittorio Maniezzo, who both accepted our invitation to give an overview talk.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The Joint Workshop on ¿Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security¿ (ARSPA-WITS 2009) was held in York, UK, March 28¿29, 2009, in association with ETAPS 2009. ARSPA is a series of workshops on ¿Automated Reasoning for Security P- tocol Analysis,¿ bringing together researchers and practitioners from both the security andthe formalmethods communities,from academiaand industry,who are working on developing and applying automated reasoning techniques and tools for the formal speci cation and analysis of security protocols. The rst two ARSPA workshops were held as satellite events of the Second International JointConferenceon Automated Reasoning(IJCAR 2004)andof the 32nd Int- nationalColloquiumonAutomata,LanguagesandProgramming(ICALP2005), respectively. ARSPA then joined forces with the workshop FCS (Foundations of Computer Security): FCS-ARSPA 2006 was a liated with LICS 2006, in the context of FLoC 2006,and FCS-ARSPA 2007 was a liated with LICS 2007 and ICALP 2007. WITSistheo cialannualworkshoporganizedbytheIFIP WG1.7on¿T- oretical Foundations of Security Analysis and Design,¿ established to promote the investigation on the theoretical foundations of security, discovering and p- moting new areas of application of theoretical techniques in computer security and supporting the systematic use of formal techniques in the development of security-related applications. This is the ninth meeting in the series. In 2008, ARSPA and WITS joined with the workshop on Foundations of Computer - curityFCSforajointworkshop,FCS-ARSPA-WITS2008,associatedwithLICS 2008 and CSF 21.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -First established in 1993 with a conference in Elba, Italy, COSIT (the International C- ference on Spatial Information Theory) is widely acknowledged as one of the most - portant conferences for the field of spatial information theory. This conference series brings together researchers from a wide range of disciplines for intensive scientific - changes centered on spatial information theory. COSIT submissions typically address research questions drawn from cognitive, perceptual, and environmental psychology, geography, spatial information science, computer science, artificial intelligence, cog- tive science, engineering, cognitive anthropology, linguistics, ontology, architecture, planning, and environmental design. Some of the topical areas include, for example, the cognitive structure of spatial knowledge; events and processes in geographic space; incomplete or imprecise spatial knowledge; languages of spatial relations; navigation by organisms and robots; ontology of space; communication of spatial information; and the social and cultural organization of space to name a few. This volume contains the papers presented at the 9th International Conference on Spatial Information Theory, COSIT 2009, held in Aber Wrac¿h, France, September 21¿25, 2009. For COSIT 2009, 70 full paper submissions were received. These papers were carefully reviewed by an international Program Committee based on relevance to the conference, intellectual quality, scientific significance, novelty, relation to previously published literature, and clarity of presentation. After reviewing was completed, 30 papers were selected for presentation at the conference and appear in this volume. This number of papers reflects the high quality of submissions to COSIT this year. 520 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the proceedings of the Third International Workshop on Critical Information Infrastructure Security (CRITIS 2008),which was held - tober 13¿15, 2008 in Villa Mondragone (Rome), Italy, and was co-organized by AIIC (The Italian Society of Critical Infrastructures Experts) and ENEA (The Italian National Agency for New Technology, Energy and the Environment). This year¿s workshop was focused on an interdisciplinary and multifaced - alogue about the third millennium security strategies for critical information infrastructures (CII) and their protection (CIP). The aim was to explore the new challenges posed by the CII, bringing together researchersand professionals from universities, private companies and public administrations interested in all security-related aspects, and actively involved in the scienti c communities at a national, European and trans-European level. More than 70 papers were submitted to the conference, which were screened by a very selective double-blind review process to identify the 39 papers selected for presentation, based on their signi cance, novelty and technical quality. - visions were not checked and the authors bear full responsibility for the content of their papers. CRITIS 2008 also had six outstanding invited speakers: Erol Gelenbe (- perial College, UK), Massoud Amin (University of Minnesota, USA), George Apostolakis(MIT,USA),AndreaValboni(Microsoft,Italy),SujeetShenoi(U- versity of Tulsa, USA) and Angelo Marino (DG Information Society and Media, European Commission).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009. The 18 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 40 submissions. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in the modelling and analysis of timed systems.Typical topics include (but are not limited to): ¿ Foundations and Semantics. Theoretical foundations of timed systems and languages; comparison between different models (timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models). ¿ Methods and Tools. Techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.). ¿ Applications. Adaptation and specialization of timing technology in application domains in which timing plays an important role (real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires a greater emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. This state-of-the-art survey presents the outcome of the 7th Symposium on Formal Methods for Components and Objects, held in Sophia Antipolis, France, in October 2008. The volume contains 14 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the IST-FP7 project COMPAS on compliance-driven models, languages, and architectures for services; the IST-FP6 project CREDO on modelling and analysis of evolutionary structures for distributed services; the IST-FP7 DEPLOY on industrial deployment of advanced system engineering methods for high productivity and dependability; the IST-FP6 project GridComp on grid programming with components; and the IST-FP6 project MOBIUS aiming at developing the technology for establishing trust and security for the next generation of global computers, using the proof carrying code paradigm.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The objective of this state-of-the-art survey is to give a coherent overview of the main topics and results achieved by the Network of Excellence REWERSE on 'Reasoning on the Web', funded by the European Commission and Switzerland within the '6th Framework Programme' (FP6), from 2004 to 2008. The material has been organized into eight chapters, each of which addresses one of the main topics of REWERSE: hybrid reasoning with rules and ontologies, lessons in versatility or how query languages adapt to the Web, evolution and reactivity in the Semantic Web, rule-based policy representations and reasoning, component models for Semantic Web languages, controlled English for reasoning on the Semantic Web, semantic search with GoPubMed, and information integration in bioinformatics with ontologies and standards. Each chapter gives an in-depth coverage of the subject and provides an extensive bibliography with pointers to further literature.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -On behalf of the Program Committee, it is our pleasure to present the p- ceedings of the 12th International Symposium on Recent Advances in Intrusion Detection systems (RAID 2009),which took place in Saint-Malo,France, during September 23¿25. As in the past, the symposium brought together leading - searchers and practitioners from academia, government, and industry to discuss intrusion detection research and practice. There were six main sessions prese- ingfullresearchpapersonanomalyandspeci cation-basedapproaches,malware detection and prevention, network and host intrusion detection and prevention, intrusion detection for mobile devices, and high-performance intrusion det- tion. Furthermore, there was a poster session on emerging research areas and case studies. The RAID 2009ProgramCommittee received59 full paper submissionsfrom all over the world. All submissions were carefully reviewed by independent - viewers on the basis of space, topic, technical assessment, and overall balance. The nal selection took place at the Program Committee meeting on May 21 in Oakland, California. In all, 17 papers were selected for presentation and p- lication in the conference proceedings. As a continued feature, the symposium accepted submissions for poster presentations which have been published as - tended abstracts, reporting early-stage research, demonstration of applications, or case studies. Thirty posters were submitted for a numerical review by an independent, three-person sub-committee of the Program Committee based on novelty, description, and evaluation. The sub-committee recommended the - ceptance of 16 of these posters for presentation and publication. The success of RAID 2009 depended on the joint e ort of many people.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -MobiSec 2009 was the first ICST conference on security and privacy in mobile information and communication systems. With the the vast area of mobile technology research and application, the intention behind the creation of MobiSec was to make a small, but unique contribution to build a bridge between top-level research and large scale application of novel kinds of information security for mobile devices and communication.The papers at MobiSec 2009 dealt with a broad variety of subjects ranging from issues of trust in and security of mobile devices and embedded hardware security, over efficient cryptography for resource-restricted platforms, to advanced applications such as wireless sensor networks, user authentication, and privacy in an environment of autonomously communicating objects. With hindsight a leitmotif emerged from these contributions, which corrobarated the idea behind MobiSec; a set of powerful tools have been created in various branches of the security discipline, which await combined application to build trust and security into mobile (that is, all future) networks, autonomous and personal devices, and pervasive applicationsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the revised lecture notes corresponding to the lectures given at the 6th International School on Advanced Functional Programming, AFP 2008, held in Heijen, a little village in the woodlands near the city of Nijmegen, The Netherlands, May 19-24, 2008. AFP 2008 was co-located with TFP 2008, the 9th Symposium on Trends in Functional Programming [see P. Achten,P.Koopman,M.Marazan ¿ : Trends in Functional Programming volume 9, ISBN 978-1-84150-277-9,Intellect]. The school attracted 62 participants from 19 countries, a record, including the lecturers and organizers. This event was precededby veearlierinstancesinB astad,Sweden(1995,LNCS925),Olympia, WA, USA (1996, LNCS 1129), Braga,Portugal(1998, LNCS 1608), Oxford, UK (2002, LNCS 2638) and Tartu, Estonia, (2004, LNCS 3622). The goals of the series of Advanced Functional Programming schools are: ¿ Bringing computer scientists, in particular young researchers and progr- mers, up to date with the latest functional programming techniques. ¿ Showinghowtouseadvancedfunctionalprogrammingtechniquesin¿progr- ming in the real world¿. ¿ Bridgingtheeducationalgapbetweenresultspresentedatconferencesonthe one side and material as presented in introductory textbooks on the other side.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the research papers presented at the Joint 2101 & 2102 International Conference on Biometric ID Management and Multimodal Communication. BioID_MultiComm'09 is a joint International Conference organized cooperatively by COST Actions 2101 & 2102. COST 2101 Action is focused on 'Biometrics for Identity Documents and Smart Cards (BIDS)', while COST 2102 Action is entitled 'Cross-Modal Analysis of Verbal and Non-verbal Communication'. The aim of COST 2101 is to investigate novel technologies for unsupervised multimodal biometric authentication systems using a new generation of biometrics-enabled identity documents and smart cards. COST 2102 is devoted to develop an advanced acoustical, perceptual and psychological analysis of verbal and non-verbal communication signals originating in spontaneous face-to-face interaction, in order to identify algorithms and automatic procedures capable of recognizing human emotional states. 376 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the International Conference on Personal Satellite Services (PSATS 2009) in Rome, Italy in March 2009.The 17 papers papers demonstrate recent advances in Internet applications over satellites, satellites technologies, and future satellite location-based systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Computer Vision Systems, ICVS 2009, held in Liege, Belgium, October 13-15, 2009.The 21 papers for oral presentation presented together with 24 poster presentations and 2 invited papers were carefully reviewed and selected from 96 submissions. The papers are organized in topical sections on human-machine-interaction, sensors, features and representations, stereo, 3D and optical flow, calibration and registration, mobile and autonomous systems, evaluation, studies and applications, learning, recognition and adaption.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -e ciently.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -the website multimodal-corpora.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 7th German Conference on Multiagent Systems Technologies, MATES 2009, held in Hamburg, Germany in September 2009 - colocated with the 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA X) and the 5th International Workshop on Modelling of Objects, Components, and Agents (MOCA 2009). The 14 revised full papers, 10 short papers, and 5 exhibition papers presented together with one invited talk were carefully reviewed and selected from 44 submissions. The papers present and discuss the latest advances of research and development in the area of autonomous agents and multiagent systems ranging from theoretical and methodological issues to applications in various fields. 308 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the proceedings of the Second International Workshop on Mobile Entity Localization and Tracking in GPS-less Environments (MELT 2009), held in Orlando, Florida on September 30, 2009 in conjunction with the 11th International Conference on Ubiquitous Computing (Ubicomp 2009). MELT provides a forum for the presentation of state-of-the-art technologies in mobile localization and tracking and novel applications of location-based s- vices. MELT 2009 continued the success of the rst workshop in the series (MELT 2008), which was held is San Francisco, California on September 19, 2008 in conjunction with Mobicom. Location-awareness is a key component for achieving context-awareness. - cent years have witnessed an increasing trend towards location-based services and applications. In most cases, however, location information is limited by the accessibility to GPS, which is unavailable for indoor or underground fac- ities and unreliable in urban environments. Much research has been done, in both the sensor network community and the ubiquitous computing community, to provide techniques for localization and tracking in GPS-less environments. Novel applications based on ad-hoc localization and real-time tracking of - bile entities are growing as a result of these technologies. MELT brings together leaders from both the academic and industrial research communities to discuss challenging and open problems, to evaluate pros and cons of various approaches, to bridge the gap between theory and applications, and to envision new research opportunities.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -ICSR is the premier international conference in the eld of software reuse. The main goal of ICSR is to present the advances and improvements within the software reuse domain, as well as to promote interaction between researchers and practitioners. The 11th International Conference on Software Reuse (ICSR 2009) was held during September 27¿30, 2009 in Falls Church, VA, USA. 2009 was the year that ICSR went back to its roots. The theme was ¿Formal Foundations of Reuse and Domain Engineering.¿ We explored the theory and formal foundations that underlie current reuse and domain engineering practice and looked at current advancements to get an idea of where the eld of reuse was headed. Manyof the papers in these proceedings directly re ect that theme. The following workshops were held in conjunction with ICSR 2009: ¿ Second Workshop on Knowledge Reuse (KREUSE 2009) ¿ RESOLVE 2009: Software Veri cation ¿ the Cornerstone of Reuse ¿ First International Workshop on Software Ecosystems ¿ International Workshop on Software Reuse and Safety (RESAFE 2009) Aside from these workshops and the papers found here, the conference also included ve tutorials, eight tool demos, and a doctoral symposium. Links to all of this information and more can be found at the ICSR 11 conference website at icsr11.isase.org.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Workshop on Haptic and Audio Interaction Design, HAID 2009 held in Dresden, Germany in September 2009. The 17 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on haptic communication and perception, navigation and guidance, visual impairment, vibrotactile feedback and music, multimodal user interfaces: design and evaluation, and multimodal gaming. 180 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the papers presented at the 14th SDL Forum, Bochum, Germany entitled Design for Motes and Mobiles. The SDL Forum has been held every two years for the last three decades and is one of the most important open events in the calendar for anyone from academia or industry involved in System DesignLanguagesandmodelling technologies. It is a primary conference event for discussion of the evolution and use of these languages. The most recent innovations, trends, experiences, and concerns in the eld are discussed and presented. The SDL Forum series addresses issues related to the modelling and analysis of reactive systems, distributed systems, and real-time and complex systems such as telecommunications, automotive, and aerospace applications. The intended audience of the series includes users of modelling techniques in industrial, research, and standardization contexts, as well as tool vendors and language researchers. Of course, during the last three decades languages, associated methods, and tools have evolved and new ones have been developed. The application domain haschangedalmostbeyondrecognition. Threedecadesagothemobiletechnology of today was science ction, whereas now we nd software systems embedded in inexpensive childrens¿ toys. More recently multi-core processors have become common technology for consumer computers, and are beginning to be applied in smalldevices. Eveninsmallco-operating,independently poweredremotedevices (such as motes and mobile phones), there is enough memory and processing power to support quite sophisticated operating systems and applications. 272 pp. Englisch.