springer berlin heidelberg springer berlin heidelberg okt 2012 (Plus de 2 000 résultats)

Taschenbuch. Etat : Neu. Neuware -The book describes from a historical point of view how cosmic rays were discovered. The book describes the research in cosmic rays. The main focus is on how the knowledge was gained, describing the main experiments and the conclusions drawn. Biographical sketches of main researchers are provided. Cosmic rays have an official date of discovery which is linked to the famous balloon flights of the Austrian physicist Hess in 1912. The year 2012 can therefore be considered the centenary of the discovery.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This volume contains 9 thoroughly refereed and revised papers detailing recent advances in research on designing trading agents and mechanisms for agent-mediated e-commerce. They were originally presented at the 12th International Workshop on Agent-Mediated Electronic Commerce (AMEC 2010), collocated with AAMAS 2010 in Toronto, Canada, or the 2010 Workshop on Trading Agent Design and Analysis (TADA 2010), collocated with EC 2010 in Cambridge, MA, USA.The papers examine emerging topics such as ad auctions and supply chains, or the interactions between competing markets, and present novel algorithms and rigorous theoretical results. Several of them evaluate their results using real data from large e-commerce sites or from experiments with human traders.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the four workshops that were organized in conjunction with the International Conference on Business Information Systems, BIS 2012, which took place in Vilnius, Lithuania, May 21-23, 2012. In addition, the papers from the Future Internet Symposium, which was organized in conjunction with BIS 2012, are also included.BIS workshops give researchers theopportunity to share their preliminary ideas andfirst experimental results, and discuss research hypotheses with a highly focused audience. The 24 papers were carefully reviewed and selected from63 submissions and were revised and extended after the event. The workshop topics covered applications and economics of knowledge-based technologies (AKTB), business and IT alignment (BITA), enterprise systems for higher education (ESHE), and formal semantics for future enterprises (FSFE). In addition, one invited paper from BITA is also included in this volume.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Search computing, which has evolved from service computing, focuses on building the answers to complex search queries by interacting with a constellation of cooperating search services, using the ranking and joining of results as the dominant factors for service composition. The field is multi-disciplinary in nature and takes advantage of contributions from other research areas such as knowledge representation, human-computer interfaces, psychology, sociology, economics, and legal sciences. This book is the third in the Search Computing series and contains a collection of 16 papers, which in most cases were contributed to several workshops during 2011 organized by members of the Search Computing project in the context of major international conferences: ExploreWeb at ICWE 2011, Very Large Data Search and DBRank at VLDB 2011, DATAVIEW at ECOWS 2011, and OrdRing at ISWC 2011. The papers provide very useful insights on search computing problems and issues. The book has been divided into four parts focussing on: extraction and integration; query and visualization paradigms; exploring linked data; and games, social search and economics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Internet and Distributed Computing Systems, IDCS 2012, held in Wuyishan, Fujian, China, in November 2012. The conference was co-located with the 6th International Conference on Network and System Security, NSS 2012. The 22 revised full papers of IDCS 2012 presented were carefully reviewed and selected from 80 submissions. The papers cover the following topics: ad-hoc and sensor networks; internet and Web technologies; network operations and management; information infrastructure; resilience; fault tolerance and availability.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional Languages, IFL 2011, held in Lawrence, Kansas, USA, in October 2011. The 11 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers by researchers and practitioners who are actively engaged in the implementation and the use of functional and function based programming languages describe practical and theoretical work as well as applications and tools. They discuss new ideas and concepts, as well as work in progress and results.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the International Conference on Trusted Systems, INTRUST 2012, held in London, UK, in December 2012. The 6 revised full papers presented together with 3 short invited papers and a short paper which formed the basis for a panel session were carefully reviewed and selected from 19 submissions. The papers are organized in topical section on automated analysis, security and trust, mobile trust, security of distributed systems, evaluation and analysis, and embedded security.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 4th Western European Workshop on Research in Cryptology, WEWoRC 2011, held in Weimar Germany, in July 2011.The 10 revised full papers were carefully reviewed and selected from numerour submissions. The papers span a wide spectrum of topics from foundations of cryptology, upto secret-key cryptosystems and hash functions, public-key cryptosystems, modes of operation, cryptographic protocols, hardware and software implementation of cryptosystems and their integration into secure systems, and applications such as watermarking and code obfuscation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes revised selected papers from the 9th International Gesture Workshop, GW 2011, held in Athens, Greece, in May 2011.The 24 papers presented were carefully reviewed and selected from 35 submissions. They are ordered in five sections named: human computer interaction; cognitive processes; notation systems and animation; gestures and signs: linguistic analysis and tools; and gestures and speech.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011.The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Workshop on Multiple Access Communications, MACOM 2012, held in Maynooth, Ireland, in November 2012. The 13 full papers and 5 demo and poster papers presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on network coding, handling interference and localization techniques at PHY/MAC layers, wireless access networks, and medium access control.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 9th International Workshop on Economics of Grids, Clouds, Systems, and Services, GECON 2012, held in Berlin, Germany, in November 2012. The 12 revised full papers presented together with 6 work in progress papers were carefully reviewed and selected from more than 36 submissions. The papers are organized in the following topical sections: market mechanisms, pricing and negotiation; resource allocation, scheduling and admission control; work in progress on tools and techniques for cost-efficient service selection; market modeling; trust; cloud computing in education; and work in progress on cloud adoption and business models.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the International Conference on Data and Knowledge Engineering, ICDKE 2012, held in Wuyishan, Fujian, China, in November 2012. The conference was co-located with the 6th International Conference on Network and System Security, NSS 2012. The 13 revised full papers of ICDKE 2012 were carefully reviewed and selected from 53 submissions. The papers cover the following topics: artificial intelligence and data engineering; knowledge discovery and data management; information extraction and retrieval and data security.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the thoroughly reviewed post-proceedings of the 9th International Workshop, EUMAS 2011, held in Maastricht, The Netherlands, in November 2011.The 16 revised full papers included in the book were carefully revised and selected from 45 submissions.This workshop is primarily intended as a European forum at which researchers and those interested in activities relating to research in the area of autonomous agents and multi-agent systems could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment. The aim of this workshop was to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Interactive Digital Storytelling, ICIDS 2012, San Sebastián, Spain, November 2012. The 14 revised full papers presented together with 6 short papers were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on theory and aesthetics; authoring tools and applications; evaluation and user experience reports; virtual characters and agents; new storytelling modes; workshops.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Buch. Etat : Neu. Neuware -The author describes the current state of the art in the theory of invariant random fields. This theory is based on several different areas of mathematics, including probability theory, differential geometry, harmonic analysis, and special functions. The present volume unifies many results scattered throughout the mathematical, physical, and engineering literature, as well as itintroduces new results from this area first proved by the author. The book also presents many practical applications, in particular in such highly interesting areas as approximation theory, cosmology and earthquake engineering. It is intended for researchers and specialists working in the fields of stochastic processes, statistics, functional analysis, astronomy, and engineering.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book begins with the physical and biological characterization of the four North American deserts and a description of the primary adaptations of plants to environmental stress. In the following chapters the authors present case studies of key species representing dominant growth forms of the North American deserts, and provide an up-to-date and comprehensive review of the major patterns of adaptations in desert plants. One chapter is devoted to several important exotic plants that have invaded North American deserts. The book ends with a synthesis of the adaptations and resource requirements of North American desert plants. Further, it addresses how desert plants may respond to global climate change.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years. In the early 1970s, when . the book Formal Languages by the second mentioned editor appeared, it was still quite feasible to write a comprehensive book with that title and include also topics of current research interest. This would not be possible anymore. A standard-sized book on formal languages would either have to stay on a fairly low level or else be specialized and restricted to some narrow sector of the field. The setup becomes drastically different in a collection of contributions, where the best authorities in the world join forces, each of them concentrat ing on their own areas of specialization. The present three-volume Handbook constitutes such a unique collection. In these three volumes we present the current state of the art in formal language theory. We were most satisfied with the enthusiastic response given to our request for contributions by specialists representing various subfields. The need for a Handbook of Formal Languages was in many answers expressed in different ways: as an easily accessible his torical reference, a general source of information, an overall course-aid, and a compact collection of material for self-study. We are convinced that the final result will satisfy such various needs. The theory of formal languages constitutes the stem or backbone of the field of science now generally known as theoretical computer science.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 648 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Biane, Philippe: Non-commutative stochastic calculus.-Voiculescu, Dan-Virgil: Lectures on free probability.- Guionnet, Alice: Large random matrices: Lectures on macroscopic asymptotics.¿Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 480 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book aims to provide an overview of some adaptive techniques used in estimating parameters for finite populations where the sampling at any stage depends on the sampling information obtained to date. The sample adapts to new information as it comes in. These methods are especially used for sparse and clustered populations.Written by two acknowledged experts in the field of adaptive sampling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 80 pp. Englisch.

