springer berlin heidelberg jun 2013 (194 risultati)

Taschenbuch. Condizione: Neu. Neuware -Dieses Buch ist eine Darstellung des Mathematikstoffs für Physiker, die etwa einem vierstündigen Vorlesungsprogramm von vier Semestern entspricht. Darüber hinaus enthält es ein weiterführendes Kapitel über unbeschränkte Operatoren, wie sie in der Quantenmechanik auftreten. Das Buch umfaßt neben linearer Algebra, Funktionentheorie und klassischen Gebieten auch Distributionen, Anfangs-, Randwert- und Anfangsrandwertprobleme für Differentialgleichungen und eine Einführung in die Funktionalanalysis. Ein Ziel ist es, auch neuere Methoden der Mathematik, die in die Physik Eingang gefunden haben, vorzustellen. So werden der Kalkül der Differentialformen und seine Anwendungen, Distributionen, Fundamentallösungen von Differentialgleichungen, Hilbert-Räume und Operatoren hier behandelt. Zahlreiche Erläuterungen, Beispiele sowie Übungsaufgaben und ihre Lösungen unterstützen die Lektüre und ergänzen den Text. 588 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Dieses Buch ist eine Darstellung des Mathematikstoffs für Physiker, die etwa einem vierstündigen Vorlesungsprogramm von vier Semestern entspricht. Darüber hinaus enthält es ein weiterführendes Kapitel über unbeschränkte Operatoren, wie sie in der Quantenmechanik auftreten. Das Buch umfaßt neben linearer Algebra, Funktionentheorie und klassischen Gebieten auch Distributionen, Anfangs-, Randwert- und Anfangsrandwertprobleme für Differentialgleichungen und eine Einführung in die Funktionalanalysis. Ein Ziel ist es, auch neuere Methoden der Mathematik, die in die Physik Eingang gefunden haben, vorzustellen. So werden der Kalkül der Differentialformen und seine Anwendungen, Distributionen, Fundamentallösungen von Differentialgleichungen, Hilbert-Räume und Operatoren hier behandelt. Zahlreiche Erläuterungen, Beispiele sowie Übungsaufgaben und ihre Lösungen unterstützen die Lektüre und ergänzen den Text.Springer Spektrum in Springer Science + Business Media, Tiergartenstr. 15-17, 69121 Heidelberg 588 pp. Deutsch.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Dieses Buch ist eine Darstellung des Mathematikstoffs für Physiker, die etwa einem vierstündigen Vorlesungsprogramm von vier Semestern entspricht. Darüber hinaus enthält es ein weiterführendes Kapitel über unbeschränkte Operatoren, wie sie in der Quantenmechanik auftreten. Das Buch umfaßt neben linearer Algebra, Funktionentheorie und klassischen Gebieten auch Distributionen, Anfangs-, Randwert- und Anfangsrandwertprobleme für Differentialgleichungen und eine Einführung in die Funktionalanalysis. Ein Ziel ist es, auch neuere Methoden der Mathematik, die in die Physik Eingang gefunden haben, vorzustellen. So werden der Kalkül der Differentialformen und seine Anwendungen, Distributionen, Fundamentallösungen von Differentialgleichungen, Hilbert-Räume und Operatoren hier behandelt. Zahlreiche Erläuterungen, Beispiele sowie Übungsaufgaben und ihre Lösungen unterstützen die Lektüre und ergänzen den Text.

