springer berlin heidelberg springer berlin heidelberg apr 2015 (103 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -Selbsthilfe bei ADHS/ADS: zu wenig Aufmerksamkeit und KonzentrationWer unter dem Aufmerksamkeitsdefizitsyndrom leidet, erlebt Stress im Beruf, kann sich auch im Privaten nicht konzentrieren, braucht einen Plan, hält ihn nicht ein¿ Während bei Kindern die Diagnostik standardmäßig beachtet wird, gibt es zahlreiche Erwachsene, die die Ursachen ihrer Beeinträchtigung nicht kennen. Sie haben dennoch gelernt, mit wechselnden Eindrücken umzugehen und Ziele mit Ausdauer zu verfolgen ¿ oft ist der sog. Hyperfokus zu ihrer Ressource geworden. In diesem Buch erfahren Betroffene und Interessierte, was das Besondere an Jugendlichen und Erwachsenen mit AD(H)S ist und welche Belastung, aber auch welches Potential in ihrem Leben zwischen einem weiten Himmel und ihrem empfundenen Druck stecken können.Hilfreich für Betroffene von 18 bis 100 JahrenIm ersten Teil des Buches wird anhand eines fiktiven Gesprächs zwischen Anny (einer Betroffenen) und einem Psychologen dargestellt, welche typischen Fragen Betroffene stellen, was sie von sich erzählen können und welche Hilfsmöglichkeiten bestehen. Dieser Teil des Buches ist abwechslungsreich geschrieben und leicht lesbar.Im zweiten Teil werden Ressourcen greifbar: praktische Selbsthilfeübungen und Arbeitsblätter, Reflexionsfragen und Strategien zur Bewältigung von Stresserleben bei AD(H)S. Alle Arbeitsblätter finden Sie zusätzlich kostenlos zum Download im Internet. Die Übungen sind leicht umsetzbar.Geschrieben für Erwachsene und Jugendliche mit ADHS, ihre Angehörigen und FreundeSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 120 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Originaltext und ausführlicher historischer Kommentar von Claus KieferDie Arbeit von Einstein, Podolsky und Rosen (EPR) aus dem Jahr 1935 gehört zu den Klassikern der modernen Physik. In ihr wird zum ersten Mal die zentrale Eigenschaft der Quantentheorie thematisiert: die Verschränkung. Im allgemeinen sind Systeme in der Natur miteinander verschränkt, das heißt, sie besitzen nur einen gemeinsamen, nicht aufteilbaren, Zustand. Diese Tatsache ist für alle Merkwürdigkeiten verantwortlich, die gemeinhin mit der Quantentheorie in Verbindung gebracht werden, wozu die Gedankenexperimente mit Schrödingers Katze und Wigners Freund zählen. Die Verschränkung quantenmechanischer Systeme spielt eine zentrale Rolle bei Experimenten mit Atomen und Photonen (Nobelpreis 2012 für Haroche und Wineland) und der geplanten Konstruktion von Quantencomputern. Das Buch bringt die Originalarbeit von EPR in deutscher Übersetzung und einen ausführlichen Kommentarteil, der sowohl den historischen Kontextder Arbeit beleuchtet als auch auf alle Aspekte der Verschränkung eingeht. Es widmet sich insbesondere der Interpretation der Quantentheorie und deren Konsequenzen für ein grundlegendes Verständnis der Natur.Springer Spektrum in Springer Science + Business Media, Tiergartenstr. 15-17, 69121 Heidelberg 136 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Ausgehend vom Shannon-Wiener-Zugang zur mathematischen Informationstheorie, die eine mathematische 'Messung' einer Informationsmenge erlaubt, beginnt das Buch mit einer Abgrenzung der Begriffe Nachricht und Information und der axiomatischen Zuordnung einer Informationsmenge zu einer Wahrscheinlichkeit. Im zweiten Teil werden abzählbare Wahrscheinlichkeitsräume untersucht, deren mittlere Informationsmenge zur Definition der Shannon-Entropie führt; dabei werden drei klassische Anwendungen der Shannon-Entropie in der statistischen Physik, der mathematischen Statistik und der Nachrichtentechnik vorgestellt, und es wird ein erster Einblick in den Bereich Quanteninformation gegeben. Der dritte Teil ist allgemeinen Wahrscheinlichkeitsräumen gewidmet und behandelt insbesondere die informationstheoretische Analyse dynamischer Systeme.Das Buch baut auf Bachelor-Wissen auf und ist in erster Linie für Mathematiker und Informatiker gedacht; daher wird großer Wert auf exakte Beweisführunggelegt.Springer Spektrum in Springer Science + Business Media, Tiergartenstr. 15-17, 69121 Heidelberg 176 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Das Buch führt Studenten in die Fallbearbeitung im Besonderen Schuldrecht ein. Anhand von 30 Fällen, die typische Problemstellungen vertraglicher Schuldverhältnisse betreffen, wird den Studenten die Umsetzung des in den Vorlesungen erworbenen abstrakten Wissens in der Anspruchsprüfung verdeutlicht. Anspruchsaufbau und Technik der Falllösung werden ausführlich erörtert. Alle Falllösungen sind im Gutachtenstil ausgearbeitet und mit Aufbauhinweisen versehen. Die Fallbearbeitungen werden ergänzt durch vertiefende Hinweise, die den Studenten ein Nacharbeiten der einzelnen Problemschwerpunkte erleichtern.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Originaltext und historischer und mathematischer Kommentar von Klaus VolkertDavid Hilberts ¿Festschrift¿ Grundlagen der Geometrie¿ aus dem Jahre 1899 wurde zu einem der einflussreichsten Texte der Mathematikgeschichte. Wie kein anderes Werk prägte es die Mathematik des 20. Jahrhunderts und ist auch heute noch von größtem Interesse.Aus der Perspektive eines Mathematikhistorikers schildert der Herausgeber die Entwicklung einer Axiomatik der Geometrie, die spätestens mit Euklids ¿Elemente¿ (ca. 300 v. u. Z.) begann und erst durch Hilbert zu einem vollständigen und handhabbaren System geführt wurde. Nach einer ausführlichen Erläuterung des Hilbertschen Textes wird seine Rezeption bis 1905 umfassend dargestellt und daran anschließend viele der von ihm ausgehenden weiteren direkten und indirekten Entwicklungen skizziert.Die Faszination des Textes ist auch dem heutigen Leser direkt zugänglich, da Hilbert¿s axiomatischer Ansatz ohne mengentheoretische Argumente oder formale Logik auskommt.Springer Spektrum in Springer Science + Business Media, Tiergartenstr. 15-17, 69121 Heidelberg 288 pp. Deutsch.

Buch. Zustand: Neu. Neuware -In den letzten Jahren hat sich das Internet schnell zu einem massiven wirtschaftlichen Betätigungsfeld entwickelt, leider auch für illegale Unternehmungen. Das Ausnutzen von Schwachstellen in IKT-Systemen ist inzwischen ein profitables Geschäftsmodell. Das staatlich geförderte Forschungsprojekt CAIS beschäftigte sich deshalb mit der Implementierung eines Cyber Attack Information Systems auf nationaler Ebene mit dem Ziel, die Widerstandsfähigkeit der heutigen vernetzten Systeme zu stärken und ihre Verfügbarkeit und Vertrauenswürdigkeit zu erhöhen. Hauptziele dieses Projektes waren die Identifizierung der künftigen Cyber-Risiken und-Bedrohungen, die Untersuchung neuartiger Techniken zur Anomalieerkennung, die Entwicklung modularer Infrastrukturmodelle und agentenbasierter Simulationen zur Risiko- und Bedrohungsanalyse, und schließlich die Analyse und mögliche Umsetzung eines nationalen Cyber Attack Information Systems.Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 224 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Since the mid 1990s, data hiding has been proposed as an enabling technology for securing multimedia communication and is now used in various applications including broadcast monitoring, movie fingerprinting, steganography, video indexing and retrieval and image authentication. Data hiding and cryptographic techniques are often combined to complement each other, thus triggering the development of a new research field of multimedia security. Besides, two related disciplines, steganalysis and data forensics, are increasingly attracting researchers and becoming another new research field of multimedia security. This journal, LNCS Transactions on Data Hiding and Multimedia Security, aims to be a forum for all researchers in these emerging fields, publishing both original and archival research results. The six papers included in this issue deal with watermarking security, perceptual image hashing, infrared hiding, steganography and steganalysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 120 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Patenschriften sind durch ihre juristische Prägung für Techniker teilweise schwer verständlich. Dem Leser wird gezeigt wie er Patente lesen sollte, um sie besser zu verstehen. Er erfährt nach welcher Methode die Prüfung einer Patentschrift erfolgt, wie Patentschriften gegliedert sind, wie die Verfahrensschritte beim DPMA sind, was der INID-Code besagt, was das Deckblatt eines Patentdokuments verrät, wie die Ablage von Patenten bei den Patentämtern strukturiert ist. Der Autor erklärt alle wichtigen Begriffe rund um das Thema Patente und Gebrauchsmuster, Innovation und Neuheit, erfinderische Leistung uvm. nach dem Motto ¿Patentrecht ohne Paragraphen'. Die Datenbanken des DPMA, des EPA und des USPTO enthalten jeweils mehr als 80 Mio. Patentdokumente, die im Deepweb frei zur Verfügung stehen. Das ist ein Wissensschatz den es zu heben gilt. Wichtige Internetseiten werden genannt in denen der Leser nach dem Rechtstand von Patenten und nach dem Stand der Technik recherchieren kann. Die für die einzelnen Datenbanken (Deutschland, Europa, USA) erforderlichen Suchvariablen und die notwendige Syntax werden anhand von Beispielen dem Leser näher gebracht. Dem Leser werden auch Methoden vorgestellt, mit denen er erfinderische Lösungen selbst erarbeiten kann. Schließlich erhält der Leser eine Vorlage zur Ausarbeitung der eigenen Patentbeschreibung.Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 216 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Coaching befindet sich auf dem Weg von einer ¿neuen Disziplin¿ zu einer anerkannten Profession. Letzteres bringt mit sich, dass Coaching auch zu einem Forschungsgebiet geworden ist. ¿ Uwe Böning, einer der Coaching-Pioniere in Deutschland, stellt in diesem Buch erstmals aktuelle Forschungserkenntnisse zu verschiedenen Handlungsfeldern des Coaching zusammen ¿ kompakt und mit Blick auf den Anwender in der Praxis: Welche Maßnahmen im Coaching können heute als ¿evidenzbasiert¿ bezeichnet und angewendet werden ¿ Nach Einleitung und Vorüberlegungen werden verschiedene, in der Praxis bereits vorhandene Coaching-Anwendungsfelder systematisch in eine Ordnung gebracht (Business-Coaching, Life-Coaching, Coaching im Non-Profit-Bereich, Sport-Coaching), und für jedes dieser ¿Milieus¿ relevante Forschungsarbeiten der letzten Jahre zusammenfassend vorgestellt. Die recherchierten empirischen Forschungsstudien werden dabei anhand von drei Kriterien voneinander abgegrenzt: Milieu, Teilnehmer/Zielgruppe und Thema des Coachings.Es ist damit ein Nachschlagewerk für Praktiker, Wissenschaftler, Dozenten wie auch Entwickler von Coaching-Ausbildungen. Dieses Buch stellt Ihr Coaching-Wissen auf ein solides Fundament und leistet einen Beitrag zur Professionalisierung des Coachings insgesamt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 24th International Conference on Compiler Construction, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, in London, UK, in April 2015.The 11 papers presented in this volume were carefully reviewed and selected from 34 submissions. They deal with compiler engineering and compiling techniques; compiler analysis and optimisation and formal techniques in compilers. The book also contains one invited talk in full-paper length.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.

Buch. Zustand: Neu. Neuware -Imaginative Verfahren in der PsychotherapieDas Buch beschreibt den planvollen Einsatz imaginativer Verfahren in der Verhaltenstherapie. Innere Vorstellungsbilder sind von zentraler Bedeutung für die Behandlung psychischer Störungen. In der psychotherapeutischen Praxis erscheint die Einbeziehung von Imagination und Phantasie vielen Therapeuten und Patienten reizvoll, weil sie zu Kreativität und emotional beeindruckenden Erfahrungen anregt. Dies verführt aber oft auch zu wahllosem ¿Herumzaubern' mit Vorstellungsübungen und hypnotherapeutischen Instruktionen. Im Buch wird gezeigt, wie sich imaginative Methoden systematisch und gezielt in den psychotherapeutischen Prozess integrieren lassen. Praktiker finden hier konkrete Vorschläge für Übungen und Hinweise zur Entwicklung individueller Imaginationsanleitungen. Das Konzept stellt so eine anregende und nützliche Arbeitshilfe für den Therapiealltag dar.Der Inhalt(I) Theoretische und praktische Grundlagen ¿ (II) Imaginative Verfahren im therapeutischen Problemlöseprozess ¿ (III) Störungsspezifische Anwendung imaginativer Verfahren.Das AutorenteamDr. Thomas Kirn und Dipl.-Psych. Liz Echelmeyer arbeiten als niedergelassene Psychologische Psychotherapeuten in freier Praxis. Dipl.-Psych. Margarita Engberding arbeitet an der Psychotherapie-Ambulanz des FB Psychologie an der Universität Münster. Alle Autoren sind langjährig als Dozenten und Supervisoren an staatlich anerkannten Ausbildungsinstituten für Verhaltenstherapie tätig.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Deutsch.

Buch. Zustand: Neu. Neuware -This book focuses on Chinäs urban development. In China, the process of allowing more rural migrants to become registered city residents in urban areas remains stagnant despite its importance to the Chinese government and the existence of a national consensus about it. Cities can compulsorily purchase land from farmers at low or even no costs, and most farmers, whose families have relied on the land to make a living for generations, do not profit from increases in land value. Breaking down the established distributive system of rights and privileges requires legislation and law enforcement. To this end, we need to break through the current pattern of interests and respect the 'citizenization-relevant' rights of rural migrant workers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Buch. Zustand: Neu. Neuware -The book provides a study of sustainable development in rural China. Because of its huge population and vast land area, this is an important issue not only for China but for the whole world. The research presented is both multi aspect and systematical. It can be likened to a tree where the trunk is the three main aspects: economy, environment and rural society, and the five main branches are agricultural development, industrial pollution, energy security, labor migration and social welfare, and these are the book¿s five main topics. The research methods of field survey and Sino-Japanese comparison will be of particular interest to readers. The field survey enables readers to become familiar with the environment of rural China. Survey reports and data provide readers with a more profound and vivid understanding of rural China and comparative methods benefit readers from different countries and a variety of cultural backgrounds. For Japanese readers or readers who understand Japanese well, they make China more easily understandable, while Chinese readers gain insights into the country¿s future and the direction of current developments based on a Japanese frame of reference. For readers outside China and Japan, this book serves as an introduction to Chinese society and also to Japan. Finally, the author provides various paradigmatic scenarios, including default and sustainable. After reading this book, readers will be aware that the earlier and the more we pay attention to these issues, the easier it will be for rural China to achieve a sustainable situation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 116 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book, as a comprehensive, in-depth analysis of one of the fastest-growing industries in China, covers all the most important areas and issues in the country¿s online lending industry. It includes, but is not limited to, the history of online lending, the scale of the online lending market, the basic business models in and a risk analysis of online lending, the characteristics of typical online-lending borrowers and investors/lenders, the root causes of bankruptcy among failed online lending platforms, a comparative analysis of online lending platforms inside and outside China, the overall ranking of online lending platforms in China and finally, the outlook for the online lending industry in the future. The integration of Internet and finance has, in recent years, been among the most notable topics discussed in the media, the business community and academia, both in China and worldwide. The chapters are supplemented with detailed case studies, which include illustrations and tables and the book combines theoretical analysis with conceptual discussions of and best practices in the online lending industry. It will be of interest to a variety of readers worldwide, including: (1) existing and potential online borrowers; (2) existing and potential online lenders; (3) investors and professionals running online lending platforms; (4) traditional bankers and major shareholders in traditional financial institutions; (5) staff in regulatory government agencies; (6) academics; and (7) the general public.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This concise primer on photovoltaic solar energy conversion invites readers to reflect on the conversion of solar light into energy at the most fundamental level and encourages newcomers to the field to help find meaningful answers on how photovoltaic solar energy conversion can work (better), eventually contributing to its ongoing advancement.The book is based on lectures given to graduate students in the Physics Department at the University of Oldenburg over the last two decades, yet also provides an easy-to-follow introduction for doctoral and postdoctoral students from related disciplines such as the materials sciences and electrical engineering.Inspired by classic textbooks in the field, it reflects the author¿s own ideas on how to understand, visualize and eventually teach the microscopic physical mechanisms and effects, while keeping the text as concise as possible so as to introduce interested readers to the field and balancing essential knowledge with open questions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book focuses on the applications of convex optimization and highlights several topics, including support vector machines, parameter estimation, norm approximation and regularization, semi-definite programming problems, convex relaxation, and geometric problems. All derivation processes are presented in detail to aid in comprehension. The book offers concrete guidance, helping readers recognize and formulate convex optimization problems they might encounter in practice.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book provides an up-to-date overview of the latest evidence regarding shoulder stiffness or frozen shoulder. All aspects are covered: epidemiology, etiology, anatomy and biomechanics, clinical symptoms, histology and laboratory tests, physical examinations, imaging studies and the various conservative and surgical treatment options. The book is published in cooperation with ISAKOS and reflects the conclusions of the Consensus Meeting of the ISAKOS Upper Extremity Committee in Amsterdam in May 2014, which brought together global opinion leaders in the field. Frozen shoulder itself remains shrouded in mystery. There is ongoing uncertainty over its causation and continuing relative neglect due to the belief that it is a self-limited disease despite the evidence that most patients fail to achieve complete recovery, with many experiencing persistent pain and stiffness. Shoulder Stiffness: Current Concepts and Concerns provides an excellent summary of present knowledge regarding frozen shoulder and will be of value to all who manage the condition.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This collection of essays is above all intended to pay tribute to the fact that while QM today is a refined and incredibly successful instrument, many issues concerning the internal consistency and the interpretation of this theory are still not nearly as well understood as they ought to be.In addition, whenever possible these essays take the opportunity to link foundational issues to the many exciting developments that are often linked to major experimental and technological breakthroughs in exploiting the electromagnetic field and in particular, its quantum properties and its interactions with matter, as well as to advances in solid state physics (such as new quantum Hall liquids, topological insulators and graphene). The present volume also focuses on various areas, including new interference experiments with very large molecules passing through double-slits, which test the validity of the Kochen-Specker theorem; new tests of the violation of Bell¿s inequalities and the consequences of entanglement; new non-demolition measurements and tests of ¿wave-function collapse¿ to name but a few.These experimental developments have raised many challenging questions for theorists, leading to a new surge of interest in the foundations of QM, which have puzzled physicists ever since this theory was pioneered almost ninety years ago.The outcome of a seminar program of the same name on foundational issues in quantum physics (QM), organized by the editors of this book and addressing newcomers to the field and more seasoned specialists alike, this volume provides a pedagogically inspired snapshot view of many of the unresolved issues in the field of foundational QM.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 368 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering, FASE 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.The 22 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 80 submissions. They are organized in topical sections named: models and synthesis; testing and fault localization; modeling; verification; modeling and adaptation; and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.

Buch. Zustand: Neu. Neuware -This fifteenth volume in the EUROPEAN INSTRUCTIONAL LECTURES series continues the format of educational chapters from across Orthopaedics and Traumatology contributed by distinguished Orthopaedic Educators in Europe. It provides current material and major advances covering a range of topics including General Orthopaedics, Basic Science and Technology, Musculoskeletal Tumours, Infections, Paediatric Orthopaedics, Trauma, Spine, Upper Limb, Hip, Knee and Lower Leg. All the chapters are based on lectures presented at the 16th EFORT Congress in Prague, Czech Republic. The lectures are an authoritative source of information illustrated by radiographs, MRI, CT and PET Scans, operative photographs, tables and line drawings as appropriate. They are an invaluable source of instruction for Surgeons and Trainees alike. This book was edited by Professor George Bentley, Chairman, Scientific Publications Committee of EFORT.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book shows the various porous structures and supramolecular architectures that result from the cucurbituril-based coordination, hydrogen bonding, ion-dipole interactions, ¿¿¿¿¿ stacking and C¿H¿¿¿¿ processes. It includes two chapters presenting essential examples of these cucurbituril-based structures, depending on the types of non covalent interactions and inducer species. It also includes one chapter dealing with the utilization of cucurbiturils as a molecular container in supramolecular chemistry and demonstrating a wide range of potential applications of supramolecular assemblies with cucurbiturils in catalysis, separation, absorption and polymer materials. The book offers an interesting and valuable guide for readers working in the areas of supramolecular chemistry and materials.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 104 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book reports on the latest advances in the study of Networked Control Systems (NCSs). It highlights novel research concepts on NCSs; the analysis and synthesis of NCSs with special attention to their networked character; self- and event-triggered communication schemes for conserving limited network resources; and communication and control co-design for improving the efficiency of NCSs. The book will be of interest to university researchers, control and network engineers, and graduate students in the control engineering, communication and network sciences interested in learning the core principles, methods, algorithms and applications of NCSs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the satellite events of the 9th International Conference on the Semantic Web, ESWC 2012, held in Heraklion, Crete, Greece, in May 2012. This volume contains 49 full papers and 13 short papers describing the posters and demonstrations. (SUGGESTION/ HELP needed).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 548 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.The 28 full papers presented in this volume were carefully reviewed and selected from 93 submissions. They are organized in topical sections named: semantics of programming languages; categorical models and logics; concurrent, probabilistic and timed systems; automata, games, verification; logical aspects of computational complexity; and type theory, proof theory and implicit computational complexity. The book also contains one full paper invited talk.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 484 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions. In addition, the book contains one invited contribution. The papers have been organized in topical sections on hybrid systems; program analysis; verification and abstraction; tool demonstrations; stochastic models; SAT and SMT; partial order reduction, bisimulation, and fairness; competition on software verification; parameter synthesis; program synthesis; program and runtime verification; temporal logic and automata and model checking.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 744 pp. Englisch.

Buch. Zustand: Neu. Neuware -This comprehensive book covers the environmental issues concerning silver nanoparticles (AgNPs). Following an introduction to the history, properties and applications, the environmental concerns of AgNPs is discussed. In the second chapter, the separation, characterization and quantification of AgNPs in environment samples are described in detail. In the remaining parts of the book, the authors focus on the environmental processes and effects of AgNPs, with chapters on the pathway into environment, fate and transport, toxicological effects and mechanisms, as well as the environmental bioeffects and safety-assessment of AgNPs in the environment.This book is designed to describe current understanding of the environmental aspects of AgNPs. It provides a valuable resource to students and researchers in environmental science and technology, nanotechnology, toxicology, materials science and ecology; as well as to professionals involved in the production and consumption of AgNPs in various areas including catalysis, food products, textiles/fabrics, and medical products and devices.Jingfu Liu and Guibin Jiang are professors at State Key Laboratory of Environmental Chemistry and Ecotoxicology, Research Center for Eco-Environmental Sciences, Chinese Academy of Sciences.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014.The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions. The volume also contains 5 keynote talks which cover a range of hot topics in computer science and informatics. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The two-volume proceedings LNCS 9056 + 9057 constitutes the proceedings of the 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2015, held in Sofia, Bulgaria, in April 2015.The 57 full papers included in these volumes were carefully reviewed and selected from 194 submissions. The papers are organized in topical sections named: honorable mentions, random number generators, number field sieve, algorithmic cryptanalysis, symmetric cryptanalysis, hash functions, evaluation implementation, masking, fully homomorphic encryption, related-key attacks, fully monomorphic encryption, efficient two-party protocols, symmetric cryptanalysis, lattices, signatures, zero-knowledge proofs, leakage-resilient cryptography, garbled circuits, crypto currencies, secret sharing, outsourcing computations, obfuscation and e-voting, multi-party computations, encryption, resistant protocols, key exchange, quantum cryptography, and discrete logarithms.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 836 pp. Englisch.

Buch. Zustand: Neu. Neuware -The thesis systematically investigates the factors which influence many animals¿ robust adhesion abilities and micro-reversible adhesion mechanisms, including the geometric principles of their adhesion, relative humidity, surface roughness and pre-tension. Studies exploring biological adhesion mechanisms are not only of great significance for the design of advanced adhesive materials and adhesion systems for micro-climbing robots, but also very helpful for resolving the problem of adhesion failure in MEMS/NEMS.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 112 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This booklet, published in cooperation with ISAKOS, is a concise, up-to-date guide and reference on the treatment of cartilage lesions of the ankle that will be of practical clinical value for specialists in sports medicine and sports traumatology. Different techniques and the management of various lesions are described step by step, guiding the practitioner through the entire spectrum of care from evaluation of the injury to successful recovery.Chondral and osteochondral lesions of the talus can present as a consequence of repetitive ankle injuries, causing chronic pain, recurrent swelling, and weakness and stiffness of the ankle joint. An accurate early diagnosis is required, using clinical evaluation, imaging techniques and arthroscopy of the ankle. In acute and non-displaced chondral and osteochondral lesions, conservative treatment is the mainstay. Surgery is recommended for unstable and persistent lesions and consists in several techniques focused on regeneration of the cartilage. Returning to play is possible after testing balance and proprioception, strength, range of motion, and agility.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 108 pp. Englisch.