Search preferences

Product Type

  • All Product Types
  • Books (27)
  • Magazines & Periodicals
  • Comics
  • Sheet Music
  • Art, Prints & Posters
  • Photographs
  • Maps
  • Manuscripts &
    Paper Collectibles

Condition

Binding

Collectible Attributes

  • First Edition
  • Signed
  • Dust Jacket
  • Seller-Supplied Images
  • Not Printed On Demand

Seller Location

Seller Rating

  • Barry Lewis

    Published by Springer London Mai 2011, 2011

    ISBN 10: 0857295993ISBN 13: 9780857295996

    Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

    Seller Rating: 4-star rating, Learn more about seller ratings

    Contact seller

    Book Print on Demand

    US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Written for students taking a second or third year undergraduate course in mathematics or computer science, this book is the ideal companion to a course in enumeration. Enumeration is a branch of combinatorics where the fundamental subject matter is numerous methods of pattern formation and counting. Introduction to Enumeration provides a comprehensive and practical introduction to this subject giving a clear account of fundamental results and a thorough grounding in the use of powerful techniques and tools.Two major themes run in parallel through the book, generating functions and group theory. The former theme takes enumerative sequences and then uses analytic tools to discover how they are made up. Group theory provides a concise introduction to groups and illustrates how the theory can be used to count the number of symmetries a particular object has. These enrich and extend basic group ideas and techniques.The authors present their material through examples that are carefully chosen to establish key results in a natural setting. The aim is to progressively build fundamental theorems and techniques. This development is interspersed with exercises that consolidate ideas and build confidence. Some exercises are linked to particular sections while others range across a complete chapter. Throughout, there is an attempt to present key enumerative ideas in a graphic way, using diagrams to make them immediately accessible. The development assumes some basic group theory, a familiarity with analytic functions and their power series expansion along with some basic linear algebra. 248 pp. Englisch.

  • US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Painful Diabetic Neuropathy in Clinical Practice provides a concise, didactic and essential resource for clinicians in the management of neuropathic pain in diabetic patients.This volume opens with overviews of epidemiology, classification and clinical features, including a discussion of the negative effect of painful neuropathic symptoms on quality of life. These are followed by a chapter on diagnosis and staging, which includes approaches to history taking, clinical examination, pain assessment scales, testing and staging. The book concludes with a chapter on the various approaches in the management of neuropathic pain, including the most up-to-date guidelines on the pharmacological treatment of this condition.This concise handbook is an invaluable reference for primary care practitioners and diabetologists who wish to keep up to date with the diagnosis and management of neuropathic pain. 72 pp. Englisch.

  • US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The ultimate goal of machines is to help humans to solve problems.Such problems range between two extremes: structured problems for which the solution is totally defined (and thus are easily programmed by humans), and random problems for which the solution is completely undefined (and thus cannot be programmed). Problems in the vast middle ground have solutions that cannot be well defined and are, thus, inherently hard to program. Machine Learning is the way to handle this vast middle ground, so that many tedious and difficult hand-coding tasks would be replaced by automatic learning methods. There are several machine learning tasks, and this work is focused on a major one, which is known as classification. Some classification problems are hard to solve, but we show that they can be decomposed into much simpler sub-problems. We also show that independently solving these sub-problems by taking into account their particular demands, often leads to improved classification performance. 128 pp. Englisch.

  • Akira Maruoka

    Published by Springer London Mai 2011, 2011

    ISBN 10: 0857295349ISBN 13: 9780857295347

    Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

    Seller Rating: 4-star rating, Learn more about seller ratings

    Contact seller

    Book Print on Demand

    US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This textbook presents a thorough foundation to the theory of computation. Combining intuitive descriptions and illustrations with rigorous arguments and detailed proofs for key topics, the logically structured discussion guides the reader through the core concepts of automata and languages, computability, and complexity of computation. Topics and features: presents a detailed introduction to the theory of computation, complete with concise explanations of the mathematical prerequisites; provides end-of-chapter problems with solutions, in addition to chapter-opening summaries and numerous examples and definitions throughout the text; draws upon the author's extensive teaching experience and broad research interests; discusses finite automata, context-free languages, and pushdown automata; examines the concept, universality and limitations of the Turing machine; investigates computational complexity based on Turing machines and Boolean circuits, as well as the notion of NP-completeness. 300 pp. Englisch.

  • David R. Brooks

    Published by Springer London Mai 2011, 2011

    ISBN 10: 0857294482ISBN 13: 9780857294487

    Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

    Seller Rating: 4-star rating, Learn more about seller ratings

    Contact seller

    Book Print on Demand

    US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book enables readers to quickly develop a working knowledge of HTML, JavaScript and PHP. The text emphasizes a hands-on approach to learning and makes extensive use of examples. A detailed science, engineering, or mathematics background is not required to understand the material, making the book ideally suitable for self-study or an introductory course in programming. Features: describes the creation and use of HTML documents; presents fundamental concepts of client-side and server-side programming languages; examines JavaScript and PHP implementation of arrays, built-in and user-defined methods and functions, math capabilities, and input processing with HTML forms; extends programming fundamentals to include reading and writing server-based files, command-line interfaces, and an introduction to GD graphics; appendices include a brief introduction to using a 'pseudocode' approach to organizing solutions to computing problems; includes a Glossary and an extensive set of programming exercises. 432 pp. Englisch.

  • Karel J. Keesman

    Published by Springer London Mai 2011, 2011

    ISBN 10: 0857295217ISBN 13: 9780857295217

    Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

    Seller Rating: 4-star rating, Learn more about seller ratings

    Contact seller

    Book Print on Demand

    US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -System Identification shows the student reader how to approach the system identification problem in a systematic fashion. The process is divided into three basic steps: experimental design and data collection; model structure selection and parameter estimation; and model validation, each of which is the subject of one or more parts of the text. Following an introduction on system theory, particularly in relation to model representation and model properties, the book contains four parts covering:- data-based identification - non-parametric methods for use when prior system knowledge is very limited;- time-invariant identification for systems with constant parameters;- time-varying systems identification, primarily with recursive estimation techniques; and- model validation methods.A fifth part, composed of appendices, covers the various aspects of the underlying mathematics needed to begin using the text.The book uses essentially semi-physical or gray-box modeling methods although data-based, transfer-function system descriptions are also introduced. The approach is problem-based rather than rigorously mathematical. The use of finite input-output data is demonstrated for frequency- and time-domain identification in static, dynamic, linear, nonlinear, time-invariant and time-varying systems. Simple examples are used to show readers how to perform and emulate the identification steps involved in various control design methods with more complex illustrations derived from real physical, chemical and biological applications being used to demonstrate the practical applicability of the methods described. End-of-chapter exercises (for which a downloadable instructors' Solutions Manual is available from fill in URL here) will both help students to assimilate what they have learned and make the book suitable forself-tuition by practitioners looking to brush up on modern techniques.Graduate and final-year undergraduate students will find this text to be a practical and realistic course in system identification that can be used for assessing the processes of a variety of engineering disciplines. System Identification will help academic instructors teaching control-related to give their students a good understanding of identification methods that can be used in the real world without the encumbrance of undue mathematical detail. 352 pp. Englisch.

  • US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Case Studies in Abdominal and Pelvic Imaging presents 100 case studies, covering both common every-day conditions of the abdomen and pelvis, as well as less common cases that junior doctors and radiologists in training should be aware of.Compiled by experts in the field, Case Studies in Abdominal and Pelvic Imaging uses the most up-to-date and high quality images, including plain films, CT scans, MRI scans and the occasional nuclear medicine image where relevant.Each case is presented in a pedagogical style, with 1-4 images and accompanying questions, followed by answers and further relevant images. This is then augmented by an explanation of the imaging and key teaching points with references for further reading, making this book a valuable learning guide in an accessible form. 316 pp. Englisch.

  • Ken Watanabe

    Published by Springer London Mai 2011, 2011

    ISBN 10: 0857292927ISBN 13: 9780857292926

    Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

    Seller Rating: 4-star rating, Learn more about seller ratings

    Contact seller

    Book Print on Demand

    US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Osteoporosis Research - Animal Models, presents in a very illustrative and practical manner, general methodologies of bone studies in animals, as well as the particular features of the most commonly used animal models in the field. Research in the field of osteoporosis has grown in recent years. This has resulted in significant advances in determining the causes of osteoporosis, assessing risk factors, and creating new treatment methods. The use of animal models provides important knowledge about pathological conditions that can eventually lead to the development of more effective clinical treatment of diseases in both humans and animals. Osteoporosis Research - Animal Models, is an essential tool for researchers in the bone field. This book aids researchers in selecting their appropriate model and highlights the experiments that can be strategically designed to optimize the potential of an animal to develop the cardinal features of osteoporosis in humans. This book addresses the importance of recent findings from animal models and their significance on the pathogenesis of osteoporosis in relation to human disease. 216 pp. Englisch.

  • US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Although the problem of nonlinear controller design is as old as that of linear controller design, the systematic design methods framed in response are more sparse. Given the range and complexity of nonlinear systems, effective new methods of control design are therefore of significant importance.Dynamic Surface Control of Uncertain Nonlinear Systems provides a theoretically rigorous and practical introduction to nonlinear control design. The convex optimization approach applied to good effect in linear systems is extended to the nonlinear case using the new dynamic surface control (DSC) algorithm developed by the authors. A variety of problems - DSC design, output feedback, input saturation and fault-tolerant control among them - are considered. The inclusion of applications material demonstrates the real significance of the DSC algorithm, which is robust and easy to use, for nonlinear systems with uncertainty in automotive and robotics.Written for the researcher and graduate student of nonlinear control theory, this book will provide the applied mathematician and engineer alike with a set of powerful tools for nonlinear control design. It will also be of interest to practitioners working with a mechatronic systems in aerospace, manufacturing and automotive and robotics, milieux. 268 pp. Englisch.

  • US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book details the analysis of continuous- and discrete-time dynamical systems described by differential and difference equations respectively. Differential geometry provides the tools for this, such as first-integrals or orbital symmetries, together with normal forms of vector fields and of maps. A crucial point of the analysis is linearization by state immersion.The theory is developed for general nonlinear systems and specialized for the class of Hamiltonian systems. By using the strong geometric structure of Hamiltonian systems, the results proposed are stated in a different, less complex and more easily comprehensible manner. They are applied to physically motivated systems, to demonstrate how much insight into known properties is gained using these techniques. Various control systems applications of the techniques are characterized including: computation of the flow of nonlinear systems; computation of semi-invariants; computation of Lyapunov functions for stability analysis and observer design. 352 pp. Englisch.

  • US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Many real-world applications of pattern recognition (PR) systems require human post-processing to correct the errors committed by machines. This can create bottlenecks in recognition systems, yielding high operational costs.This important text/reference proposes a radically different approach to this problem, in which users of a system are involved during the recognition process. This can help to avoid later errors and reduce the costs associated with post-processing. The book also examines a range of advanced multimodal interactions between the machine and the users, including handwriting, speech and gestures.Topics and features: presents a thorough introduction to the fundamental concepts and general PR approaches for multimodal interaction modelling and search (or inference); provides numerous examples and a helpful Glossary; includes work carried out in the context of the Spanish research program Multimodal Interaction in Pattern Recognition and Computer Vision (MIPRCV), which involves more than 100 highly-qualified researchers from ten research institutions; discusses approaches for computer-assisted transcription of handwritten and spoken documents; examines systems for computer-assisted language translation, interactive text generation and parsing, relevance-based image retrieval, and interactive document layout analysis; reviews several full working prototypes of multimodal interactive PR applications, including live demonstrations that can be publicly accessed through the Internet.Addressing the emerging field of interactive and multimodal systems in a fresh, unified and integrated way, this unique book is highly recommended reading for graduate students, academic and industrial researchers, lecturers, and practitioners working in the field of pattern recognition. This book presents a different approach to pattern recognition (PR) systems, in which users of a system are involved during the recognition process. This can help to avoid later errors and reduce the costs associated with post-processing. The book also examines a range of advanced multimodal interactions between the machine and the users, including handwriting, speech and gestures. Features: presents an introduction to the fundamental concepts and general PR approaches for multimodal interaction modeling and search (or inference); provides numerous examples and a helpful Glossary; discusses approaches for computer-assisted transcription of handwritten and spoken documents; examines systems for computer-assisted language translation, interactive text generation and parsing, relevance-based image retrieval, and interactive document layout analysis; reviews several full working prototypes of multimodal interactive PR applications, including live demonstrations that can be publicly accessed on the Internet. 292 pp. Englisch.

  • US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Optimization techniques have been widely adopted to implement various data mining algorithms. In addition to well-known Support Vector Machines (SVMs) (which are based on quadratic programming), different versions of Multiple Criteria Programming (MCP) have been extensively used in data separations. Since optimization based data mining methods differ from statistics, decision tree induction, and neural networks, their theoretical inspiration has attracted many researchers who are interested in algorithm development of data mining. Optimization based Data Mining: Theory and Applications, mainly focuses on MCP and SVM especially their recent theoretical progress and real-life applications in various fields. These include finance, web services, bio-informatics and petroleum engineering, which has triggered the interest of practitioners who look for new methods to improve the results of data mining for knowledge discovery.Most of the material in this book is directly from the research and application activities that the authors' research group has conducted over the last ten years. Aimed at practitioners and graduates who have a fundamental knowledge in data mining, it demonstrates the basic concepts and foundations on how to use optimization techniques to deal with data mining problems. 332 pp. Englisch.

  • David England

    Published by Springer London Mai 2011, 2011

    ISBN 10: 0857294326ISBN 13: 9780857294326

    Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

    Seller Rating: 4-star rating, Learn more about seller ratings

    Contact seller

    Book Print on Demand

    US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Whole Body Interaction is 'The integrated capture and processing of human signals from physical, physiological, cognitive and emotional sources to generate feedback to those sources for interaction in a digital environment' (England 2009).Whole Body Interaction looks at the challenges of Whole Body Interaction from the perspectives of design, engineering and research methods. How do we take physical motion, cognition, physiology, emotion and social context to push boundaries of Human Computer Interaction to involve the complete set of human capabilities Through the use of various applications the authors attempt to answer this question and set a research agenda for future work.Aimed at students and researchers who are looking for new project ideas or to extend their existing work with new dimensions of interaction. 228 pp. Englisch.

  • US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -While the use of database technology is ubiquitous throughout IT (and health IT in particular), it is not generally appreciated that, as a database increases in scope, certain designs are far superior to others. In biomedical domains, new knowledge is being generated continually, and the databases that must support areas such as clinical care and research must also be able to evolve while requiring minimal or no logical / physical redesign. Appropriately designed metadata, and software designed to utilize it effectively, can provide significant insulation against change.Many of the larger EMR or clinical research database vendors have realized this, but their designs are proprietary and not described in the literature. Consequently, numerous misconceptions abound among individuals who have not had to work with large-scale biomedical systems, and graduates of a health or bioinformatics program may find that they need to unlearn what they were taught in database and software design classes in order to work productively with such systems. A working knowledge of such systems is also important for individuals who are not primarily software developers, such as health informaticians, medical information officers and data analysts. This book is, in a sense, intended to prepare all of the above individuals for the real world. 416 pp. Englisch.

  • US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Managing Cooperation in Supply Network Structures and Small- or Medium-sized Enterprises outlines different approaches to the analysis of the organisation of small- or medium-sized enterprises (SMEs). Owing to the increased competition in the worldwide market, several SMEs operating in the same industrial sectors have agreed collaborative market strategies, both for raw material procurement and for final product delivery. The resulting networks, however, have a tendency to suffer from a lack of organization, which minimizes their impact on the product and labour markets, and causes a weak negotiation capacity within their supply chain.Managing Cooperation in Supply Network Structures and Small- or Medium-sized Enterprises aims to give managers of SMEs a simple methodology that helps them to understand when and why becoming a partner in an SME network can be profitable for their enterprise. It discusses the most critical organizational problems and identifies which procedures must be known to become a collaborative member of the network. Policy-makers, as well as managers and executives, will be able to appreciate the key issues in creating and managing healthy networks that serve global market requirements in the major industrial sectors. Managing Cooperation in Supply Network Structures and Small- or Medium-sized Enterprises enables them to evaluate the efficiency of their organization, and to estimate both the network performance and the opportunity for further development. 120 pp. Englisch.

  • US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The sense of touch is fundamental during the interaction between humans and their environment; in virtual reality, objects are created by computer simulations and they can be experienced through haptic devices. In this context haptic textures are fundamental for a realistic haptic perception of virtual objects.This book formalizes the specific artefacts corrupting the rendering of virtual haptic textures and offers a set of simple conditions to guide haptic researchers towards artefact-free textures. The conditions identified are also extremely valuable when designing psychophysical experiments and when analyzing the significance of the data collected.The Synthesis of Three Dimensional Haptic Textures, Geometry, Control, and Psychophysics examines the problem of rendering virtual haptic textures with force feedback devices. The author provides an introduction to the topic of haptic textures that covers the basics of the physiology of the skin, the psychophysics of roughness perception, and the engineering challenges behind haptic textures rendering. The book continues with the presentation of a novel mathematical framework that characterizes haptic devices, texturing algorithms and their ability to generate realistic haptic textures. Finally, two psychophysical experiments link the perception of roughness with the parameters of the haptic rendering algorithms.This book formalizes the specific artefacts corrupting the rendering of virtual haptic textures and offers a set of simple conditions to guide haptic researchers towards artefact-free textures. The conditions identified are also extremely valuable when designing psychophysical experiments and when analyzing the significance of the data collected. 180 pp. Englisch.

  • US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Rapid development of remote sensing technology in recent years has greatly increased availability of high-resolution satellite image data. However, detailed analysis of such large data sets also requires innovative new techniques in image and signal processing.This important text/reference presents a comprehensive review of image processing methods, for the analysis of land use in residential areas. Combining a theoretical framework with highly practical applications, making use of both well-known methods and cutting-edge techniques in computer vision, the book describes a system for the effective detection of single houses and streets in very high resolution. Topics and features:With a Foreword by Prof. Dr. Peter Reinartz of the German Aerospace CenterProvides end-of-chapter summaries and review questionsPresents a detailed review on remote sensing satellitesExamines the multispectral information that can be obtained from satellite images, with a focus on vegetation and shadow-water indicesInvestigates methods for land-use classification, introducing precise graph theoretical measures over panchromatic imagesAddresses the problem of detecting residential regionsDescribes a house and street network-detection subsystemConcludes with a summary of the key ideas covered in the bookThis pioneering work on automated satellite and aerial image-understanding systems will be of great interest to researchers in both remote sensing and computer vision, highlighting the benefit of interdisciplinary collaboration between the two communities. Urban planners and policy makers will also find considerable value in the proposed system.Dr. Cem Ünsalan is an Associate Professor in the Department of Electrical and Electronics Engineering at Yeditepe University, Istanbul, Turkey. Dr. Kim Boyer is Professor and Head of the Department of Electrical, Computer, and Systems Engineering at Rensselaer Polytechnic Institute, Troy, NY, USA. 204 pp. Englisch.

  • US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The modular representation theory of Iwahori-Hecke algebras and this theory's connection to groups of Lie type is an area of rapidly expanding interest; it is one that has also seen a number of breakthroughs in recent years. In classifying the irreducible representations of Iwahori-Hecke algebras at roots of unity, this book is a particularly valuable addition to current research in this field. Using the framework provided by the Kazhdan-Lusztig theory of cells, the authors develop an analogue of James' (1970) 'characteristic-free'' approach to the representation theory of Iwahori-Hecke algebras in general.Presenting a systematic and unified treatment of representations of Hecke algebras at roots of unity, this book is unique in its approach and includes new results that have not yet been published in book form. It also serves as background reading to further active areas of current research such as the theory of affine Hecke algebras and Cherednik algebras.The main results of this book are obtained by an interaction of several branches of mathematics, namely the theory of Fock spaces for quantum affine Lie algebras and Ariki's theorem, the combinatorics of crystal bases, the theory of Kazhdan-Lusztig bases and cells, and computational methods.This book will be of use to researchers and graduate students in representation theory as well as any researchers outside of the field with an interest in Hecke algebras. 416 pp. Englisch.

  • Axel Simon

    Published by Springer London Mai 2011, 2011

    ISBN 10: 1849967024ISBN 13: 9781849967020

    Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

    Seller Rating: 4-star rating, Learn more about seller ratings

    Contact seller

    Book Print on Demand

    US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Abu erover owoccurswheninputiswrittenintoamemorybu erthatisnot large enough to hold the input. Bu er over ows may allow a malicious person to gain control over a computer system in that a crafted input can trick the defectiveprogramintoexecutingcodethatisencodedintheinputitself.They are recognised as one of the most widespread forms of security vulnerability, and many workarounds, including new processor features, have been proposed to contain the threat. This book describes a static analysis that aims to prove the absence of bu er over ows in C programs. The analysis is conservative in the sense that it locates every possible over ow. Furthermore, it is fully automatic in that it requires no user annotations in the input program. Thekeyideaoftheanalysisistoinferasymbolicstateforeachp- gram point that describes the possible variable valuations that can arise at that point. The program is correct if the inferred values for array indices and pointer o sets lie within the bounds of the accessed bu er. The symbolic state consists of a nite set of linear inequalities whose feasible points induce a convex polyhedron that represents an approximation to possible variable valuations. The book formally describes how program operations are mapped to operations on polyhedra and details how to limit the analysis to those p- tionsofstructuresandarraysthatarerelevantforveri cation.Withrespectto operations on string bu ers, we demonstrate how to analyse C strings whose length is determined by anul character within the string. 324 pp. Englisch.

  • Tao Xiang

    Published by Springer London Mai 2011, 2011

    ISBN 10: 0857296698ISBN 13: 9780857296696

    Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

    Seller Rating: 4-star rating, Learn more about seller ratings

    Contact seller

    Book Print on Demand

    US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents a comprehensive treatment of visual analysis of behaviour from computational-modelling and algorithm-design perspectives. Topics: covers learning-group activity models, unsupervised behaviour profiling, hierarchical behaviour discovery, learning behavioural context, modelling rare behaviours, and 'man-in-the-loop' active learning; examines multi-camera behaviour correlation, person re-identification, and 'connecting-the-dots' for abnormal behaviour detection; discusses Bayesian information criterion, Bayesian networks, 'bag-of-words' representation, canonical correlation analysis, dynamic Bayesian networks, Gaussian mixtures, and Gibbs sampling; investigates hidden conditional random fields, hidden Markov models, human silhouette shapes, latent Dirichlet allocation, local binary patterns, locality preserving projection, and Markov processes; explores probabilistic graphical models, probabilistic topic models, space-time interest points, spectral clustering, and support vector machines. 376 pp. Englisch.

  • Luigi Nicolais

    Published by Springer London Mai 2011, 2011

    ISBN 10: 0857291653ISBN 13: 9780857291653

    Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

    Seller Rating: 4-star rating, Learn more about seller ratings

    Contact seller

    Book Print on Demand

    US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Composite Materials presents recent developments and state-of-the-art achievements in the science and technology of composites. It identifies and discusses key and emerging issues for future progress in the multidisciplinary field of composites.By bringing together leading experts and promising innovators from research institutions and academia, Composite Materials highlights unresolved issues and identifies opportunities for long-term research needs to provide the reader with a vision for the future in various fields of application of composite materials. A few of the many future directions highlighted in the book are increasingly multifunctional properties; complex, hybrid and nanoreinforced materials; and tailoring in multiple dimensions and directions. The wider areas covered include, but are not limited to, the following:biomedical engineering,civil engineering,aerospace engineering,automotive engineering, andnaval engineering.Composite Materials is designed to increase the reader's understanding of the state of the art of composite materials in a variety of industrial sectors and to explore future needs and opportunities. It will therefore be of use to professionals working in the composites industry, research centers, and academia, who already have a graduate-level knowledge of composite materials. 228 pp. Englisch.

  • Xiaoyu Yang

    Published by Springer London Mai 2011, 2011

    ISBN 10: 0857294385ISBN 13: 9780857294388

    Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

    Seller Rating: 4-star rating, Learn more about seller ratings

    Contact seller

    Book Print on Demand

    US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This guidebook on e-science presents real-world examples of practices and applications, demonstrating how a range of computational technologies and tools can be employed to build essential infrastructures supporting next-generation scientific research. Each chapter provides introductory material on core concepts and principles, as well as descriptions and discussions of relevant e-science methodologies, architectures, tools, systems, services and frameworks. Features: includes contributions from an international selection of preeminent e-science experts and practitioners; discusses use of mainstream grid computing and peer-to-peer grid technology for 'open' research and resource sharing in scientific research; presents varied methods for data management in data-intensive research; investigates issues of e-infrastructure interoperability, security, trust and privacy for collaborative research; examines workflow technology for the automation of scientific processes; describes applications of e-science. 568 pp. Englisch.

  • Toshio Nakagawa

    Published by Springer London Mai 2011, 2011

    ISBN 10: 0857292730ISBN 13: 9780857292735

    Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

    Seller Rating: 4-star rating, Learn more about seller ratings

    Contact seller

    Book Print on Demand

    US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Reliability theory is of fundamental importance for engineers and managers involved in the manufacture of high-quality products and the design of reliable systems. In order to make sense of the theory, however, and to apply it to real systems, an understanding of the basic stochastic processes is indispensable.As well as providing readers with useful reliability studies and applications, Stochastic Processes also gives a basic treatment of such stochastic processes as:the Poisson process,the renewal process,the Markov chain,the Markov process, andthe Markov renewal process.Many examples are cited from reliability models to show the reader how to apply stochastic processes. Furthermore, Stochastic Processes gives a simple introduction to other stochastic processes such as the cumulative process, the Wiener process, the Brownian motion and reliability applications.Stochastic Processes is suitable for use as a reliability textbook by advanced undergraduate and graduate students. It is also of interest to researchers, engineers and managers who study or practise reliability and maintenance. 264 pp. Englisch.

  • Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The ELFNET Book on Failure Mechanisms, Testing Methods, and Quality Issues of Lead-Free Solder Interconnects is the work of the European network ELFNET which was founded by the European Commission in the 6th Framework Programme. It brings together contributions from the leading European experts in lead-free soldering.The limited validity of testing methods originating from tin-lead solder was a major point of concern in ELFNET members' discussions. As a result, the network's reliability group decided to bring together the material properties of lead-free solders, as well as the basics of material science, and to discuss their influence on the procedures for accelerated testing. This has led to a matrix of failure mechanisms and their activation and, as a result, to a comprehensive coverage of the scientific background and its applications in reliability testing of lead-free solder joints.The ELFNET Book on Failure Mechanisms, Testing Methods, and Quality Issues of Lead-Free Solder Interconnects is written for scientists, engineers and researchers involved with lead-free electronics. 324 pp. Englisch.

  • Manuel Ramos-Casals

    Published by Springer London Mai 2011, 2011

    ISBN 10: 0857293575ISBN 13: 9780857293572

    Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

    Seller Rating: 4-star rating, Learn more about seller ratings

    Contact seller

    Book Print on Demand

    US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Autoimmune Diseases: Acute and Complex Situations provides a detailed overview of conditions associated with autoimmune diseases that are considered either life-threatening or requiring complex management. These include abdominal pain, arthritis, cutaneous ulcers, gastrointestinal hemorrhage, epilepsy, pancreatitis, stroke and white-matter CNS lesions. Autoimmune Diseases: Acute and Complex Situations addresses the latest clinical and immunological prognostic factors that may help to identify patients at higher risk of developing potentially life-threatening involvement. This book comprehensively helps the reader to diagnose these patients, in whom an early therapeutic approach is essential. Autoimmune Diseases: Acute and Complex Situations is a valuable reference tool for rheumatologists, internists, immunologists, and all the specialists involved in the multidisciplinary care of patient with rheumatic and systemic autoimmune diseases. 428 pp. Englisch.

  • US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software Reliability Assessment with OR Applications is a comprehensive guide to software reliability measurement, prediction, and control. It provides a thorough understanding of the field and gives solutions to the decision-making problems that concern software developers, engineers, practitioners, scientists, and researchers. Using operations research techniques, readers will learn how to solve problems under constraints such as cost, budget and schedules to achieve the highest possible quality level. Software Reliability Assessment with OR Applications is a comprehensive text on software engineering and applied statistics, state-of-the art software reliability modeling, techniques and methods for reliability assessment, and related optimization problems. It addresses various topics, including:unification methodologies in software reliability assessment; application of neural networks to software reliability assessment;software reliability growth modeling using stochastic differential equations;software release time and resource allocation problems; andoptimum component selection and reliability analysis for fault tolerant systems.Software Reliability Assessment with OR Applications is designed to cater to the needs of software engineering practitioners, developers, security or risk managers, and statisticians. It can also be used as a textbook for advanced undergraduate or postgraduate courses in software reliability, industrial engineering, and operations research and management. 572 pp. Englisch.

  • Hildegarde Nagy

    Published by Springer London Mai 2011, 2011

    ISBN 10: 0857292587ISBN 13: 9780857292582

    Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

    Seller Rating: 4-star rating, Learn more about seller ratings

    Contact seller

    Book Print on Demand

    US$ 24.61 Shipping

    From Germany to U.S.A.

    Quantity: 2

    Add to Basket

    Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Solid Modelling and CAD Systems gives users an insight into the methods and problems associated with CAD systems. It acts as a bridge between users who learn interfaces without understanding how they work and developers who create systems without understanding the needs of the users.The main feature of Solid Modelling and CAD Systems is a logical analysis of the techniques and basic solid modelling methods used in modern CAD systems. The book goes on to describe, among other subjects:two-dimensional shape definition methods,the command interface and graphics,databases and data exchange,early-phase design, andcommand files and command structures. Reading Solid Modelling and CAD Systems will help users understand the limitations of the techniques they are using and will enable practitioners to use CAD systems more efficiently. It is a valuable tool for designers, as well as for advanced undergraduate and postgraduate students. The exercises it contains allow readers to try out different aspects of the subject matter and the book also includes projects that can be used for teaching purposes. 712 pp. Englisch.