springer london springer london mai 2011 (55 results)

Taschenbuch. Condition: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Buch. Condition: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Condition: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 72 pp. Englisch.

Taschenbuch. Condition: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Englisch.

Taschenbuch. Condition: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch.

Buch. Condition: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Buch. Condition: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Buch. Condition: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 180 pp. Englisch.

Buch. Condition: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Buch. Condition: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.

Buch. Condition: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.

Buch. Condition: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.

Buch. Condition: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Buch. Condition: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.

Buch. Condition: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch.

Buch. Condition: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 120 pp. Englisch.

Buch. Condition: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.

Buch. Condition: Neu. Neuware -This book 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, 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 Center; provides end-of-chapter summaries and review questions; presents a detailed review on remote sensing satellites; examines the multispectral information that can be obtained from satellite images, with a focus on vegetation and shadow-water indices; investigates methods for land-use classification, introducing precise graph theoretical measures over panchromatic images; addresses the problem of detecting residential regions; describes a house and street network-detection subsystem; concludes with a summary of the key ideas covered in the book.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Buch. Condition: Neu. 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 processthe renewal processthe Markov chainthe 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Buch. Condition: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Englisch.

Buch. Condition: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 568 pp. Englisch.

Buch. Condition: Neu. 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 engineeringcivil engineeringaerospace engineeringautomotive 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Buch. Condition: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Buch. Condition: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.

Buch. Condition: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 572 pp. Englisch.

Buch. Condition: Neu. 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 methodsthe command interface and graphicsdatabases and data exchangeearly-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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 712 pp. Englisch.

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.

Buch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The CDA book provides clear and easy to use guidance to implement the standard, with numerous examples covering many of the nuances of the standard.Readers can learn not only how to implement healthcare IT using the CDA standard, but to 'speak' in the language of the standard, and to understand its idioms.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.