springer berlin heidelberg springer berlin heidelberg mär 2014 (99 Ergebnisse)

Buch. Zustand: Neu. Neuware -Since human beings have been writing it seems there has been plagiarism. It is not something that sprouted with the advent of the Internet. Teachers have been struggling for years in countries all over the globe to find good methods for dealing with the problem of plagiarizing students. How do we spot plagiarism How do we teach them not to plagiarize And how do we deal with those who have been found out to be plagiarists The purpose of this book is to collect material on the various aspects of plagiarism in education with special attention given to the German problem of dissertation plagiarism. Since there is a wide-spread interest in the German plagiarism situation and in strategies for dealing with it, the book is written in English in order to be accessible to a larger audience.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -'From Programs to Systems - The Systems Perspective in Computing' workshop (FPS 2014) was held in honor of Professor Joseph Sifakis in the framework of the 16th European Joint Conferences on Theory and Practice of Software, ETAPS, in Grenoble, April 2014.Joseph Sifakis is an active and visionary researcher in the area of system design. He believes that endowing design with scientific foundations is at least of equal importance as the quest for scientific truth in natural sciences. Previously, he has worked on Petri nets, concurrent systems, program semantics, verification, embedded systems, real-time systems, and formal methods more generally. The book contains 18 papers covering various topics related to the extension of programming theory to systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 6th Conference on Theory of Quantum Computation, Communication, and Cryptography, TQC 2011, held in Madrid, Spain, in May 2011. The 14 revised papers presented were carefully selected from numerous submissions. The papers present new and original research and cover a large range of topics in quantum computation, communication and cryptography, a new and interdisciplinary field at the intersection of computer science, information theory and quantum mechanics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 5th International Meeting on Algebraic and Algorithmic Aspects of Differential and Integral Operators, AADIOS 2012, held at the Applications of Computer Algebra Conference in Sofia, Bulgaria, on June 25-28, 2012. The total of 9 papers presented in this volume consists of 2 invited papers and 7 regular papers which were carefully reviewed and selected from 13 submissions. The topics of interest are: symbolic computation for operator algebras, factorization of differential/integral operators, linear boundary problems and green's operators, initial value problems for differential equations, symbolic integration and differential galois theory, symbolic operator calculi, algorithmic D-module theory, rota-baxter algebra, differential algebra, as well as discrete analogs and software aspects of the above.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 23rd International Conference on Compiler Construction, CC 2014, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 10 full papers and 4 tool papers included in this volume were carefully reviewed and selected from 47 submissions; the book also contains one invited talk. The papers are organized in topical sections named: program analysis and optimization; parallelism and parsing and new trends in compilation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Buch. Zustand: Neu. Neuware -Today, supply chain transformation for creating customer value continues to be a priority for many companies, as it enables them to gain a competitive advantage. While value creation is shaped by external drivers such as market volatility, technology, product and service offering and disruption, it can be stymied by the internal stresses arising from the need to minimize costs, limitations in process redesign, waste minimization and the unavailability of knowledge capital. Therefore, for companies to survive and prosper, the relevant questions to ask would be how to identify the external/internal forces driving changes and how to map the business drivers to the attributes of transformation.While the contemporary supply chain is well-structured, the evolving economic system is causing disruptions to this structure. The emergence of novel business paradigms ¿ non applicability of the traditional laws of supply and demand, dominance of negative externality effects and anomaliesof high growth rate coexisting with high supply side uncertainty ¿ must be recognized in transforming supply chains. For example, healthcare delivery and humanitarian relief do not follow known supply/demand relationships; the negative externality effects are increasing sustainability concerns; and emerging economies, with dysfunctional business infrastructure, must manage high growth rates.This book delves into the transformation issues in supply chains and extends the concepts to incorporate emerging issues. It does so through ten chapters, divided into three sections. The first section establishes the framework for transformation, while the second focuses on the transformation of current chains in terms of products, processes, supply base, procurement, logistics and fulfillment. Section three is devoted to capturing the key issues in transforming supply chains for emerging economies, humanitarian relief, sustainability and healthcare delivery.This work will be of interestto both academics and industrial practitioners and will be of great value to graduate students in business and engineering. It raises many questions, some provocative and provides many leads for in-depth research. Several approaches are suggested for new problems along with a discussion of case studies and examples from different industries.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Englisch.

