springer london dez 2012 (93 risultati)

Taschenbuch. Condizione: Neu. Neuware -CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, the theory of CSP helps users to understand concurrent systems, and to decide whether a program meets its specification. As a member of the family of process algebras, the concepts of communication and interaction are presented in an algebraic style.An invaluable reference on the state of the art in CSP, Understanding Concurrent Systems also serves as a comprehensive introduction to the field, in addition to providing material for a number of more advanced courses. A first point of reference for anyone wanting to use CSP or learn about its theory, the book also introduces other views of concurrency, using CSP to model and explain these. The text is fully integrated with CSP-based tools such as FDR, and describes how to create new tools based on FDR. Most of the book relies on no theoretical background other than a basic knowledge of sets and sequences. Sophisticated mathematical arguments are avoided whenever possible.Topics and features: presents a comprehensive introduction to CSP; discusses the latest advances in CSP, covering topics of operational semantics, denotational models, finite observation models and infinite-behaviour models, and algebraic semantics; explores the practical application of CSP, including timed modelling, discrete modelling, parameterised verifications and the state explosion problem, and advanced topics in the use of FDR; examines the ability of CSP to describe and enable reasoning about parallel systems modelled in other paradigms; covers a broad variety of concurrent systems, including combinatorial, timed, priority-based, mobile, shared variable, statecharts, buffered and asynchronous systems; contains exercises and case studies to support the text; supplies further tools and information at theassociated website: comlab.ox.ac.uk/ucs/.From undergraduate students of computer science in need of an introduction to the area, to researchers and practitioners desiring a more in-depth understanding of theory and practice of concurrent systems, this broad-ranging text/reference is essential reading for anyone interested in Hoare¿s CSP.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 548 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Symmetry and Pattern in Projective Geometry is a self-contained study of projective geometry which compares and contrasts the analytic and axiomatic methods. The analytic approach is based on homogeneous coordinates, and brief introductions to Plücker coordinates and Grassmann coordinates are presented.This book looks carefully at linear, quadratic, cubic and quartic figures in two, three and higher dimensions. It deals at length with the extensions and consequences of basic theorems such as those of Pappus and Desargues. The emphasis throughout is on special configurations that have particularly interesting symmetry properties.The intricate and novel ideas of ¿Donald¿ Coxeter, who is considered one of the great geometers of the twentieth century, are also discussed throughout the text. The book concludes with a useful analysis of finite geometries and a description of some of the remarkable configurations discovered by Coxeter.This book will be appreciated by mathematics students and those wishing to learn more about the subject of geometry. It makes accessible subjects and theorems which are often considered quite complicated and presents them in an easy-to-read and enjoyable manner.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The theory of dynamical systems is a broad and active research subject with connections to most parts of mathematics. Dynamical Systems: An Introduction undertakes the difficult task to provide a self-contained and compact introduction.Topics covered include topological, low-dimensional, hyperbolic and symbolic dynamics, as well as a brief introduction to ergodic theory. In particular, the authors consider topological recurrence, topological entropy, homeomorphisms and diffeomorphisms of the circle, Sharkovski's ordering, the Poincaré-Bendixson theory, and the construction of stable manifolds, as well as an introduction to geodesic flows and the study of hyperbolicity (the latter is often absent in a first introduction). Moreover, the authors introduce the basics of symbolic dynamics, the construction of symbolic codings, invariant measures, Poincaré's recurrence theorem and Birkhoff's ergodic theorem.The exposition is mathematically rigorous, concise and direct: all statements (except for some results from other areas) are proven. At the same time, the text illustrates the theory with many examples and 140 exercises of variable levels of difficulty. The only prerequisites are a background in linear algebra, analysis and elementary topology.This is a textbook primarily designed for a one-semester or two-semesters course at the advanced undergraduate or beginning graduate levels. It can also be used for self-study and as a starting point for more advanced topics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Buch. Condizione: Neu. Neuware -Dirk van Dalen¿s biography studies the fascinating life of the famous Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer.Brouwer belonged to a special class of genius; complex and often controversial and gifted with a deep intuition, he had an unparalleled access to the secrets and intricacies of mathematics.Most mathematicians remember L.E.J. Brouwer from his scientific breakthroughs in the young subject of topology and for the famous Brouwer fixed point theorem. Brouwer¿s main interest, however, was in the foundation of mathematics which led him to introduce, and then consolidate, constructive methods under the name ¿intuitionism¿. This made him one of the main protagonists in the ¿foundation crisis¿ of mathematics.As a confirmed internationalist, he also got entangled in the interbellum struggle for the ending of the boycott of German and Austrian scientists. This time during the twentieth century was turbulent; nationalist resentment and friction between formalism and intuitionism led to the Mathematische Annalen conflict ('The war of the frogs and the mice'). It was here that Brouwer played a pivotal role.The present biography is an updated revision of the earlier two volume biography in one single book. It appeals to mathematicians and anybody interested in the history of mathematics in the first half of the twentieth century.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 888 pp. Englisch.

