springer berlin heidelberg sep 2009 (168 results)

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Fallsammlung bietet Studierenden eine gezielte und effektive Prüfungsvorbereitung: Sie enthält 15 Klausuren mit Musterlösungen, die systematisch die prüfungsrelevanten Schwerpunkte des Handelsrechts abdecken. Um einen schnellen Überblick zu ermöglichen, erläutert der Autor in der Randspalte zusätzlich den Lösungsweg stichwortartig und gibt weiterführende Hinweise. In gesonderten Abschnitten vermittelt er das notwendige handelsrechtliche Basiswissen. Für die 2. Auflage wurde der Rechtsstand vom 1.8.2009 berücksichtigt. 256 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Nur mit einer Menge Übung gelangt man zu einem tiefen Verständnis mathematischer Methoden. Dafür bietet der Band eine Vielzahl von Aufgaben mit Lösungen, die sich jeweils an den für die Wirtschaftswissenschaften wichtigen mathematischen Themen orientieren. Die Zusammenstellung der Aufgaben ist dabei in erster Linie am Lehrbuch von Riedel und Wichardt ausgerichtet, der Band kann aber ebenso gut unabhängig vom Lehrwerk als Studienbegleiter genutzt werden. 148 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 240 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das bewährte Lehrbuch zur konstruktiven Gestaltung von Kurvengetrieben baut in der Neuauflage auf den bewährten Inhalten - einschließlich Hilfsmittel für den Konstrukteur und Simulationssoftware SAM - auf und ist von Wolfgang Thonfeld und Adrian Rankers erneut aktualisiert worden. Das Kapitel 'Synthese, Analyse und Optimierung' wurde vollständig überarbeitet, das Kapitel 'Schnelleinstieg in das Programm SAM' neu hinzugefügt. Eine persönliche Jahreslizenz der Software SAM (Light) kann gratis beim Autor beantragt werden. 280 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 408 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 356 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ah - Sie lassen sich von etwas dickeren Büchern nicht abschrecken. Offenbar fühlen Sie sich nicht ganz so gehetzt wie viele andere Zeitgenossen - auf der Jagd nach Erfolg, Glück, Lust, Reichtum oder Gesundheit. Das ist gut so. Denn zumeist bleibt diese Jagd erfolglos. Nur drei von zehn Deutschen sind glücklich mit ihrem Leben; in vielen westlichen Ländern ist die Krankheit Depression auf dem Vormarsch. Es ist eben nicht getan mit sieben oder dreizehn »ganz einfachen« Ratschlägen oder mit ein paar eso- rischen Praktiken. Erfolg, Glück und Gesundheit sind sehr komplexe Phänomene, die aus Ihrer Persönlichkeit als Ganzes erwachsen (oder auch nicht). Sie können Ihre Chancen auf Erfolg, Glück und Gesundheit nur dann durchgreifend und nachhaltig steigern, wenn Sie einen Weg finden, Ihre Gesamtpersönlichkeit systematisch und tiefgreifend zu entwickeln. Hierbei möchte ich Ihnen mit meinem Buch umfassend Hilfestellung leisten. Der erste Schritt ist ein gründliches Verstehen: Wie arbeitet der kreative Mechanismus der Evolution, der das menschliche Gehirn geschaffen hat Wie sind Aufbau und Funktion der Psyche vor diesem Hintergrund zu sehen Wie und aus welchen Kraftquellen heraus entwickelt sich die Persönlichkeit Was ist das Geheimnis ihrer Kreativität und ihres Charismas Aus diesem komplexen Kontext heraus gilt es dann im zweiten Schritt, mentale Werkzeuge und förderliche Lebenseinstellungen zu entwickeln. Diese Tools dienen zum einen der inneren Befreiung: Sie sollen es uns ermöglichen, jederzeit und weitestgehend innere Spannungen zu lösen. Dann können sich die Wahrnehmungs- und Handlungspotenziale unseres Selbst immer optimal entfalten. 362 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Cette introduction aux concepts probabilistes et au calcul des probabilités s'adresse aux élèves-ingénieurs ou aux étudiants qui ne se destinent pas a priori à une carrière en mathématiques. La présentation, bien qu'utilisant le formalisme moderne, ne fait donc pas appel à une connaissance préalable de la Théorie de la Mesure et de l'Intégration. En revanche, l'auteur insiste tout au long du livre sur l'aspect essentiel de la modélisation, à l'aide d'exercises variés en génétique (processus de branchement) en théorie des communicaitons (transmission de données, codage), en théorie du signal (filtre de Kalman-Bucy), en recherche opérationnelle (fils d'attente) en statistique (tests d'hypothèses), etc. Une dernière caractéristique importante de ce livre est la présence d'une centaine d'exercices avec solutions détaillées. 320 pp. Französisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Der große Vorzug des Goldhornschen Skripts liegt in seiner kompromißlosen Konzentration aufs Wesentliche. Im einzelnen:Die Auswahl des Stoffes deckt ein breites Spektrum mathematischer Konzepte und Methoden ab, die für die heutige Physik relevant sind. Im Gegenzug wird das bei vielen Dozenten und Buchautoren so beliebte Herumreiten auf angeblich erhellenden Einzelheiten überall dort vermieden, wo sie sich in der Praxis als nicht wirklich erhellend erwiesen haben. Gerade in dieser Hinsicht wurde das Skript im Laufe einer langjährigen Lehrerfahrung immer weiter optimiert. Die umfangreiche Sammlung von Übungsaufgaben liefert natürlich etliche Details nach, die in der Vorlesung vermißt werden könnten.Die Anordnung des Materials folgt nicht so sehr einer mathematischen Systematik als vielmehr den kurrikularen Bedürfnissen des Physikstudiums. Das wirkt zwar oft etwas unkonventionell, vermeidet aber den verbreiteten Mißstand, daß wichtige mathematische Begriffe und Methoden von den Dozenten der Physik ad hoc eingeführt werden müssen, weil das betreffende Material im mathematischen Grundkurs erst viel später an der Reihe ist. Dabei werden auch Vorwärtszitate in Kauf genommen, und diese werden didaktisch nutzbringend eingesetzt, indem abstraktere und für die Studierenden schwer motivierbare theoretische Überlegungen zurückgestellt werden, bis sie schließlich als Lösung eines schon durch mehrfache Erfahrung vertrauten Problems in Erscheinung treten.Die Präsentation und sprachliche Ausgestaltung folgt dem Prinzip, daß gute Didaktik nicht darin besteht, möglichst viele Worte zu machen, sondern durch wenige gut gewählte Worte erreicht wird, unterstützt durch geeignete Illustrationen und ein breites Angebot von sinnvollen Übungsaufgaben.Die meisten Behauptungen werden auch bewiesen oder hergeleitet, doch handelt es sich nur im Ausnahmefall um die detaillierte Ausführung eines mathematisch rigorosen Beweises. Zumeist ist es eine recht knappe Darstellung des prinzipiellen Gedankengangs, manchmal unterstützt durch Veranschaulichungen oder physikalische Motivationen. Die Beweisteile, die am ausführlichsten dargestellt sind, sind Rechengänge, wie sie auch für die Praxis des Physikers typisch sind. Manchmal wird ein leichter Spezialfall bewiesen und die dringend benötigte allgemeinere Version schlicht berichtet.Hier und da werden exemplarisch auch mathematische Beweise in aller Strenge und Ausführlichkeit dargeboten, um die Studierenden mit der mathematischen Denk- und Ausdrucksweise zu konfrontieren und ihre Kritikfähigkeit bezüglich mathematischer Vertrauenswürdigkeit einer Argumentation zu schulen. Dies scheint mir in der Tat - zumindest f ur die begabteren Studierenden - ein wichtiger Aspekt zu sein, angesichts einer schier unübersehbaren Flut von Fachliteratur, bei der junge Wissenschaftler es oft als eine Herausforderung empfinden, zwischen vertrauenswürdigen und weniger vertrauenswürdigen Beiträgen zu unterscheiden.- Am anderen Ende des Spektrums finden sich ab und zu auch knappe Ergebnisberichte über tiefliegende Resultate, die den Rahmen der Vorlesung sprengen würden.Die Aufgabensammlung enthält etwa zu 70 - 80 % Aufgaben, bei denen das Schwergewicht auf dem Einüben von Rechentechniken liegt. Theoretische Aufgaben, die helfen, Begriffe zu klären, Beweisschritte nachzutragen, logisches Argumentieren zu üben oder Ausblicke auf zusätzlichen Stoff zu geben, sind durchaus vertreten, aber nur zu 20 - 30 %.Zu dem Skript gehört ein sorgfältig gestaltetes Glossar ('Kurzfassung'), das alle formalen Definitionen und Sätze enthält und als Nachschlagewerk zur Klausur- und Prüfungsvorbereitung an die Studierenden verkauft wurde.Die Beweise und Beweisskizzen des Skripts enthalten häufig Argumentationen, die eigentlich mathematisch nicht haltbar sind. In vielen Fällen ist es möglich, sie durch korrekte Beweisschritte zu ersetzen, ohne den Text aufzublähen, und dies möchte ich selbstverständ 496 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Welcome to the proceedings of the 4th European Conference on Smart Se- ing and Context hosted by the Centre for Communication Systems Research, University of Surrey, in Guildford, UK. Smart sensing and context are the key enablers for e ective autonomous systems, providing transparent technologies to realize the vision of ubiquitous computing, intelligent services and networking. (Wireless) Sensor and actuator networks,tightly integratedinto the structure of the Internet provide the und- lying manifestation of the physical world into the Internet of Things. Networked sensorscaninfercontextfromrawdataandcaptureuserandapplicationneedsto provide smart adaptive services. Higher-level context can be deducted locally or remotelybycombining andabstractinginformationfromsmartsensors. The 4th European Conference on Smart Sensing and Context explored new techniques, algorithmsandarchitectures onutilizing contextandcontext-awareservicesand their applications. The conference builds on the success of the past editions held in Zu rich, Switzerland in 2008, in Kendal, UK in 2007 and in Enschede, The Netherlands in 2006. EuroSSC is a forum to exchange ideas and to discuss the most recent developments in smart sensing and context eld. It explores the latest ndings and state-of-the-art developments in technology, covering human and user aspects. The main topics discussed this year focused on embedded - plications, context-aware platforms, context processing, semantic technologies, mobile platforms and real-worlddeployment and exploitation scenarios. The - velopment of integrating sensor and actuator networks and context-platforms in a wider scale setting has added a new dimension to global networks and has - abled users and applications to interact with the physical world more e ciently. 232 pp. Englisch.

Taschenbuch. Condition: 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. 396 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -th TSD 2009was the 12 eventin the series of InternationalConferenceson Text, Speech andDialoguesupportedbytheInternationalSpeechCommunicationAssociation(ISCA) and Czech Society for Cybernetics and Informatics (CSKI). This year, TSD was held in Plzen (Pilsen), in the Primavera Conference Center, during September 13 17, 2009 and it was organized by the University of West Bohemia in Plzen in cooperation with Masaryk University of Brno, Czech Republic. Like its predecessors, TSD 2009 hi- lighted to both the academic and scienti c world the importance of text and speech processing and its most recent breakthroughsin current applications. Both experienced researchers and professionals as well as newcomers to the text and speech processing eld, interested in designing or evaluating interactive software, developing new int- action technologies, or investigatingoverarchingtheories of text and speech processing found in the TSD conference a forum to communicate with people sharing similar - terests. The conference is an interdisciplinary forum, intertwining research in speech and language processing with its applications in everyday practice. We feel that the mixture of different approaches and applications offered a great opportunity to get - quaintedwith currentactivitiesin all aspects oflanguagecommunicationand to witness the amazing vitality of researchers from developing countries too. This year s conference was partially oriented toward semantic processing, which was chosen as the main topic of the conference. All invited speakers (Frederick Jelinek, Louise Guthrie, Roberto Pieraccini, Tilman Becker, and Elmar Not h) gave lectures on thenewestresultsintherelativelybroadandstillunexploredareaofsemanticproce ssing. 448 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In a Darwinian world, religious behavior - just like other behaviors - is likely to have undergone a process of natural selection in which it was rewarded in the evolutionary currency of reproductive success. This book aims to provide a better understanding of the social scenarios in which selection pressure led to religious practices becoming an evolved human trait, i.e. an adaptive answer to the conditions of living and surviving that prevailed among our prehistoric ancestors. This aim is pursued by a team of expert authors from a range of disciplines. Their contributions examine the relevant physiological, emotional, cognitive and social processes. The resulting understanding of the functional interplay of these processes gives valuable insights into the biological roots and benefits of religion. 316 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The NordSec workshops were started in 1996 with the aim of bringing together - searchers and practitioners within computer security in the Nordic countries - thereby establishing a forum for discussions and co-operation between universities, industry and computer societies. Since then, the workshop has developed into a fully fledged inter- tional information security conference, held in the Nordic countries on a round robin basis. The 14th Nordic Conference on Secure IT Systems was held in Oslo on 14-16 October 2009. Under the theme Identity and Privacy in the Internet Age, this year's conference explored policies, strategies and technologies for protecting identities and the growing flow of personal information passing through the Internet and mobile n- works under an increasingly serious threat picture. Among the contemporary security issues discussed were security services modeling, Petri nets, attack graphs, electronic voting schemes, anonymous payment schemes, mobile ID-protocols, SIM cards, n- work embedded systems, trust, wireless sensor networks, privacy, privacy disclosure regulations, financial cryptography, PIN verification, temporal access control, random number generators, and some more. As a pre-cursor to the conference proper, the Nordic Security Day on Wednesday 14 October hosted talks by leading representatives from industry, academia and the g- ernment sector, and a press conference was given. 316 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Empirically based research in multimodality starts with the collection of video data relevant for a specific research question. This data must then be enriched by human coders, who annotate the corpus and who also explore the potential interconnections between modalities (e.g., face, gesture, speech, posture, etc.). The data must then be validated for consistency using quantitative measures -- systematic analysis of the observed multimodal behaviors is the central characteristic of multimodal corpora. For analysis and modeling tasks, exploratory qualitative and quantitative analysis tools are needed for browsing, viewing, extraction, and modeling. At the same time, the intercultural dimension must be taken into account, since multimodal interaction is always embedded in a social setting.This state-of-the-art survey documents the scientific outcome of the International Workshop on 'Multimodal Corpora: From Models of Natural Interaction to Systems and Applications', held in conjunction with the 6th International Conference for Language Resources and Evaluation (LREC), on May 27, 2008, in Marrakech, Morocco. It presents current research from fields as diverse as psychology, artificial intelligence, robotics, signal processing, computational linguistics, and human-computer interaction.The 6 selected workshop contributions are complemented by 7 invited research articles, including contributions from major international multimodal corpus projects like AMI and SmartWeb. All papers underwent a special review process for this volume, resulting in significant revisions and extensions based on the experts' advice. 236 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Half a centuryago not manypeople had realizedthat a new epoch in the history of homo sapiens had just started. The term 'Information Society Age' seems an appropriate name for this epoch. Communication was without a doubt a lever of the conquest of the human race over the rest of the animate world. There is little doubt that the human racebegan when our predecessorsstarted to communicate with each other using language.This highly abstractmeans of communicationwas probably one of the major factors contributing to the evolutionary success of the human race within the animal world. Physically weak and imperfect, humans started to dominate the rest of the world through the creation of communication-based societies where individuals communicated initially to satisfy immediate needs, and then to create, accumulate and process knowledge for future use. The crucial step in the history of humanity was the invention of writing. It is worth noting that writing is a human invention, not a phenomenon resulting from natural evolution. Humans invented writing as a technique for recording speech as well as for storing and facilitating the dissemination of knowledge across the world. Humans continue to be born illiterate, and therefore teaching and conscious supervised learning is necessary to maintain this basic social skill. 492 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 312 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 276 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This tutorial book presents seven carefully revised lectures given at the 6th International School on Functional Programming, AFP 2008, in Heijen, The Netherlands in May 2008.The book presents the following seven, carefully cross-reviewed chapters, written by leading authorities in the field: Self-adjusting: Computation with Delta ML, spider spinning for dummies, from reduction-based to reduction-free normalization, libraries for generic programming in Haskell, dependently typed programming in agda, parallel and concurrent programming in Haskell and an iTask case study: a conference management system. 348 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 400 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 472 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 428 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 168 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume collects the papers selected for presentation at the Third Inter- tional Conference on Metadata and Semantic Research (MTSR 2009), held in Milan at the University of Milano Bicocca (October 1-2, 2009). Metadataandsemanticresearchistodayagrowingcomplexsetofconceptual, theoretical, methodological, and technological frameworks, o ering innovative computational solutions in the design and development of computer based s- tems.Fromthis perspective,researchersworkinginthisareamusttackleabroad range of issues on methods, results, and solutions coming from di erent classic areas of this discipline. The conference has been designed as a forum allowing researchers to present and discuss specialized results as general contributions to the eld. In order to give a novelperspective in which both theoreticaland application aspects of metadata research contribute in the growth of the area, this book mirrors the structure of the conference, grouping the papers into three main categories: (1) Theoretical Research: Results and Proposals; (2) Applications: Case Studies and Proposals; (3) Special Track: Metadata and Semantics for Agriculture,FoodandEnvironment.Thebookcontains31fullpapers(10forthe rstcategory,10forthesecondand12forthethird),selectedfromapreliminary initial set of about 70 submissions. Many people contributed to the success of the conference and the creation of this volume, from the initial idea to its implementation. Our rst ackno- edgement is to the members of the Steering Commitee, GeorgeBokosand David Raitt. We would also like to thank all Program Committee members and - viewers for their collaboration. Special thanks to Carlo Batini, on behalf of the DepartmentofComputerScience,SystemsandCommunicationoftheUniversity of Milan Bicocca, who kindly hosted our conference. 330 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 472 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Computer-based systems have become omnipresent commodities within our - vironment. While for a large variety of these systems such as transportation systems, nuclear or chemical plants, or medical systems their relation to safety is obvious, we often do not re ect that others are as directly related to risks concerning harm done to persons or matter as, for example, elevator control or mobile phones. At least we are not aware of the risk in our daily use of them. Safecomp as a community and a conference series has accompanied this - velopment for 30 years up to Safecomp 2009, which was the 28th of the series. During this time the topics and methods as well as the community have und- gone changes. These changes re ect the requirements of the above-mentioned ubiquitious presence of safety-related systems. Safecomp has always encouraged and will further encourage academia and industry to share and exchange their ideas and experiences. After 30 years, we as the organizers of Safecomp 2009, found it imperative to take stock: which methods found their way into the application areas; which new approaches need to be checked for their practical applicability. As di erent application domains developed their own approaches over the previous decades, we tried to attract people with di erent backgrounds for this conference. - though the years 2008 and 2009 were not easy with regard to the overall global economic situation, we succeeded with this goal. 356 pp. Englisch.