Buch. Zustand: Neu. Neuware -Wang's book offers an empirically rich and conceptually nuanced analysis of how local state agents maintain control over village self-governance in China. His careful analysis of primary documents enables him to explicate the formal mechanisms used by members of the local state to influence village affairs. Meanwhile, his rigorous and fascinating ethnographic data enable him to elucidate the manifold ways in which informal clientelist ties between local state officials and village elites permit the former to exert control. Overall, this excellent book powerfully demonstrates the need for scholars to go beyond attention to election processes when evaluating what village democracy means in a Chinese context. It is a must-read for all serious scholars of Chinese politics and society.¿Rachel Murphy, University of OxfordGuohui Wang's highly original, in-depth case research vividly reveals the dynamics of contemporary Chinese village politics. By combining abundant empirical data with close observation as an 'insider,' his book illustrates the processes and consequences of transplanting 'democracy' into rural Chinese society. Particularly for those in the West who are keen on understanding the ongoing transformation of rural China, this book is a rich and revealing source.¿Shukai Zhao, Development Research Center of the State Council, P.R. ChinaSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book reflects the current state of discussion about agricultural and rural finance in developing and transition countries. It provides insight into specific themes, such as commodity value chains, farm banking and risk management in agricultural banking, structured finance, crop insurance, mobile banking and how to increase effectiveness in rural finance. Case studies illustrate various aspects of agricultural and rural finance in developing economies. The book is based on one of the yearly financial Sector Development Symposia held by the KfW Development Bank.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The symbiosis between the law, economics and finance is evidenced in our daily lives. This book elucidates the relationship between these factors in Singapore and Hong Kong in direct and indirect real estate market. In Singapore, for example, there is an inseparable relationship between law, economics, finance and the HDB market. The book also showcases the concept of invitation to treat and offer, monetary compensation for environmental externalities under the lens of institutional economics. It also sheds light on the relationship between financial crisis, regulations, housing prices and indirect real estate market.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book provides insight into the thermal analysis of friction welding incorporating welding parameters such as external, duration, breaking load, and material properties. The morphological and metallurgical changes associated with the resulting weld sites are analysed using characterization methods such as electron scanning microscope, energy dispersive spectroscopy, X-ray Diffraction, and Nuclear reaction analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 84 pp. Englisch.