Buch. Condizione: Neu. Neuware -The book is not intended to be an all-encompassing atlas or textbook but rather a foundation of principles in dermatopathology, highlighting key elements in the field for trainees and will also serve as a basic resource for the pathologist in general practice. In addition to the sketches and minimal text, we envision accompanying high resolution histopathologic micrographs for ultimate correlation as well.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 140 pp. Englisch.

Buch. Condizione: Neu. Neuware -Today¿s society is completely dependent on critical networks such as water supply, sewage, electricity, ICT and transportation. Risk and vulnerability analyses are needed to grasp the impact of threats and hazards. However, these become quite complex as there are strong interdependencies both within and between infrastructure systems. Risk and Interdependencies in Critical Infrastructures: A guideline for analysis provides methods for analyzing risks and interdependencies of critical infrastructures.A number of analysis approaches are described and are adapted to each of these infrastructures. Various approaches are also revised, and all are supported by several examples and illustrations. Particular emphasis is given to the analysis of various interdependencies that often exist between the infrastructures.Risk and Interdependencies in Critical Infrastructures: A guideline for analysis provides a good tool to identify the hazards that are threatening your infrastructures, and will enhance the understanding on how these threats can propagate throughout the system and also affect other infrastructures, thereby identifying useful risk reducing measures. It is essential reading for municipalities and infrastructure owners that are obliged to know about and prepare for the risks and vulnerabilities of the critical infrastructures for which they are responsible.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Buch. Condizione: Neu. Neuware -Cytopathology: An Introduction is a succinct book which guides the trainee through the hurdles ofearly cytology practice and can also be used throughout the career as an aide memoire by the more experienced. With numerous illustrations to enthuse the reader and make cytological practice a more enjoyable and educational experience, Cytopathology: An Introduction also highlights points of diagnostic difficulty, particularly with regard to the differentiation of neoplastic from non-neoplastic disease.Each chapter of Cytopathology: An Introduction starts by detailing the main methods available appropriate to the clinical situation, followed by descriptions of the relevant cytological appearances and diagnostic pitfalls. Topics covered include the brain and cerebrospinal fluid; pulmonary cytology; serous fluids; thyroid gland; lymph nodes; salivary glands; gastrointestinal and hepatopancreaticobiliary tracts; urinary tract and retroperitoneal cytology; female genital tract; breast; soft tissue, bones and joints; and skin.Cytopathology: An Introduction will be an invaluable reference guide to histo- and cytopathology trainees, as well as those preparing for post-graduate examinations and consultants who want a refresher. A quick reference, concise but precise, Cytopathology: An Introduction provides practical and helpful information on the salient cytological features of any condition that may present in routine cytopathology.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 496 pp. Englisch.

Buch. Condizione: Neu. Neuware -There are a variety of protocols that are used in infected total joint arthroplasty. This book outlines and details the best possible course of treatment and formulate custom algorithms for every possible case, based on current evidence. It reviews current concepts and ¿recipes¿ for the diagnostic and therapeutic procedures (surgical and antibiotic) based on the type of implant, infection and the patient.This book is an essential resource on infected total joint arthroplasty, containing a series of logical and highly detailed instructions that will serve to educate orthopedic surgeons operating in this field on the best approaches, according to detailed and careful research conducted over the last decade.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.

