springer berlin springer berlin heidelberg springer okt 2009 (145 Ergebnisse)

Taschenbuch. Zustand: 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.

Buch. Zustand: Neu. Neuware -The purpose of this volume is to present current work of the Intelligent Computer Graphics community, a community growing up year after year. This volume is a kind of continuation of the previously published Springer volume 'Artificial Int- ligence Techniques for Computer Graphics'. Nowadays, intelligent techniques are more and more used in Computer Graphics in order, not only to optimise the pr- essing time, but also to find more accurate solutions for a lot of Computer Gra- ics problems, than with traditional methods. What are intelligent techniques for Computer Graphics Mainly, they are te- niques based on Artificial Intelligence. So, problem resolution (especially constraint satisfaction) techniques, as well as evolutionary techniques, are used in Declarative scene Modelling; heuristic search techniques, as well as strategy games techniques, are currently used in scene understanding and in virtual world exploration; multi-agent techniques and evolutionary algorithms are used in behavioural animation; and so on. However, even if in most cases the used intelligent techniques are due to Artificial - telligence, sometimes, simple human intelligence can find interesting solutions in cases where traditional Computer Graphics techniques, even combined with Artificial Intelligence ones, cannot propose any satisfactory solution. A good example of such a case is the one of scene understanding, in the case where several parts of the scene are impossible to access. 232 pp. Englisch.

Taschenbuch. Zustand: 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.

Buch. Zustand: Neu. Neuware -The 2007 Abel Symposium took place at the University of Oslo in August 2007. The goal of the symposium was to bring together mathematicians whose research efforts have led to recent advances in algebraic geometry, algebraic K-theory, algebraic topology, and mathematical physics. A common theme of this symposium was the development of new perspectives and new constructions with a categorical flavor. As the lectures at the symposium and the papers of this volume demonstrate, these perspectives and constructions have enabled a broadening of vistas, a synergy between once-differentiated subjects, and solutions to mathematical problems both old and new. 424 pp. Englisch.

