springer berlin heidelberg springer berlin heidelberg jun 2013 (335 resultados)

Taschenbuch. Condición: Neu. Neuware -Das Schreiben von wissenschaftlichen Texten geht den einen leicht von der Hand, doch für viele andere ist es eher ein Fluch und sie haben Angst, an der Abschlussarbeit zu scheitern. An diese Studierende wendet sich das Buch von Gabriele Bensberg und beginnt gleich mit einer verblüffenden Erkenntnis: Viele sagen ¿Ich kann nicht schreiben¿ ¿ und tun es doch ständig: via Facebook, Twitter, in Blogs oder per SMS. Die Autorin zeigt, wie Studierende darauf aufbauen und die Brücke zum wissenschaftlichen Schreiben schlagen können. Das Buch ist zum Einen ein ¿Kochbuch¿, das Handlungsanleitungen und Problemlösungen in allen Phasen einer wissenschaftlichen Arbeit bietet, garniert mit Checklisten, Merksätzen und Fragebögen. Darüber hinaus ist es ein psychologischer Begleiter mit Mut machenden Beispielen und Ratschlägen, wie man seine generelle Schreibunlust bekämpfen kann. Und wer will, kann weiterführende Informationen über die Hintergründe von Schreibproblemen erhalten. Die Autorin nimmt alserfahrene Studierendenberaterin und Therapeutin lebhaft Anteil an den Nöten ihrer Leserinnen und Leser und will diese mit Rat und Tat durch die Schreibphase begleiten. Doch ganz besonders glücklich wäre sie, wenn der eine oder andere durch das Buch die Liebe zum Schreiben entdeckt und auch nach der Fertigstellung seines wissenschaftlichen Textes weiterschreibt¿Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -As indicated by the title, this book focuses on fundamental problems in finance: a logical dilemma in valuation, stock valuation methods/models, risk valuation, and optimal capital structure. It presents an innovative approach to logic and quantitative reasoning (without advanced mathematics) that delivers valuable results ---- convincing solutions to these problems. Readers in finance will definitely be interested in these solutions as well as the methods. In fact, these fundamental problems are essential in the field of finance, and they have remained unsolved (or partly unsolved) for decades. The solutions offered in this book are all sound in theory and feasible in practice, and will hopefully benefit both theoretic al research and practical decision-making. 120 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware - Am Anfang des zweiten Teils des Grundkurses Analysis steht die Differenzialrechnung von mehreren Veränderlichen. Es werden alle klassischen Themen behandelt, einschließlich des Satzes über implizite Funktionen und der Bestimmung von Extremwerten unter Nebenbedingungen. Auch bei schwierigeren oder längeren Beweisen wird großer Wert auf eine klare und verständliche Darstellung gelegt.Das Buch wendet sich an Studierende in Mathematik und Physik, aber auch an Ingenieure mit großem Bedarf an Mathematik. Durch die zahlreichen Illustrationen, Beispiele und Aufgaben ist es ideal geeignet zum Selbststudium, als Begleitlektüre und ganz besonders auch zur Prüfungsvorbereitung.Die zweite Auflage ist inhaltlich und didaktisch überarbeitet und um ein eigenständiges Kapitel zu Differenzialgleichungen ergänzt.