Buch. Etat : Neu. Neuware -Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering.After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that share finite state machines as common ¿ancestors¿; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and ¿dual-language approaches¿ combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope.The book is aimed at graduate students and researchers in computer science, whileresearchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 440 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Surface Acoustic Waves in Inhomogeneous Media covers almost all important problems of the interaction of different types of surface acoustic waves with surface inhomogeneities. The problems of surface acoustic wave interaction with periodic topographic gratings widely used in filters and resonators are under careful consideration. The most important results of surface wave scattering by local defects such as grooves, random roughness, elastic wedges are given. Different theoretical approaches and practical rules for solving the surface wave problems are presented.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multiagent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This eighth issue contains a collection of ten carefully selected and thorougly revised contributions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Galenical pharmacy or galenics is the science dealing with the pro duction of drug substances from raw materials, the purity of such substances, their formulation into pharmaceutical preparations with the desired effects and safety in use, and the quality control, stability and storage of the preparations. The field has taken its name from the Greek physician Galen (131-201 A.D.), who had a profound influence on medicine for many centuries because he collected and systematized the medicinal knowledge of his time. The discovery of insulin is attributed to Banting and Best who, in 1921, prepared an extract of the pancreas of the fetal calf and showed that the extract was capable of reducing the blood sugar level of a diabetic dog. This outstanding discovery gave rise to the rapid develop ment of the manufacture of insulin of bovine and porcine origin. By 1925, two Danish manufacturers of insulin preparations were established; both have since been in the forefront ofthe development of insulin preparations, the latest achievement being the marketing of human insulin by Novo in 1982. The development of highly purified human insulin produced semisynthetically from porcine insulin or by DNA recombinant methods are significant contributions to safe and efficient insulin therapy. Insulin is a protein which is destroyed in the gastrointestinal tract.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 116 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Oh cieca cupidigia, oh ira folie, Che si ci sproni nella vita corta, E nell' eterna poi si mal c'immolle! o blind greediness and foolish rage, That in our fleeting life so goads us on And plunges us in boiling blood for ever! Dante, The Divine Comedy Inferno, XII, 17, 49/51. On an afternoon hike during the second Oberwolfach conference on Mathematical Programming in January 1981, two of the authors of this book discussed a paper by another two of the authors (Korte and Schrader [1981]) on approximation schemes for optimization problems over independence systems and matroids. They had noticed that in many proofs the hereditary property of independence systems and matroids is not needed: it is not required that every subset of a feasible set is again feasible. A much weaker property is sufficient, namely that every feasible set of cardinality k contains (at least) one feasible subset of cardinality k - 1. We called this property accessibility, and that was the starting point of our investigations on greedoids.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 8th International Workshop on Internet and Network Economics, WINE 2012, held in Liverpool, UK, in December 2012. The 36 revised full papers and 13 revised short papers presented together with the abstracts of 3 papers about work in progress and 3 invited talks were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on algorithmic game theory; algorithmic mechanism design; auction algorithms and analysis; computational advertising; computational aspects of equilibria; computational social choice; convergence and learning in games; coalitions, coordination and collective action; economics aspects of security and privacy; economics aspects of distributed and network computing; information and attention economics; network games; price differentiation and price dynamics; social networks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 584 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Pakistan has recently reformed its arbitration laws and laws on the recognition and enforcement of foreign arbitration agreements and awards. These reforms relate to both international commercial and investment arbitration. This book highlights the changes brought about by the recent enactments and explains the relationships between the old and new legislation. It provides a detailed and up-to-date analysis of Pakistani case law on foreign arbitration agreements and awards. Part I describes the background of arbitration laws in Pakistan. Part II explains the applicable substantive and procedural rules for the recognition and enforcement of foreign arbitration agreements and awards and other important issues, such as the severability of arbitration clauses from main agreements, questions of public policy, and interim measures supporting foreign arbitration. Part III analyses the recent enactments that implement the New York and the ICSID Conventions in Pakistan.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 64 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -¿¿¿¿¿¿¿Supply chain management (SCM) strives for creating competitive advantage and value for customers by integrating business processes from end users through original suppliers. However, the question of how SCM influences the value of a firm is not fully answered. Various conceptual frameworks that explain the coherence of SCM and company value, comprehended as value-based SCM, are well accepted in scientific research, but quantitative approaches to value-based SCM are found rather seldom. The book contributes to this research gap by proposing quantitative models that allow for assessing influences of SCM on the value of a firm. Opposed to existing models that limit the observation to chosen facets of SCM or selected value drivers, this holistic approach is adequate to ¿ reflect configurational and operational aspects of SCM, ¿ cover all phases of the product life cycle, ¿ financially compare value impacts of profitability-related and asset-related value drivers, and ¿ assess influences of dynamics and uncertainties on company value.¿Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Buch. Etat : Neu. Neuware -Statistical surveys represent an important source of scientific knowledge and a valid decision support tool in many fields, from social studies to economics, market research, health studies, and others. Scientists have tackled most of the methodological issues concerning surveys and the scientific literature offers excellent proposals for planning and conducting surveys. Nevertheless, surveys often require the achievement of aims that either deviate from the methodology or do not have a specific solution at all.This book focuses on survey theory and applications, providing insight and innovative solutions to face problems in data collection and integration, complex sample design, opinion questionnaire design, and statistical estimation.Formal rigour and simple language, together with real-life examples, will make the book suitable to both practitioners involved in applied research and to academics interested in scientific developments in the survey field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.