Buch. Condizione: Neu. Neuware - Herz-CT - so geht s!Kompliziertes leicht verständlichKomplexe Hintergründe und Fakten zur Herz-CT einfach und anschaulich beschrieben: Die physikalischen und anatomischen Grundlagen werden ebenso erklärt wie die Besonderheiten bei speziellen Patientengruppen. Experten-Tipps und Tricks aus der Praxis geben Sicherheit bei der Durchführung und Befundung.Erfahren Sie alles, was Sie zur Durchführung einer Herz-CT benötigen Indikationsstellung Patientenvorbereitung Kontrastmittelprotokolle Datenakquisition Befunderstellung anhand von BeispielenViele praktische Tipps helfen auch dem Fortgeschrittenen Hinweise zur Minimierung der Strahlendosis Anpassung der Protokolle bei über- und untergewichtigen Patienten Erkennen von Bewegungsartefakten und Lösungsvorschläge2. erweiterte und aktualisierte Auflage mit neuen Kapiteln wie z.B. Myokardperfusion, Ischämiediagnostik und Kongenitale Herzvitien.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book focuses mainly on fractional Brownian fields and their extensions. It has been used to teach graduate students at Grenoble and Toulouse's Universities. It is as self-contained as possible and contains numerous exercises, with solutions in an appendix. After a foreword by Stéphane Jaffard, a long first chapter is devoted to classical results from stochastic fields and fractal analysis. A central notion throughout this book is self-similarity, which is dealt with in a second chapter with a particular emphasis on the celebrated Gaussian self-similar fields, called fractional Brownian fields after Mandelbrot and Van Ness's seminal paper. Fundamental properties of fractional Brownian fields are then stated and proved. The second central notion of this book is the so-called local asymptotic self-similarity (in short lass), which is a local version of self-similarity, defined in the third chapter. A lengthy study is devoted to lass fields with finite variance. Among these lass fields, we find both Gaussian fields and non-Gaussian fields, called Lévy fields. The Lévy fields can be viewed as bridges between fractional Brownian fields and stable self-similar fields. A further key issue concerns the identification of fractional parameters. This is the raison d'être of the statistics chapter, where generalized quadratic variations methods are mainly used for estimating fractional parameters. Last but not least, the simulation is addressed in the last chapter. Unlike the previous issues, the simulation of fractional fields is still an area of ongoing research. The algorithms presented in this chapter are efficient but do not claim to close the debate. 284 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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 interaction of paramagnetic centers with excitons increases the spin relaxation rate of paramagnetic centers in comparison with the case of their interaction with free carriers. The giant magneto-optical effects 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. 304 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These Lecture Notes contain the material relative to the courses given at the CIME summer school held in Cetraro, Italy from August 29 to September 3, 2011. The topic was 'Hamilton-Jacobi Equations: Approximations, Numerical Analysis and Applications'. The courses dealt mostly with the following subjects: first order and second order Hamilton-Jacobi-Bellman equations, properties of viscosity solutions, asymptotic behaviors, mean field games, approximation and numerical methods, idempotent analysis. The content of the courses ranged from an introduction to viscosity solutions to quite advanced topics, at the cutting edge of research in the field. We believe that they opened perspectives on new and delicate issues. These lecture notes contain four contributions by Yves Achdou (Finite Difference Methods for Mean Field Games), Guy Barles (An Introduction to the Theory of Viscosity Solutions for First-order Hamilton-Jacobi Equations and Applications), Hitoshi Ishii (A Short Introduction to Viscosity Solutions and the Large Time Behavior of Solutions of Hamilton-Jacobi Equations) and Grigory Litvinov (Idempotent/Tropical Analysis, the Hamilton-Jacobi and Bellman Equations). 320 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains the refereed proceedings of the 16th International Conference on Business Information Systems, BIS 2013, held in Poznan, 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. 240 pp. Englisch.

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

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

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

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshop on Programming Multi-Agents Systems held in Valencia, Spain, in June 2012. The 10 revised full papers presented were carefully selected from 14 submissions covering a wide range of topics in multi-agent system programming languages, including language design and efficient implementation, agent communication, and robot programming. I addition to these regular papers, the volume includes six papers from the Multi-Agent programming Contest 2012 (MAPC). 256 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions. The papers are devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. The papers are related to the following topics: test generation; model-based testing and mutants; declarative debugging; and tool testing. 244 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Peer-to-peer systems are now widely used and have become the focus of attention 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 those algorithms in peer-to-peer systems. It also contains a collection of characteristic benchmarking results. The chapters of the book have been organized 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. 208 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 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. 168 pp. Englisch.

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

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 4th International Conference on Information Processing in Computer-Assisted Interventions IPCAI 2013, held in Heidelberg, Germany, on June 26, 2013. The 11 papers presented were carefully reviewed and selected from 20 submissions. The papers are organized in topical sections on simulation, neurosurgical interventions, ultrasound guided interventions, and image guided interventions. 124 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 24th Annual Symposium on Combinatorial Pattern Matching, CPM 2013, held in Bad Herrenalb (near Karlsruhe), Germany, in June 2013. The 21 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 51 submissions. The papers address issues of searching and matching strings and more complicated patterns such as trees, regular expressions, graphs, point sets, and arrays. The goal is to derive non-trivial combinatorial properties of such structures and to exploit these properties in order to either achieve superior performance for the corresponding computational problem or pinpoint conditions under which searches cannot be performed efficiently. The meeting also deals with problems in computational biology, data compression and data mining, coding, information retrieval, natural language processing, and pattern recognition. 272 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Unconventional Computation and Natural Computation, UCNC 2013, held in Milan, Italy, in July 2013. The 30 papers (28 full papers, 8 poster papers, and 2 invited papers) were carefully reviewed and selected from 46 submissions. The topics of the volume include: quantum, 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. 280 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 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. 148 pp. Englisch.

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

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

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

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

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Reversible Computation, RC 2013, held in Victoria, BC, Canada, in July 2013. The 19 contributions presented together with one invited paper were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on physical implementation; arithmetic; programming and data structures; modelling; synthesis and optimization; and alternative technologies. 276 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 6th International Conference on Trust and Trustworthy Computing, TRUST 2013, held in London, UK, in June 2013. There is a technical and a socio-economic track. The full papers presented, 14 and 5 respectively, were carefully reviewed from 39 in the technical track and 14 in the socio-economic track. Also included are 5 abstracts describing ongoing research. On the technical track the papers deal with issues such as 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. Papers on the socio-economic track investigated, how trust is managed and perceived in online environments, and how the disclosure of personal data is perceived; and some papers probed trust issues across generations of users and for groups with special needs. 292 pp. Englisch.

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

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

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on High Performance Computing for Computational Science, VECPAR 2012, held in Kope, Japan, in July 2012. The 28 papers presented together with 7 invited talks were carefully selected during two rounds of reviewing and revision. The papers are organized in topical sections on CPU computing, applications, finite element method from various viewpoints, cloud and visualization performance, method and tools for advanced scientific computing, algorithms and data analysis, parallel iterative solvers on multicore architectures. 492 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 16th System Design Languages Forum, SDL 2013, held in Montreal, QC, Canada, in June 2013. The 16 revised, high-quality, full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on verification and testing; dependability engineering; analysis; domain specific languages; model transformation; specification and description language and evolution. 304 pp. Englisch.