Taschenbuch. Condición: Neu. Neuware -InhaltsangabeForeword.- Contents.- Introduction.- Preliminaries.- Self-similarity.- Asymptotic self-similarity.- Statistics.- Simulations.- A Appendix.- B Appendix.- References.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -InhaltsangabeFinite Difference Methods For Mean Field Games.- An Introduction to the Theory of Viscosity Solutions for First-Order Hamilton-Jacobi Equations and Applications.- A Short Introduction to Viscosity Solutions and the Large Time Behavior of Solutions of Hamilton-Jacobi Equations.- Idempotent/Tropical Analysis, the Hamilton-Jacobi and Bellman Equations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book presents the various types of resonance effects on excitons, biexcitons and the local electronic centers (LEC) in solids, such as paramagnetic and paraelectric resonances on excitons, exciton acoustic resonance at intra- and interband transitions, radio-optical double resonance on excitons, hole-nuclear double resonance on localized biexcitons, ENDOR and acoustic ENDOR on LEC. The criteria for the generation of coherent photons, phonons and magnons by excitons are explained. The interactions of excitons and biexcitons with paramagnetic centers and nuclear spins, the indirect interaction between the PC through a field of excitons as well as the quasienergy spectrum of excitons and spin systems are discussed. It is proved that the interactionof paramagnetic centers with excitons increases the spin relaxation rate of paramagneticcenters in comparison with the case of their interaction with free carriers. The giant magneto-opticaleffects in semi-magnetic semiconductors are theoretically interpreted.In recent years, a new perspective has been added to these systems and their interactions: They can be used for storing and processing information in the form of quantum bits (qubits), the building blocks of quantum computers. The basics of this emerging technology are explained and examples of demonstration-type quantum computers based on localized spins in solids are discussed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book contains the refereed proceedings of the 16th International Conference on Business Information Systems, BIS 2013, held in Poznä, Poland, in June 2013. The theme of this year's conference was 'Business Applications on the Move,' reflecting the growing usage of mobile devices in business applications and its repercussions on business processes and information management.The 18 revised full papers were carefully reviewed and selected from 52 submissions. They are grouped into six sections on modern enterprises and mobile ERP, business models and BPM, linked data and ontologies, recommendations and content analysis, knowledge discovery, and IT frameworks and systems architecture.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -InhaltsangabeTechnical tracks: key management.- Hypervisor usage.- Information flow analysis.- Trust in network measurement.- Random number generators.- Case studies that evaluate trust-based methods in practice: simulation environments for trusted platform modules.- Trust in applications running on mobile devices.- Trust across platform. Socio-economic track: investigated, how trust is managed and perceived in online environments.-How the disclosure of personal data is perceived.- Some papers probed trust issues across generations of users and for groups with special needs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Peer-to-peer systems are now widely used and have become the focus ofattention for many researchers over the past decade. A number of algorithms for decentralized search, content distribution, and media streaming have been developed.This book provides fundamental concepts for the benchmarking of thosealgorithms in peer-to-peer systems. It also contains a collection ofcharacteristic benchmarking results. The chapters of the book have beenorganized in three topical sections on: Fundamentals of Benchmarking in P2P Systems; Synthetic Benchmarks for Peer-to-Peer Systems; and Application Benchmarks for Peer-to-Peer Systems. They are preceded by a detailed introduction to the subject.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -InhaltsangabeSimulation.- Neurosurgical interventions.- Ultrasound guided interventions.-Image guided interventions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the 22nd International Conference on Inductive Logic Programming, ILP 2012, held in Dubrovnik, Croatia, in September 2012.The 18 revised full papers were carefully reviewed and selected from 41 submissions. The papers cover the following topics: propositionalization, logical foundations, implementations, probabilistic ILP, applications in robotics and biology, grammatical inference, spatial learning and graph-based learning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics; information theory; systems biology; hybrid systems; quantum computing; and automata-based models and model checking.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Web Reasoning and Rule Systems, RR 2013, held in Manheim, Germany in July 2013.The 19 revised research papers and 4 technical communications presented together with 2 invited talks and 1 tutorial talk were carefully reviewed and selected from 34 submissions. The scope of conference is decision making, planning, and intelligent agents, reasoning, machine learning, knowledge extraction and IR technologies, large-scale data management and reasoning on the web of data, data integration, dataspaces and ontology-based data access, non-standard reasoning, algorithms for distributed, parallelized, and scalable reasoning, and system descriptions and experimentation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -InhaltsangabeSearching and matching strings and more complicated patterns.- Trees, regular expressions, graphs, point sets, and arrays.- Non-trivial combinatorial properties of such structures.-Problems incomputational biology.- Data compression and data mining.- Coding.- Information retrieval.- Natural language processing.- Pattern recognition.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the proceedings of the 9th European Conference on Modelling Foundations and applications, ECMFA 2013, held in Montpellier, France, in July 2013.The 15 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are on all aspects of MDE, including topics such as model querying, consistency checking, model transformation; and model-based systems engineering and domain-specific modeling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -InhaltsangabeQuantum, cellular, molecular, neural, DNA.- Membrane, and evolutionary computing.- Cellular automata.- Computation based on chaos and dynamical systems.- Massive parallel computation.- Collective intelligence.- Computation based on physical principles such as relativistic.- Optical, spatial, collision-based computing.- Amorphous computing.- Physarum computing.- Hypercomputation.- Fuzzy and rough computing.- Swarm intelligence.- Artificial immune systems.- Physics of computation.- Chemical computation.- Evolving hardware.- The computational nature of self-assembly, developmental processes, bacterial communication, and brain processes.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The Transactions on Pattern Languages of Programming subline aims to publish papers on patterns and pattern languages as applied to software design, development, and use, throughout all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The primary focus of this LNCS Transactions subline is on patterns, pattern collections, and pattern languages themselves. The journal also includes reviews, survey articles, criticisms of patterns and pattern languages, as well as other research on patterns and pattern languages. This book, the third volume in the Transactions on Pattern Languages of Programming series, presents five papers that have been through a careful peer review process involving both pattern experts and domain experts. The papers present various pattern languages and a study of applying patterns and represent some of the best work that has been carried out in design patterns and pattern languages of programming over the last few years.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 11th International Conference on Typed Lambda Calculi and Applications, TLCA 2013, held in Eindhoven, The Netherlands, in June 2013 as part of RDP 2013, the 7th Federated Conference on Rewriting, Deduction, and Programming, together with the 24th International Conference on Rewriting Techniques and Applications, RTA 2013, and several related events.The 15 revised full papers presented were carefully reviewed and selected from 41 submissions. The papers provide prevailing research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts addressing a wide variety of topics such as proof-theory, semantics, implementation, types, and programming.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the proceedings of the 6th International Conference on Nonlinear Speech Processing, NOLISP 2013, held in Mons, Belgium, in June 2013.The 27 refereed papers included in this volume were carefully reviewed and selected from 34 submissions. The paper are organized in topical sections on speech and audio analysis; speech synthesis; speech-based biomedical applications; automatic speech recognition; and speech enhancement.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -InhaltsangabeIncremental Refinement Checking for Test Case Generation.- Time for Mutants - Model-Based Mutation Testing with Timed Automata.- Model-Based Testing for Verification Back-Ends.- A Metric for Testing Program Verification Systems.- Test Program Generation for a Microprocessor: A Case-Study.- A Declarative Debugger for Sequential Erlang Programs.- Initiating a Benchmark for UML and OCL Analysis Tools.- Speeding Up Algorithmic Debugging Using Balanced Execution Trees.- Generating Test Suites with Augmented Dynamic Symbolic Execution.- Divergent Quiescent Transition Systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume constitutes the proceedings of the 4th International United Information Systems Conference, UNISCON 2012, which was held in Yalta, Ukraine, during June 1-3, 2012. UNISCON 2012 was affiliated with the 8th International Conference on ICT in Education, Research, and Industrial Applications, ICTERI 2012.The 14 full papers, four short papers, and three extended abstracts presented with a keynote speech were carefully reviewed and selected from 96 submissions. The topical sections covered are: data management; applications; modeling and semantics; and social issues in information systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -InhaltsangabePhysical implementation.- Arithmetic.- Programming and data structures.- Modelling.- Synthesis and optimization.- Alternative technologies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Multi-Agent-Based Simulation, MABS 2012, held in Valencia, Spain, in June 2012. The 11 revised full papers presented were carefully selected from 35 submissions. The papers are organized in topical sections on modeling social interactions; cognition and agents behaviors; agents, games and finance; and methodologies and tools.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -InhaltsangabeAn Implementation of Jason in Erlang.- Conceptual Integration of Agents with WSDL and Restful Web Services.- Agent Programming Languages Requirements for Programming Autonomous Robots.- An Agent-Based Cognitive Robot Architecture.- A Programming Framework for Multi-agent Coordination of Robotic Ecologies.- Evaluation of a Conversation Management Toolkit for Multi Agent Programming.- Compact and Efficient Agent Messaging.- Query Caching in Agent Programming Languages.- Typing Multi-agent Programs in simpAL.- Learning to Improve Agent Behaviours in GOAL.- The Multi-Agent Programming Contest 2012.- Reimplementing a Multi-Agent System in Python.- Conquering Large Zones by Exploiting Task Allocation and Graph-Theoretical Algorithms.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Workshop on Optical SuperComputing, OSC 2012, held in Bertinoro, Italy, in July 2012. The 11 papers presented together with 11 invited papers were carefully reviewed and selected for inclusion in this book. Being an annual forum for research presentations on all facets of optical computing for solving hard computation tasks, OCS addresses the following topics of interest: design of optical computing devices, electro-optic devices for interacting with optical computing devices, practical implementations, analysis of existing devices and case studies, optical and laser switching technologies, applications and algorithms for optical devices, alpha particles, X-rays and nano-technologies for optical computing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Englisch.