Buch. Condizione: Neu. Neuware -Pollution Under Environmental Regulation in Energy Markets provides a study of environmental regulation when energy markets are imperfectly competitive. This theoretical treatment focuses on three relevant cases of energy markets. First, the residential space heating sector where hybrid regulation such as taxation and emissions trading together are possible. Second, the electricity market where transactions are organized in the form of multi-period auctions. Third, namely natural gas (input) and electricity (output) markets where there is combined imperfect competition in vertical related energy markets.The development of free or low carbon technologies supported by energy policies, aiming at increasing security of supply, is also explored whilst considering competition policies that reduce market power in energy markets thus improving market efficiency. Pollution Under Environmental Regulation in Energy Markets discusses the key issues of whether imperfect competition can lessen the ability of environmental policy to reduce pollution and/or to minimize the cost of meeting environmental targets.Policymakers, analysts and researchers gain a thorough understanding of the performance of environmental policy from Pollution Under Environmental Regulation in Energy Markets leading to better design of simulation models of performance and costs of environmental regulation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The emerging, multi-disciplinary field of systems biology is devoted to the study of the relationships between various parts of a biological system, and computer modeling plays a vital role in the drive to understand the processes of life from an holistic viewpoint. Advancements in experimental technologies in biology and medicine have generated an enormous amount of biological data on the dependencies and interactions of many different molecular cell processes, fueling the development of numerous computational methods for exploring this data. The mathematical formalism of Petri net theory is able to encompass many of these techniques.This essential text/reference presents a comprehensive overview of cutting-edge research in applications of Petri nets in systems biology, with contributions from an international selection of experts. Those unfamiliar with the field are also provided with a general introduction to systems biology, the foundations of biochemistry, and the basics of Petri net theory. Further chapters address Petri net modeling techniques for building and analyzing biological models, as well as network prediction approaches, before reviewing the applications to networks of different biological classification.Topics and features: investigates the modular, qualitative modeling of regulatory networks using Petri nets, and examines an Hybrid Functional Petri net simulation case study; contains a glossary of the concepts and notation used in the book, in addition to exercises at the end of each chapter; covers the topological analysis of metabolic and regulatory networks, the analysis of models of signaling networks, and the prediction of network structure; provides a biological case study on the conversion of logical networks into Petri nets; discusses discrete modeling, stochastic modeling, fuzzy modeling, dynamic pathway modeling, genetic regulatory network modeling, and quantitative analysis techniques; includes a Foreword by Professor Jens Reich, Professor of Bioinformatics at Humboldt University and Max Delbrück Center for Molecular Medicine in Berlin.This unique guide to the modeling of biochemical systems using Petri net concepts will be of real utility to researchers and students of computational biology, systems biology, bioinformatics, computer science, and biochemistry.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Hip replacement operations have become commonplace during the past ten years, but none the less it is well to remember the struggle to overcome the initial difficulties before the achievement of the successful results which are confidently expected today. Certainly, in the 1950s attempts to relieve pain and restore movement to an arthritic hip frequently failed. Such operations which were practised often involved a prolonged period of immobilisation which would now not be tolerated. For progress to be made orthopaedic surgeons had to rely on the loyalty and stoicism of their patients who allowed untried procedures to be carried out on themselves, often without appreciating the possible outcome. These surgical experiments resulted in progress being made, and the failures led to a greater understanding of the problems involved. The importance of collaboration with bio-engineers was also recognised, and the search began for suitable materials with which to make an artificial joint. Progress was made in many centres throughout the world, and surgeons in the United Kingdom were at the forefront in devising original techniques. Although others also produced new models, John Charnley was a pioneer and an innovator who influenced the development of hip relacement more than any other individual. In telling the story of his life this book is inevitably also the story of the operation, but it is not intended to be a scientific evaluation of his work.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Buch. Condizione: Neu. Neuware -The re-engineering of power transmission systems is crucial to meeting the objectives of such regulators as the European Union. In addition to its market, organisational and regulatory aspects, this re-engineering will also involve technical issues dealing with the progressive integration of innovative transmission technologies in the daily operation of transmission system operators. In this context, Advanced Technologies for Future Transmission Grids provides an overview of the most promising technologies, likely to be of help to planners of transmission grids in responding to the challenges of the future: security of supply; integration of renewable generation; and creation of integrated energy markets (using the European case as an example). These issues have increased importance because of administrative complication and the fragmentation of public opinion expressed on the build up of new infrastructure. For each technology discussed, the focus is on the technical-economic perspective rather than on purely technological points of view. A transmission-system-operator-targeted Technology Roadmap is presented for the integration of promising innovative power transmission technologies within power systems of the mid-long term. Although the primary focus of this text is in the sphere of the European energy market, the lessons learned can be generalized to the energy markets of other regions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.

Buch. Condizione: Neu. Neuware -There are many methods of stable controller design for nonlinear systems. In seeking to go beyond the minimum requirement of stability, Adaptive Dynamic Programming in Discrete Time approaches the challenging topic of optimal control for nonlinear systems using the tools of adaptive dynamic programming (ADP). The range of systems treated is extensive; affine, switched, singularly perturbed and time-delay nonlinear systems are discussed as are the uses of neural networks and techniques of value and policy iteration. The text features three main aspects of ADP in which the methods proposed for stabilization and for tracking and games benefit from the incorporation of optimal control methods:¿ infinite-horizon control for which the difficulty of solving partial differential Hamilton¿Jacobi¿Bellman equations directly is overcome, and proof provided that the iterative value function updating sequence converges to the infimum of all the value functions obtained by admissible control law sequences;¿ finite-horizon control, implemented in discrete-time nonlinear systems showing the reader how to obtain suboptimal control solutions within a fixed number of control steps and with results more easily applied in real systems than those usually gained from infinite-horizon control;¿ nonlinear games for which a pair of mixed optimal policies are derived for solving games both when the saddle point does not exist, and, when it does, avoiding the existence conditions of the saddle point.Non-zero-sum games are studied in the context of a single network scheme in which policies are obtained guaranteeing system stability and minimizing the individual performance function yielding a Nash equilibrium.In order to make the coverage suitable for the student as well as for the expert reader, Adaptive Dynamic Programming in Discrete Time:¿ establishes the fundamental theory involved clearly with each chapter devoted to aclearly identifiable control paradigm;¿ demonstrates convergence proofs of the ADP algorithms to deepen understanding of the derivation of stability and convergence with the iterative computational methods used; and¿ shows how ADP methods can be put to use both in simulation and in real applications.This text will be of considerable interest to researchers interested in optimal control and its applications in operations research, applied mathematics computational intelligence and engineering. Graduate students working in control and operations research will also find the ideas presented here to be a source of powerful methods for furthering their study.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 440 pp. Englisch.

Buch. Condizione: Neu. Neuware -This comprehensive text/reference examines in depth the synergy between multimedia content analysis, personalization, and next-generation networking. The book demonstrates how this integration can result in robust, personalized services that provide users with an improved multimedia-centric quality of experience. Each chapter offers a practical step-by-step walkthrough for a variety of concepts, components and technologies relating to the development of applications and services. Topics and features: introduces the fundamentals of social media retrieval, presenting the most important areas of research in this domain; examines the important topic of multimedia tagging in social environments, including geo-tagging; discusses issues of personalization and privacy in social media; reviews advances in encoding, compression and network architectures for the exchange of social media information; describes a range of applications related to social media.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 496 pp. Englisch.

Buch. Condizione: Neu. Neuware -Urolithiasis: Basic Science and Clinical Practice is a comprehensive text that assists urologists in defining the best choice of treatment for each case through a balanced presentation of underlying science, diagnostic methods and practical tips, with additional discussions on educational issues, costs and management of resources.This user-friendly practical resource is replete with full-color illustrations and radiographs, covering all aspects of stone disease, and offering perspectives from Europe, the Americas, China, South Asia, Africa, and Australia. Topics include the biochemical and physiological basis of stone formation, treatment options, complications, assessment of techniques and technologies available, and guidelines on the prevention of stone recurrence.Urolithiasis: Basic Science and Clinical Practice is the definitive text on stone disease and is a must read for young consultants starting a new practice, and urologists in residence and training.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 1024 pp. Englisch.

Buch. Condizione: Neu. Neuware -This volume is the result of two international workshops; Infinite Analysis 11 ¿ Frontier of Integrability ¿ held at University of Tokyo, Japan in July 25th to 29th, 2011, and Symmetries, Integrable Systems and Representations held at Université Claude Bernard Lyon 1, France in December 13th to 16th, 2011.Included are research articles based on the talks presented at the workshops, latest results obtained thereafter, and some review articles. The subjects discussed range across diverse areas such as algebraic geometry, combinatorics, differential equations, integrable systems, representation theory, solvable lattice models and special functions.Through these topics, the readerwill find some recent developments in the field of mathematical physics and their interactions with several other domains.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 648 pp. Englisch.

Buch. Condizione: Neu. Neuware -This book approaches the ACL deficient knee from a different perspective than those of the previous classical ways. The common approach is the analysis of closed compartments; anatomy, biomechanics, physical findings, imaging, surgical treatment and rehabilitation. The approach of this book is completely opposite, focusing on questions, controversies, problem analyses and problem solving, besides analyzing the possibility of prevention. Therefore, in each chapter, the biomechanics, anatomy, and other areas that are relevant to the topic are reviewed. There are chapters where highly specialized surgical techniques are presented (acute ACL repair, double bundle reconstruction, chondral lesions treatment or meniscal transplant). These chapters are written by internationally renowned specialists that are pioneers in the topic analyzed. Another interesting aspect of this book are the step by step surgical techniques videos, that will allow a knee specialist to perform the technique presented by the author. Moreover, the videos will include anatomy and physical therapy techniques.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 496 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Markov Chains and Stochastic Stability is part of the Communications and Control Engineering Series (CCES) edited by Professors B.W. Dickinson, E.D. Sontag, M. Thoma, A. Fettweis, J.L. Massey and J.W. Modestino. The area of Markov chain theory and application has matured over the past 20 years into something more accessible and complete. It is of increasing interest and importance. This publication deals with the action of Markov chains on general state spaces. It discusses the theories and the use to be gained, concentrating on the areas of engineering, operations research and control theory. Throughout, the theme of stochastic stability and the search for practical methods of verifying such stability, provide a new and powerful technique. This does not only affect applications but also the development of the theory itself. The impact of the theory on specific models is discussed in detail, in order to provide examples as well as to demonstrate the importance of these models. Markov Chains and Stochastic Stability can be used as a textbook on applied Markov chain theory, provided that one concentrates on the main aspects only. It is also of benefit to graduate students with a standard background in countable space stochastic models. Finally, the book can serve as a research resource and active tool for practitioners.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 572 pp. Englisch.

Buch. Condizione: Neu. Neuware -A huge number of therapeutic studies has been published in rheumatology and clinical immunology. This number grows substantially by the year. As such, it becomes increasingly difficult to keep track of this multitude of studies and the ensuing therapeutic trends. Further to this, a particular study can be referred to in a variety of ways, either as a shortened version of the title or an acronym, adding to the confusion. The book Clinical Trials in Rheumatology, Second Edition, provides an updated summary of the important studies in the field for easy reference. Every study is shown with name, acronym (if in existence), authors, complete citation, study design, and a short overview of the trial's data and main conclusions. An acronym finder is supplied at the beginning of the book. This book is a valuable reference tool for rheumatologists and other clinical specialties, as well as for research scientists interested in immunomodulatory and selected other drug therapies in rheumatologic diseases.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 1272 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This work presents a study of cache replacement strategies designed for static web content. Proxy servers can improve performance by caching static web content such as cascading style sheets, java script source files, and large files such as images. This topic is particularly important in wireless ad hoc networks, in which mobile devices act as proxy servers for a group of other mobile devices. Opening chapters present an introduction to web requests and the characteristics of web objects, web proxy servers and Squid, and artificial neural networks. This is followed by a comprehensive review of cache replacement strategies simulated against different performance metrics. The work then describes a novel approach to web proxy cache replacement that uses neural networks for decision making, evaluates its performance and decision structures, and examines its implementation in a real environment, namely, in the Squid proxy server. 116 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -With this proliferation of arthroscopy and other minimally invasive approaches due to the greater demands for day case surgery, there is much interest among orthopedic surgeons for quick reference guides to assist with minimally invasive techniques.Describing the techniques and, importantly, the indications for minimally invasive procedures for the management of forefoot disorders, this book will explain the management of various conditions and how they can be approached using minimally invasive techniques. However, rather than only concentrating on minimally invasive surgery of the forefoot, the book will examine the options open to surgeons operating in this area - both open surgical and arthroscopic - and explaining the benefits of each. Extensive radiographs, diagrams, and intra-operative pictures will illustrate the procedures described. 244 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Human action analysis and recognition is a relatively mature field, yet one which is often not well understood by students and researchers. The large number of possible variations in human motion and appearance, camera viewpoint, and environment, present considerable challenges. Some important and common problems remain unsolved by the computer vision community. However, many valuable approaches have been proposed over the past decade, including the motion history image (MHI) method. This method has received significant attention, as it offers greater robustness and performance than other techniques. This work presents a comprehensive review of these state-of-the-art approaches and their applications, with a particular focus on the MHI method and its variants. 140 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Specialists in cardiac imaging offer their extensive experience of performing and interpreting myocardial perfusion studies with thallium 201 and single photon emission tomography in this unique teaching atlas which contains over 1500 colour illustrations. 240 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, the theory of CSP helps users to understand concurrent systems, and to decide whether a program meets its specification. As a member of the family of process algebras, the concepts of communication and interaction are presented in an algebraic style.An invaluable reference on the state of the art in CSP, Understanding Concurrent Systems also serves as a comprehensive introduction to the field, in addition to providing material for a number of more advanced courses. A first point of reference for anyone wanting to use CSP or learn about its theory, the book also introduces other views of concurrency, using CSP to model and explain these. The text is fully integrated with CSP-based tools such as FDR, and describes how to create new tools based on FDR. Most of the book relies on no theoretical background other than a basic knowledge of sets and sequences. Sophisticated mathematical arguments are avoided whenever possible.Topics and features: presents a comprehensive introduction to CSP; discusses the latest advances in CSP, covering topics of operational semantics, denotational models, finite observation models and infinite-behaviour models, and algebraic semantics; explores the practical application of CSP, including timed modelling, discrete modelling, parameterised verifications and the state explosion problem, and advanced topics in the use of FDR; examines the ability of CSP to describe and enable reasoning about parallel systems modelled in other paradigms; covers a broad variety of concurrent systems, including combinatorial, timed, priority-based, mobile, shared variable, statecharts, buffered and asynchronous systems; contains exercises and case studies to support the text; supplies further tools and information at the associated website: comlab.ox.ac.uk/ucs/.From undergraduate students of computer science in need of an introduction to the area, to researchers and practitioners desiring a more in-depth understanding of theory and practice of concurrent systems, this broad-ranging text/reference is essential reading for anyone interested in Hoare's CSP. 548 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Managerial and Organisational Integration discusses a wide range of issues considered pertinent to the more effective use of technology. A closer involvement between management and workforce can reduce tensions, improve the flow of information (both upward and downward), overcome bottlenecks in existing systems, and bring the capability of many minds to bear upon a problem or challenge. Chapters 1 and 2 introduce the concept of 'internal and external integration' and present ideas for effecting a wider amalgamation. Chapters 3 through 6 focus on the way new technologies can encourage fuller integration. Chapters 7 and 8 focus on the results of a national survey and examine the anatomy and intention of case studies. Chapter 9 offers the author's conclusion and forecast for the challenge ahead in this field. The rapid advances in new technology and the recognition of human resources as an important issue for all managers, training professionals and sociologists, will ensure a wide range of readership interest in this book. 260 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -New technologies and the growing flow of information create new conditions for individuals who use these technologies in the work place. The existence and application of modern IT systems can result in new forms of work, tasks that have actually emerged as a result of modern computer and other systems. This third Work Life 2000 Yearbook is pan-European in nature, and provides the researcher with valuable source material relating to the EU's response to the changing working environment. 252 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In recent years, there has been a growing interest in applying neural networks to dynamic systems identification (modelling), prediction and control. Neural networks are computing systems characterised by the ability to learn from examples rather than having to be programmed in a conventional sense. Their use enables the behaviour of complex systems to be modelled and predicted and accurate control to be achieved through training, without a priori information about the systems' structures or parameters. This book describes examples of applications of neural networks In modelling, prediction and control. The topics covered include identification of general linear and non-linear processes, forecasting of river levels, stock market prices and currency exchange rates, and control of a time-delayed plant and a two-joint robot. These applications employ the major types of neural networks and learning algorithms. The neural network types considered in detail are the muhilayer perceptron (MLP), the Elman and Jordan networks and the Group-Method-of-Data-Handling (GMDH) network. In addition, cerebellar-model-articulation-controller (CMAC) networks and neuromorphic fuzzy logic systems are also presented. The main learning algorithm adopted in the applications is the standard backpropagation (BP) algorithm. Widrow-Hoff learning, dynamic BP and evolutionary learning are also described. 256 pp. Englisch.

Taschenbuch. Condizione: Neu. Hyams, B. (illustratore). This item is printed on demand - it takes 3-4 days longer - Neuware -Leading heart surgeons (including the President of the RoyalCollege of Surgeons) bridge the ever-widening gap betweenthe 'student' (both pre- and post-graduate) and an increasingly remote group of medical and surgical specialists inthis , the only book devoted entirely to the establishedprinciples of cardiac diagnosis. 284 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -- Following on from the 2000 edition of Jan De Witt's Elementa Curvarum Linearum, Liber Primus, this book provides the accompanying translation of the second volume of Elementa Curvarum Linearum (Foundations of Curved Lines). One of the first books to be published on Analytic Geometry, it was originally written in Latin by the Dutch statesman and mathematician Jan de Witt, soon after Descartes' invention of the subject. - Born in 1625, Jan de Witt served with distinction as Grand Pensionary of Holland for much of his adult life. In mathematics, he is best known for his work in actuarial mathematics as well as extensive contributions to analytic geometry.- Elementa Curvarum Linearum, Liber Secondus moves forward from the construction of the familiar conic sections covered in the Liber Primus, with a discussion of problems connected with their classification; given an equation, it covers how one can recover the standard form, and additionally how one can find the equation's geometric properties. - This volume, begun by Albert Grootendorst (1924-2004) and completed after his death by Jan Aarts, Reinie Erné and Miente Bakker, is supplemented by:- annotation explaining finer points of the translation;- extensive commentary on the mathematicsThese features make the work of Jan de Witt broadly accessible to today's mathematicians. 332 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Minimally Invasive Surgery for the achilles tendon represents a novel approach to treatment of orthopedic problems in the Achilles tendon. The gradual change of philosophy in the management of ankle surgery means that patients require a less invasive approach to surgery and a consequent improvement in recovery time. Describing the techniques and, importantly, the indications for minimally invasive procedures for the management of achilles tendon ailments, this book explains the management of various conditions and how they can be approached using minimally invasive techniques.This handbook provides an instant reference source for specialists and trainees alike, for those needing a 'to the point' companion when performing when treating disorders of the achilles tendon. 88 pp. Englisch.