Buch. Zustand: Neu. Neuware -Die Instandhaltung wird integraler Bestandteil des Wertschöpfungsprozesses eines Unternehmens.Das Buch liefert eine Beschreibung und Begründung des Wandlungsprozesses der Instandhaltung. Entwicklungsstufen für ein vorbeugendes Instrument zur Gewährleistung eines sicheren und wirtschaftlichen Betriebs komplexer technischer Systeme werden aufgezeigt. In diesem Zusammenhang wird eine Systematisierung der Planungsprozesse der Instandhaltung im Fabrik- und Anlagenlebenszyklus bezogen auf unterschiedliche Planungsobjekte vorgenommen. Typologien technischer Anlagen und deren Nutzung werden dargestellt, die unterschiedlichen Anforderungen an die Planungsabläufe und Durchführung von Instandhaltungsprozessen beschrieben. Neue, leistungsfähige Instrumenten aus dem Bereich der Informations- und Telekommunikationstechnologien zur Unterstützung, Ausführung und Überwachung der Instandhaltungsprozesse werden behandelt.

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The working group WG 11.4 of IFIP ran an iNetSec conference a few times in the past, sometimes together with IFIP security conference, sometimes as a stand-alone workshop with a program selected from peer-reviewed submissions. When we were elected to chair WG 11.4 we asked ourselveswhether the security and also the computer science community at large bene ts from this workshop. In particular,as there aremany (too many ) securityconferences, it has become di cult to keep up with the eld. After having talked to many colleagues, far too many to list all of them here, we decided to try a di erent kind of workshop: one where people would attend to discuss open research topics in our eld, as typically only happens during the co ee breaks of ordinary conferences. Toenablethiswecalledforabstractsof2pageswheretheauthorsoutlineth e open problems that they would like to discuss at the workshop, the intent being that the author would be given 15 minutes to present the topic and another 15 minutes for discussion. These abstracts were then read by all members of the Program Committee and ranked by them according to whether they thought thiswouldleadtoaninterestingtalk and discussion. We then simply selected the abstracts that got the best rankings. We were happy to see this result in many really interesting talks and disc- sions in the courseof the workshop.Ofcourse,these lively anddirect discussions are almost impossible to achieve in a printed text. Still, we asked the authors to distill the essence of these discussions into full papers. The results are in your hands. 169 pp. Englisch.

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The management of telecommunications networks and services is one of the most challenging of software endeavors-partly because of the size and the distributed nature of networks; partly because of the convergence of communications techno- gies; but mainly because of sheer complexity and diversity of networks and services. The TM Forum s Solutions Frameworks (NGOSS) help address these challenges by providing a framework for the development of management applications-those software applications that provide the building blocks for management solutions. The members of the TM Forum have elaborated many parts of NGOSS to make it practical-including in the area of information modeling, process analysis, and c- tract de nition. This book further elaborates NGOSS by examining the challenging area of interface design. One of the costs of deploying a new service is the cost of integrating all the necessary applications into an effective software solution to manage the service. This cost has been dubbed the 'integration tax' and can turn out to be ve times the capital cost of procuring the management software in the rst place. From their long experience of the design and standardization of management applications, the authors have extracted a core set of design patterns for the dev- opment of effective and consistent interfaces to management applications. Adopting these patterns across the industry could reduce the learning curve for software - velopers and allow service providers and systems integrators to rapidly and reliably deploy management solutions and thereby markedly reduce the integration tax. 151 pp. Englisch.

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Problems of stochastic optimization and various mathematical aspects of risk are the main themes of this contributed volume. The readers learn about the recent results and techniques of optimal investment, risk measures and derivative pricing. There are also papers touching upon credit risk, martingale theory and limit theorems. Forefront researchers in probability and financial mathematics have contributed to this volume paying tribute to Yuri Kabanov, an eminent researcher in probability and mathematical finance, on the occasion of his 60th birthday. The volume gives a fair overview of these topics and the current approaches. 266 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The topic of this book is the development of pricing formulae for European style derivatives on assets with mean-reverting behavior, especially commodity derivatives. For this class of assets, convenience yield effects lead to mean-reversion under the risk-neutral measure. Mean-reversion in the log-price process is combined with other stochastic factors such as stochastic volatility, jumps in the underlying and the price process and a stochastic target level as well as with deterministic seasonality effects. Another focus is on numerical algorithms to calculate the Fourier integral as well as to integrate systems of ordinary differential equations. 137 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Supply relations are often governed by so-called relational contracts. These are informal agreements sustained by the value of future cooperation. Although relational contracts persist in practice, research on these types of contract is only emerging in Operations and Supply Chain Management. This book studies a two-firm supply chain, where repeated transactions via well-established supply contracts and continued quality-improvement efforts are governed by a relational contract. We are able to characterize an optimal relational contract, i.e., to develop policies for supplier and buyer that structure investments in quality and flexibility in a way that no other self-enforcing contract generates higher expected joint surplus. A second goal is to compare the performance of different returns mechanisms in the context of relational contracting (quantity flexibility and buy-back contracts). Industry studies motivate the presented model. 124 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Integrated supply chain planning is well understood by theory and widely applied in practice - however, only with respect to intra-organisational supply chains. In inter-organisational supply chains, an additional, yet unresolved problem arises: due to confidentiality reasons, decentralized parties keep their local data private, which prevents an integrated planning. Local planning procedures such as upstream planning, which are usually applied then, result in suboptimal solutions for the supply chain as a whole. In this work, new mechanisms for inter-organizational, collaborative supply chain planning are presented. These mechanisms are able to identify the systemwide optimum for several classes of supply chain planning problems. They can be applied by two or more self-interested parties and do not require a trusted third party. Extensive computational tests for randomly generated and real-word data suggest a favorable performance of these mechanisms. 211 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ubiquitous user modeling differs from generic user modeling by three additional concepts: ongoing modeling, ongoing sharing, and ongoing exploitation. Systems that share their user models will improve the coverage, the level of detail, and the reliability of the integrated user models and thus allow better functions of adaptation. Ubiquitous user modeling implies new challenges of interchangeability, scalability, scrutability, and privacy. This volume presents results of a series of workshops on the topic of Ubiquitous User Modeling since 2003 and additional workshops at various other conferences e.g. on User Modeling and Adaptive Hypermedia in the last four years. The 8 revised full papers presented were carefully reviewed and selected from the best lectures given at the workshops and were significantly extended to be included in the book. 159 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Scheduled transportation networks give rise to very complex and large-scale networkoptimization problems requiring innovative solution techniques and ideas from mathematical optimization and theoretical computer science. Examples of scheduled transportation include bus, ferry, airline, and railway networks, with the latter being a prime application domain that provides a fair amount of the most complex and largest instances of such optimization problems. Scheduled transport optimization deals with planning and scheduling problems over several time horizons, and substantial progress has been made for strategic planning and scheduling problems in all transportation domains.This state-of-the-art survey presents the outcome of an open call for contributions asking for either research papers or state-of-the-art survey articles. We received 24 submissions that underwent two rounds of the standard peer-review process, out of which 18 were finally accepted for publication.The volume is organized in four parts: Robustness and Recoverability, Robust Timetabling and Route Planning, Robust Planning Under Scarce Resources, and Online Planning: Delay and Disruption Management. 423 pp. Englisch.

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

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

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

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

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

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

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

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

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

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

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - 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. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We are pleased to present the proceedings of the 12th International Conference on Discovery Science (DS 2009), held in Porto, Portugal, October 3 5, 2009. DS 2009 was collocated with ALT 2009, the 20th International Conference on AlgorithmicLearningTheory,continuingthesuccessfulDSconference series. DS 2009 provided an open forum for intensive discussions and the exchange of new ideas among researchers working in the area of discovery science. The scope of the conference included the development and analysis of methods for automatic scienti c knowledge discovery, machine learning, intelligent data analysis, and theory of learning, as well as their applications. We were honored to have a very strong program. Acceptance for the conference proceedings was very compe- tive. There were 92 papers submitted, with the authors coming from roughly 20 di erent countries. All paperswere reviewedby three senior researchersfollowed by an extensive discussion. The program committee decided to accept 23 long papers (an acceptance rate of 25%) and 12 regular papers. The overall acc- tance rate was 38%. The contributed papers cover a wide range of topics, from discovery in general to data mining in particular. In addition to the technicalpapers, we weredelighted to have ve prestigious invited speakers and two tutorials. Fernando Pereira, University of Penns- vania, USA, presented new fundamental questions that should be investigated in natural language processing in web mining. Hector Ge ner, from Pompeu Fabra University, Spain, discussed learning methods for solving complete pl- ning domains. 492 pp. Englisch.

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

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 5th International ICST Conference, SecureComm 2009, held in September 2009 in Athens, Greece. The 19 revised full papers and 7 revised short papers were carefully reviewed and selected from 76 submissions. The papers cover various topics such as wireless network security, network intrusion detection, security and privacy for the general internet, malware and misbehavior, sensor networks, key management, credentials and authentications, as well as secure multicast and emerging technologies. 460 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 12th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2009, held in Venice, Italy, in October 2009, as part of the 5th International Week on Management of Networks and Services, Manweek 2009. The 13 revised full papers presented together with 5 poster papers were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on multimedia networks and systems management, multimedia quality, VoIP and vocal applications, and peer-to-peer multimedia networks. 216 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Welcome back to the International Security Protocols Workshop. Our theme for this, the 14th workshop in the series, is 'Putting the Human Back in the Protocol'. We've got into the habit of saying 'Of course, Alice and Bob aren't really people. Alice and Bob are actually programs running in some computers.' But we build computer systems in order to enable people to interact in accordance with certain social protocols. So if we're serious about system services being end-to-end then, at some level of abstraction, the end points Alice and Bob are humanafterall.Thishascertainconsequences.Weexploresomeoftheminthese proceedings, in the hope that this will encourage you to pursue them further. Is Alice talking to the correct stranger Our thanks to Sidney Sussex College, Cambridge for the use of their faci- ties, and to the University of Hertfordshire for lending us several of their sta . Particular thanks once again to Lori Klimaszewska of the University of C- bridge Computing Service for transcribing the audio tapes, and to Virgil Gligor for acting as our advisor. 300 pp. Englisch.