Buch. Condición: Neu. Neuware -¿The research presented in this book discusses how to efficiently retrieve track and trace information for an item of interest that took a certain path through a complex network of manufacturers, wholesalers, retailers, and consumers. To this end, a super-ordinate system called 'Discovery Service' is designed that has to handle large amounts of data, high insert-rates, and a high number of queries that are submitted to the discovery service.An example that is used throughout this book is the European pharmaceutical supply chain, which faces the challenge that more and more counterfeit medicinal products are being introduced. Between October and December 2008, more than 34 million fake drug pills were detected at customs control at the borders of the European Union. These fake drugs can put lives in danger as they were supposed to fight cancer, take effect as painkiller or antibiotics, among others.The concepts described in this book can be adopted for supply chain management use cases other than track and trace, such as recall, supply chain optimization, or supply chain analytics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Buch. Condición: Neu. Neuware -Economic development and social welfare depend on the existence of effective and efficient infrastructure systems, particularly in health, energy, transportation and water, many of which are developed and managed through Public-Private Partnerships (PPPs). However, empirical evidence suggests some pitfalls in the use of these PPP arrangements.This book addresses these issues, focusing on mostly three key questions: How to improve the robustness of the decision-making process leading to the option of PPP How to improve contract management as the longest phase of the process How can contracts be improved to accommodate uncertainty and avoid harmful renegotiations The authors explore the concept of flexible contracts, the uncertainty modeling for improving the robustness of the decision-making process, and develop an overall framework for effective contract management, along with a comprehensive analysis of current renegotiation patterns.The ultimate goal is to improve the contractual performance, as well as the overall infrastructure management and social welfare.¿Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The book mainly addresses the following aspects: First, it systematically introduces the domestic and foreign research results, pointing out the key elements of the basic theory of IMC, according to a company¿s present situation and the practice of IMC strategy. Second, according to the different characteristics of each organization, it provides various IMC organization structures, such as linear structure Model l, a virtual network and centralized type that focuses on individual interest, external types of the IMC organizational structures Model, etc., and suggestions for further study are also presented.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Driven by the need for a closer alignment of business and IT requirements, the role of business process models in the development of enterprise software systems has increased continuously. Similar to other software artifacts, process models are developed and refined in team environments by several stakeholders, resulting in different versions. These versions need to be merged in order to obtain an integrated process model. Existing solutions to this basic problem in the field of software configuration management are mainly limited to textual documents, e.g., source code.This monograph presents a generally applicable framework for process model change management, which provides easy-to-use comparison and merging capabilities for the integration of different process model versions. The framework supports popular modeling languages such as BPMN, BPEL, or UML Activity Diagrams. Differences between process models are represented in terms of intuitive, high-level change operations. Equipped with a sophisticated analysis of dependencies and a semantic-aware computation of conflicts between differences, the framework constitutes a comprehensive and practically usable solution for process model change management in the model-driven development of enterprise software systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book outlines the most important characteristics of IEEE 802.15.4 and ZigBee and how they can be used to engineer Wireless Sensor Network (WSN) systems and applications, with a particular focus on Quality-of-Service (QoS) aspects. It starts by providing a snapshot of the most relevant features of these two protocols, identifying some gaps in the standard specifications. Then it describes several state-of-the-art open-source implementations, models and tools that have been designed by the authors and have been widely used by the international community. The book also outlines the fundamental performance limits of IEEE 802.15.4/ZigBee networks, based on well-sustained analytical, simulation and experimental models, including how to dimension such networks to optimize delay/energy trade-offs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 180 pp. Englisch.