Buch. Zustand: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the Third International Conference on Principles of Security and Trust, POST 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, in April 2014. The 15 papers presented in this volume were carefully reviewed and selected from 55 submissions. They are organized in topical sections named: analysis of cryptographic protocols; quantitative aspects of information flow; information flow control in programming languages; cryptography in implementations and policies and attacks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets and theory of evidence. Volume XVII is a continuation of a number of research streams which have grown out of the seminal work by Zdzislaw Pawlak during the first decade of the 21st century. The research streams represented in the papers cover both theory and applications of rough, fuzzy and near sets as well as their combinations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers included in this book, together with one invited talk, were selected from 106 full-paper submissions. The following topical areas are covered: probabilistic systems, semantics of programming languages, networks, program analysis, games and synthesis, compositional reasoning, bisimulation, categorical and algebraic models and logics of programming.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The total of 42 papers included in this volume, consisting of 26 research papers, 3 case study papers, 6 regular tool papers and 7 tool demonstrations papers, were carefully reviewed and selected from 161 submissions. In addition the book contains one invited contribution. The papers are organized in topical sections named: decision procedures and their application in analysis; complexity and termination analysis; modeling and model checking discrete systems; timed and hybrid systems; monitoring, fault detection and identification; competition on software verification; specifying and checking linear time properties; synthesis and learning; quantum and probabilistic systems; as well as tool demonstrations and case studies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 672 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 17th International Conference on Practice and Theory in Public-Key Cryptography, PKC 2014, held in Buenos Aires, Argentina, in March 2014. The 38 papers presented were carefully reviewed and selected from 145 submissions. The papers are organized in topical sections on chosen ciphertext security, re-encryption, verifiable outsourcing, cryptanalysis, identity and attribute-based encryption, enhanced encryption, signature schemes, related-key security, functional authentication, quantum impossibility, privacy, protocols.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 700 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 11th Latin American Symposium on Theoretical Informatics, LATIN 2014, held in Montevideo, Uruguay, in March/April 2014. The 65 papers presented together with 5 abstracts were carefully reviewed and selected from 192 submissions. The papers address a variety of topics in theoretical computer science with a certain focus on complexity, computational geometry, graph drawing, automata, computability, algorithms on graphs, algorithms, random structures, complexity on graphs, analytic combinatorics, analytic and enumerative combinatorics, approximation algorithms, analysis of algorithms, computational algebra, applications to bioinformatics, budget problems and algorithms and data structures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 800 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This, the 13th issue of Transactions on Large-Scale Data and Knowledge-Centered Systems, contains six revised selected regular papers. Topics covered include federated data sources, information filtering, web data clouding, query reformulation, package skyline queries and SPARQL query processing over a LaV (Local-as-View) integration system.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers included in this volume, together with one invited talk, were carefully reviewed and selected from 125 submissions. They have been organized in topical sections on: modeling and model transformation; time and performance; static analysis; scenario-based specification; software verification; analysis and repair; verification and validation; graph transformation and debugging and testing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 448 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the revised selected papers of the combined workshops on Web Information Systems Engineering, WISE 2013, held in Nanjing, China, in October 2013. The seven workshops of WISE 2013 have reported the recent developments and advances in the contemporary topics in the related fields of: the big data problem on the Web, Big Web Data 2013, mobile business, MBC 2013, personalization in cloud and service computing, PCS 2013, data quality and trust in dig data, QUAT 2013, e-health and social computing, SCEH 2013, semantic technology for e-health, STeH 2013 and semantic technology for smarter cities, STSC 2013.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 512 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This two-volume set, consisting of LNCS 8403 and LNCS 8404, constitutes the thoroughly refereed proceedings of the 14th International Conference on Intelligent Text Processing and Computational Linguistics, CICLing 2014, held in Kathmandu, Nepal, in April 2014. The 85 revised papers presented together with 4 invited papers were carefully reviewed and selected from 300 submissions. The papers are organized in the following topical sections: lexical resources; document representation; morphology, POS-tagging, and named entity recognition; syntax and parsing; anaphora resolution; recognizing textual entailment; semantics and discourse; natural language generation; sentiment analysis and emotion recognition; opinion mining and social networks; machine translation and multilingualism; information retrieval; text classification and clustering; text summarization; plagiarism detection; style and spelling checking; speech processing; and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 556 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book discusses some of the main challenges that arise in the management of modern democracies, with a focus on the role of citizens and their perceptions of government. A theoretical and practical framework is suggested for dealing with some of the most urgent problems that governments face today: the balance between bureaucracy and democracy and between political and administrative concerns; the pressing economic concerns in a market-based, globalized knowledge society and the changes in the relationship of trust amongst the players. At the heart of the analysis is the idea that running governments effectively means settling the potential conflicts between all those who are involved in the governmental process and in the making of public policy and public actions. The authors suggest approaches for strengthening the trust in democratic institutions and cooperation between the main actors in the democratic sphere, without compromising on the need to ensure effective governance.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -For more than 60 years, Jim Lambek has been a profoundly inspirational mathematician, with groundbreaking contributions to algebra, category theory, linguistics, theoretical physics, logic and proof theory. This Festschrift was put together on the occasion of his 90th birthday. The papers in it give a good picture of the multiple research areas where the impact of Jim Lambek's work can be felt. The volume includes contributions by prominent researchers and by their students, showing how Jim Lambek's ideas keep inspiring upcoming generations of scholars.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 436 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The 27 papers presented in this volume were carefully reviewed and selected from 109 submissions. In addition, the book contains two invited talks. The contributions are organized in topical sections named: type systems; verified compilation; program verification; semantics; concurrency; linear types; network and process calculi; and program analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 592 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This two-volume set, consisting of LNCS 8403 and LNCS 8404, constitutes the thoroughly refereed proceedings of the 14th International Conference on Intelligent Text Processing and Computational Linguistics, CICLing 2014, held in Kathmandu, Nepal, in April 2014. The 85 revised papers presented together with 4 invited papers were carefully reviewed and selected from 300 submissions. The papers are organized in the following topical sections: lexical resources; document representation; morphology, POS-tagging, and named entity recognition; syntax and parsing; anaphora resolution; recognizing textual entailment; semantics and discourse; natural language generation; sentiment analysis and emotion recognition; opinion mining and social networks; machine translation and multilingualism; information retrieval; text classification and clustering; text summarization; plagiarism detection; style and spelling checking; speech processing; and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 608 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes revised selected papers from the following SEFM 2012 satellite events: InSuEdu, the First International Symposium on Innovation and Sustainability in Education; MokMaSD, the First International Symposium on Modelling and Knowledge Management for Sustainable Development and Open Cert, the 6th International Workshop on Foundations and Techniques for Open Source Software Certification, held in Thessaloniki, Greece, in October 2012. The total of 14 regular papers and 7 short papers included in this volume were carefully reviewed and selected from 35 submissions. The papers cover the topics related to the use of Information and Communication Technology (ICT) and Open Source Software (OSS) as tools to foster and support Education, Innovation and Sustainability.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume is devoted to one of the fascinating things about stars: how they evolve as they age. This evolution is different for stars of different masses. How stars end their lives when their supply of energy is exhausted also depends on their masses. Interestingly, astronomers conjectured about the ultimate fate of the stars even before the details of their evolution became clear. Part I of this book gives an account of the remarkable predictions made during the 1920s and 1930s concerning the ultimate fate of stars. Since much of this development hinged on quantum physics that emerged during this time, a detailed introduction to the relevant physics is included in the book. Part II is a summary of the life history of stars. This discussion is divided into three parts: low-mass stars, like our Sun, intermediate-mass stars, and massive stars. Many of the concepts of contemporary astrophysics were built on the foundation erected by Subrahmanyan Chandrasekhar in the 1930s. This book,written during his birth centenary, includes a brief biographical sketch of the brilliant scientist, which readers will find fascinating.Reading this book will get young students excited about the presently unfolding revolution in astronomy and the challenges that await them in the world of physics, engineering and technology. General readers will also find the book appealing for its highly accessible narrative of the physics of stars.This book is a companion volume of ¿What are the Stars ¿ by the same author.'I know of no other book on the evolution of stars of a similar scope and breadth that is so accessible for undergraduate students.'E P J van den HeuvelProfessor of AstrophysicsWinner of the Spinoza and Descartes PrizesUniversity of Amsterdam, The NetherlandsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The outstanding question in astronomy at the turn of the twentieth century was: What are the stars and why are they as they are In this volume, the story of how the answer to this fundamental question was unravelled is narrated in an informal style, with emphasis on the underlying physics. This book discusses recent developments in the context of discussing the nature of the stars, their stability and the source of the energy they radiate.Reading this book will get young students excited about the presently unfolding revolution in astronomy and the challenges that await them in the world of physics, engineering and technology. General readers will also find the book appealing for its highly accessible narrative of the physics of stars.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Buch. Zustand: Neu. Neuware -During its forty year lifespan, string theory has always had the power to divide, being called both a 'theory of everything' and a 'theory of nothing'. Critics have even questioned whether it qualifies as a scientific theory at all. This book adopts an objective stance, standing back from the question of the truthor falsity of string theory and instead focusing on how it came to be and how it came to occupy its present position in physics. An unexpectedly rich history is revealed, with deep connections to our most well-established physical theories. Fully self-contained and written in a lively fashion, the book will appeal to a wide variety of readers from novice to specialist.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Buch. Zustand: Neu. Neuware -The Pilates book for professionals: Background information and extensive practical knowledge on using the Pilates approach in prevention and therapy. The foundations include, among others, the 'Pilates Principles' (Breathing, Centering, Flow, Precision, Concentration, Control and Coordination). The extensive praxis part presents all techniques and exercises (mat and equipment training) with detailed photos of movement sequences and with precise instructions and explanations of each exercise. Class plans provide concrete suggestions for the design of course units with prevention orientation and patient examples illustrate treatment procedures and therapeutic effects of the Pilates approach for different symptoms. - A must-have for all Pilates professionals: teachers, trainers, physiotherapists.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch.