Idioma: Inglés
Publicado por Springer Berlin Heidelberg Jan 1994, 1994
ISBN 10: 3540576002 ISBN 13: 9783540576006
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware -Eurocrypt is a series of open workshops on the theory andapplication of cryptographic techniques. These meetings havetaken place in Europe every year since 1982 and aresponsored by the International Association for CryptologicResearch.Eurocrypt '93 was held in the village of Lofthus in Norwayin May 1993. The call for papers resulted in 117 submissionswith authors representing 27 different countries. The 36accepted papers were selected by the program committee aftera blind refereeing process. The papers are grouped intoparts on authentication, public key, block ciphers, secretsharing, stream ciphers, digital signatures, protocols, hashfunctions, payment systems, and cryptanalysis. The volumeincludes 6 further rump session papers. 480 pp. Englisch.
EUR 84,95
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware.
EUR 84,95
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware - This text is adapted from Drury's Management and Cost Accounting, and is tailored to the needs of a one-year course. It should be of interest to professional and undergraduate students taking a first course in costing, cost management, management accounting or cost and management accounting.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 128,71
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. Neuware - 1 An introduction to expert systems in production andmanufacturing engineering: the structure, development process and applications.- 2 Operations research/artificial intelligence rules for the optimaldesign of manufacturing systems: machine and traffic allocation.- 3 A common skeletal framework for knowledge-based solutions toa representative set of manufacturing problems.- 4 A general purpose knowledge-based system and its application todesign problems.- 5 A knowledge-based system for selection of resource allocationrules and algorithms.- 6 An intelligent shop management system for production supervision.- 7 Intelligent systems for conceptual design of mechanical products.- 8 Knowledge-based surface treatment and coating selection inproduct design.- 9 Expert system for casting design evaluation.- 10 Expert system approaches to the selection of materials handlingand transfer equipment.- 11 A knowledge-based system for scheduling in a flexiblemanufacturing system.- 12 'Optimal' rule switching for flow shops with random workloads.- 13 An expert system approach to surface mount pick-and-placemachine selection.- 14 FIXPERT: a rule-based system for workholding device selectionof rotational parts.- 15 Learning in robotic task planning.- 16 An expert system with an external optimization module forquality control decisions.
EUR 130,62
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. Neuware - Analog-to-digital (A/D) and digital-to-analog (D/A) converters provide the link between the analog world of transducers and the digital world of signal processing, computing and other digital data collection or data processing systems. Several types of converters have been designed, each using the best available technology at a given time for a given application. For example, high-performance bipolar and MOS technologies have resulted in the design of high-resolution or high-speed converters with applications in digital audio and video systems. In addition, high-speed bipolar technologies enable conversion speeds to reach the gigaHertz range and thus have applications in HDTV and digital oscilloscopes. Integrated Analog-to-Digital and Digital-to-Analog Converters describes in depth the theory behind and the practical design of these circuits. It describes the different techniques to improve the accuracy in high-resolution A/D and D/A converters and also special techniques to reduce the number of elements in high-speed A/D converters by repetitive use of comparators. Integrated Analog-to-Digital and Digital-to-Analog Converters is the most comprehensive book available on the subject. Starting from the basic elements of theory necessary for a complete understanding of the design of A/D and D/A converters, this book describes the design of high-speed A/D converters, high-accuracy D/A and A/D converters, sample-and-hold amplifiers, voltage and current reference sources, noise-shaping coding and sigma-delta converters. Integrated Analog-to-Digital and Digital-to-Analog Converters contains a comprehensive bibliography and index and also includes a complete set of problems. This book is ideal for use in an advanced course on the subject and is an essential reference for researchers and practicing engineers.
Idioma: Inglés
Publicado por Springer Nature Jan 1994, 1994
ISBN 10: 0896032531 ISBN 13: 9780896032538
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 130,62
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. Neuware - This third edition of Gershwin and Halpern's classic text, Bronchial Asthma, has been completely rewritten and expanded to include, from a variety of disciplines, the latest techniques and developments in the clinical diagnosis and treatment of asthma. With its new patient-oriented chapters on living with asthma, the book will empower the internist, the family practitioner, and the specialist in their struggle to reverse the current trend of increasing asthma mortality and to improve the quality of life of their patients and their families.The editors have selected authoritative contributors to Bronchial Asthma, organizing it into four comprehensive parts:I. Definitions and Host Responses to Bronchospasm defines asthma by analyzing its epidemiology, pathogenesis, and genetic roots, and illuminates the roles of mast cells and eosinophils. Chapters also cover the use of the pulmonary function laboratory and the differential diagnosis of asthma in children and adults.II. Patient Management introduces the latest thinking and techniques about treatment and management of patients, including allergic evaluation, radiological treatment, the role of immunotherapy, the differential management of status asthmaticus, the management of pregnant asthmatics, and an evaluation of unconventional therapies.III. Special Clinical Problems explores respiratory tract infections, the roles of anti-inflammatory agents, food additives, air pollution, aspergillosis, and occupational asthma. Four new chapters analyze exercise-induced asthma, asthma's relationship with chronic sinus disease, and the cross-cultural treatment of asthma in Europe and Japan.IV. Living with Asthma, an entirely new section, examines asthma in school children, athletes and asthma, legal issues for asthmatics, the psychology of asthma, and the use of prospective disease management.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 156,28
Cantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. Neuware - Modeling and Simulation of High Speed VLSI Interconnects brings together in one place important contributions and state-of-the-art research results in this rapidly advancing area. Modeling and Simulation of High Speed VLSI Interconnects serves as an excellent reference, providing insight into some of the most important issues in the field.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 155,85
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. Neuware - General Modes of Pattern Formation; J.D. Murray. Process and Outcome; P. Alberch, M.J. Blanco. Retinoic Acid Cannot be the Morphogen in Reaction Diffusion Models for the Formation of the Chick Wing Bud; Y. Almirantis, S. Papageorgiou. Pattern Formation in Heterogeneous Domains; D.L. Benson, et al. A Field Model of Symmetry Reversals in the Pattern Regulation of a Cell; W.A.M. Brandts. Patterning in Limbs; S.V. Bryant, et al. The Development of a Spatial Pattern in a Model for Cancer Growth; M.A.J. Chaplain. Sequential and Synchronous Skin Pattern Formation; G.C. Cruywagen, et al. Control of Gap Junction Permeability Can Control Pattern Formation in Limb Development; R. Dillon, H.G. Othmer. Mapping Gene Activities into Morphological Patterns in Drosophila; B. Goodwin, S. Kauffman. Trajectories of Swimming Microorganisms and Continuum Models of Bioconvection; N.A. Hill. The Chicken and the Egg; T.J. Horder. 20 additional articles. Index.
EUR 162,93
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. Neuware - Cell to Organ: Electromechanical Activation.- 1 Regulation of Intracellular Calcium in Cardiac Muscle.- 2 Neuromodulation of Calcium Current by Extracellular ATP in Isolated Ventricular Myocytes.- 3 Intracellular Calcium and Myocardial Function during Ischemia.- 4 Intracellular Signaling in Vascular Smooth Muscle.- 5 Myocardial Energetics.- 6 Mechanisms of Endocardial Endothelium Modulation of Myocardial Performance.- 7 Calcium Kinetic and Mechanical Regulation of the Cardiac Muscle.- 8 Cellular Responses to Electrical Stimulation: A Study Using a Model of the Ventricular Cardiac Action Potential.- 9 Excitation-Contraction Coupling and Contractile Protein Function in Failing and Nonfailing Human Myocardium.- Mechanics and Microcirculation.- 10 Estimation of Myocardial Mechanical Properties with Dynamic Transverse Stiffness.- 11 Intramyocardial Mechanical States: Vessel-Interstitium-Muscle Interface.- 12 Myocardial Mechanics and Coronary Flow Dynamics.- 13 Modeling of Coronary Capillary Flow.- Microstructure: Mechanics and Microcirculation.- 14 Models for Coronary Pressure-Flow Relationships.- 15In VivoMyocardial Microcirculation: Evaluation with a Whole-Body X-Ray CT Method.- 16 Endocardial Coronary Microcirculation of the Beating Heart.- 17 Distribution and Control of Coronary Microvascular Resistance.- 18 Theoretical Analysis of Coronary Blood Flow and Tissue Oxygen Pressure-Control.- Microcirculation and Metabolic Transport.- 19 Adenosine Coronary Vasodilation during Hypoxia Depends on Adrenergic Receptor Activation.- 20 Chaos in Cardiac Signals.- 21 Intramyocardial Fluid Transport Effects on Coronary Flow and Left Ventricular Mechanics.- 22 Metabolic Protection of Post-Ischemic Phosphorylation Potential and Ventricular Performance.- 23 Metabolic and Mechanical Control of the Microcirculation.- Remodeling of Muscle and Vessels.- 24 Asymmetrical Changes in Ventricular Wall Mass by Asynchronous Electrical Activation of the Heart.- 25 Ventricular Remodeling after Myocardial Infarction.- 26 Arterial Remodelling after Percutaneous Transluminal Balloon Angioplasty.- 27 Structural and Functional Remodeling of Poststenotic Arteries in the Rat.- 28 Myocardial Collagen and Its Functional Role.- Cardiac Function and Circulation.- 29 Ventricular-Arterial Interaction: Cardiac Effects of Mean versus Pulsatile Arterial Load.- 30 The Veins and Ventricular Preload.- 31 Why Smaller Animals Have Higher Heart Rates.- 32 Feedback Effects in Heart-Arterial System Interaction.- Integrated Analysis.- 33 The Relationship between Altered Load and Impaired Diastolic Function in Conscious Dogs with Pacing Induced Heart Failure.- 34 Interactions: The Integrated Functioning of Heart and Lungs.- 35 Carotid-Cardiac Interaction: Heart Rate Variability during the Unblocking of the Carotid Artery.- 36 Right and Left Ventricle Interaction and Remodeling in Congenital Heart Disease.- 37 Macroscopic Three-Dimensional Motion Patterns of the Left Ventricle.- 38 Cardiovascular Flow Velocity Measurements by 2D Doppler Imaging for Assessment of Vascular Function.- The Editors.- Contributors.
EUR 222,67
Cantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. Neuware - A Formal Approach to Hardware Design discusses designing computations to be realised by application specific hardware. It introduces a formal design approach based on a high-level design language called Synchronized Transitions. The models created using Synchronized Transitions enable the designer to perform different kinds of analysis and verification based on descriptions in a single language. It is, for example, possible to use exactly the same design description both for mechanically supported verification and synthesis. Synchronized Transitions is supported by a collection of public domain CAD tools. These tools can be used with the book in presenting a course on the subject. A Formal Approach to Hardware Design illustrates the benefits to be gained from adopting such techniques, but it does so without assuming prior knowledge of formal design methods. The book is thus not only an excellent reference, it is also suitable for use by students and practitioners.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 303,66
Cantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. Neuware - Designing VLSI systems represents a challenging task. It is a transfonnation among different specifications corresponding to different levels of design: abstraction, behavioral, stntctural and physical. The behavioral level describes the functionality of the design. It consists of two components; static and dynamic. The static component describes operations, whereas the dynamic component describes sequencing and timing. The structural level contains infonnation about components, control and connectivity. The physical level describes the constraints that should be imposed on the floor plan, the placement of components, and the geometry of the design. Constraints of area, speed and power are also applied at this level. To implement such multilevel transfonnation, a design methodology should be devised, taking into consideration the constraints, limitations and properties of each level. The mapping process between any of these domains is non-isomorphic. A single behavioral component may be transfonned into more than one structural component. Design methodologies are the most recent evolution in the design automation era, which started off with the introduction and subsequent usage of module generation especially for regular structures such as PLA's and memories. A design methodology should offer an integrated design system rather than a set of separate unrelated routines and tools. A general outline of a desired integrated design system is as follows: \* Decide on a certain unified framework for all design levels. \* Derive a design method based on this framework. \* Create a design environment to implement this design method.
EUR 303,66
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. Neuware - In 1979, several graduate students in the Department of Fisheries and Allied Aquacultures at Auburn University met with one of the authors (CEB) and asked him to teach a new course on water supply for aqua culture. They felt that information on climatology, hydrology, water distribution systems, pumps, and wells would be valuable to them. Most of these students were planning to work in commercial aquaculture in the United States or abroad, and they thought that such a cdurse would better prepare them to plan aquaculture projects and to communicate with engineers, contractors, and other specialists who often become involved in the planning and construction phases of aquaculture en deavors. The course was developed, and after a few years it was decided that more effective presentation of some of the material could be made by an engineer. The other author (KHY) accepted the challenge, and three courses on the water supply aspects of aquaculture are now offered at Auburn University. A course providing background in hydrology is followed by courses on selected topics from water supply engineering. Most graduate programs in aquaculture at other universities will even tually include similar coursework, because students need a formal intro duction to this important, yet somewhat neglected, part of aquaculture. We have written this book to serve as a text for a course in water supply for aquaculture or for individual study. The book is divided into is concerned two parts.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 474,63
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. Neuware - Thirty years ago, our attention was drawn to the alphabetical incom itances in strabismus. As an elevation in adduction is the most frequent incomitance, we decided to start treating these incomitances. A weak ening procedure of the inferior oblique muscle seemed indicated. How ever, since we wanted to prevent a torsional overcorrection with a head tilt, we displaced the scleral insertion of the oblique muscle towards the equator of the globe. This way, the torsional action of the muscles is saved. A weakening of the horizontal rectus muscles was systematically added, making it a simultaneous horizontal and cyclovertical surgery. Our way to deal with strabismus developed into a coherent entity and the interest of colleagues encouraged us to write it down.We decided to publish a textbook with a theoretical and an extensive practical part. Our approach is based on thirty years of exclusive strabological work, half-time academic and half-time private practice. More than 6500 re sults were analysed and the majority have been published. The con cerned publications are referred to at the end of the first chapter. Private practice allowed to benefit from the fact that patients were operated on by the same surgeon and remained in personal contact during follow-up.
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 50,28
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Investigates narrative strategies in James Joyce's stories in relation to the changing contextual situations, both in the individual narratives and in the cumulative text, context serving as a portal of entry into the narrative(s). Benstock is the author of 'Narrative Con/texts in 'Ulysses''. 171 pp. Englisch.
Idioma: Inglés
Publicado por Springer New York Jan 1994, 1994
ISBN 10: 0387942343 ISBN 13: 9780387942346
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,45
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -'This book presents a basic introduction to complex analysis in both an interesting and a rigorous manner. It contains enough material for a full year's course, and the choice of material treated is reasonably standard and should be satisfactory for most first courses in complex analysis. The approach to each topic appears to be carefully thought out both as to mathematical treatment and pedagogical presentation, and the end result is a very satisfactory book.' --MATHSCINET 340 pp. Englisch.
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Contemporary British Theatre surveys the complex and dynamic theatre of the eighties and early nineties reflecting a country that is multicultural, multiethnic and multinational. The contributors - artists, scholars and critics - offer insights into the unique forms of theatre performance devised to express the tensions and pressures of our time. For the paperback edition a new preface has been written, including several updating pieces from individual contributors. 243 pp. Englisch.
Idioma: Inglés
Publicado por SPRINGER NATURE Jan 1994, 1994
ISBN 10: 0312100604 ISBN 13: 9780312100605
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -'This book is exactly what the subtitle indicates. It is a highly knowledgeable, realistic - yet positive - review and assessment of the United Nations. Convenient for use in courses on international organization. The reviewer would particularly recommend it to individuals connected officially or otherwise professionally concerned with the United Nations'. American Journal of International Law In the first edition of this book the late Evan Luard questioned whether or not the UN had failed and suggested ways in which the institution could be improved. Into this context he placed analyses of the operation of the Security Council, the General Assembly, economic and social bodies, the World Court and the International Law Commission, the Secretariat and the budget. In preparing this new edition Derek Heater has up-dated the core material and written a new concluding chapter showing how, since the mid- 1980s, the UN has perhaps been acquiring a new lease of life. 203 pp. Englisch.
Idioma: Inglés
Publicado por SPRINGER NATURE Jan 1994, 1994
ISBN 10: 0333590279 ISBN 13: 9780333590270
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Examines the economic impact of aid, but not in the sense that it questions the relevance of this objective, or tries to measure whether aid works or not. The focus of this book is on the evaluation process itself. Can aid evaluation be improved in order to increase the effectiveness of aid 244 pp. Englisch.
Idioma: Inglés
Publicado por Springer US, Springer US Jan 1994, 1994
ISBN 10: 0412543508 ISBN 13: 9780412543500
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Old age is a part of the lifecycle about which there are numerous myths and stereotypes. To present an overstatement of commonly held beliefs, the old are portrayed as dependent individuals, characterized by a lack of social autonomy, unloved and neglected by both their immediate family and friends; and posing a threat to the living standards of younger age groups by being a 'burden' that consumes without producing. Older people are perceived as a single homogeneous group, and the experiment of ageing characterized as being the same for all individuals, irrespective of the diversity of their circumstances before the onset of old age. In this book, detailed statistical material is used to portray the circum stances of older people in modern society in an attempt to evaluate the appropriateness (or otherwise) of the major stereotypes of later life. This volume does not address ageing from a psychological or micro-social per spective. In particular, we do not explore major issues relating to old age. Rather we feel that, from the extensive collection of surveys concerned with the elderly, we can provide a context within which individual eld erly people can be studied from more anthropological or biographical perspectives. 276 pp. Englisch.
Idioma: Inglés
Publicado por Springer US, Springer Jan 1994, 1994
ISBN 10: 0412498103 ISBN 13: 9780412498107
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Practitioner Research in Health Care is concerned with the notion of practitioner research, a developing field of research. It meets an ever-increasing demand for a research methodology text which recognizes the particular problems and issues of health care practitioners researching their own practice. The advantages and problems of insider knowledge, and the characteristics of research roles and relationships, and how these can be integrated with practitioner responsibilities, are discussed and examples are used to illustrate these issues. 224 pp. Englisch.
Idioma: Inglés
Publicado por Springer US, Springer Jan 1994, 1994
ISBN 10: 0412553600 ISBN 13: 9780412553608
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book evolved out of a conference which was held because of our conviction that prenatal screening and diagnostic techniques provide carers with a two-edged sword which can do both good and harm - often at the same time to the same person. The conference ('The Human Side of Prenatal Diagnosis') dealt with emotional, ethical and legal issues in prenatal screening and diagnosis. It took place in March 1992 at the Institute of Obstetrics and Gynaecology in London and was attended by obstetricians, paediatricians, geneticists, midwives and ultrasonographers from the North West Thames Health Region. The demand for places at the conference far exceeded the number of places avail able and many people who attended expressed the hope that we would be organizing similar conferences in the future. This confirmed our belief that we were not the only ones preoccupied with the human issues raised by the new technologies and encouraged us to work towards this publication. Prenatal diagnosis and the possibility of selective termination of affected pregnancies is part of a wider move towards repro ductive choice. Like contraception and assisted conception, it can make a major difference to the lives of some people. In our culture, we tend to view choice as a good thing. We look upon it as our right to choose our occupation, our partner, the place where we live, the books that we read and the way that we vote. 244 pp. Englisch.
Idioma: Inglés
Publicado por Springer US, Humana Jan 1994, 1994
ISBN 10: 0412569302 ISBN 13: 9780412569302
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Although quality initiatives and management skills are not new issues in hospitals, their financial evaluation may be a source of pressure to those managing clinical directorates. This A-Z reference provides an immediate source of ideas and includes practical examples. It covers 100 quality issues, from pets and pillows to staff management and training. The work takes account of the varied backgrounds from which the clinical directors may come. The up-to-date information contained in this text should be of use to health care managers in hospitals. 176 pp. Englisch.
Idioma: Inglés
Publicado por Springer, Springer Spektrum Jan 1994, 1994
ISBN 10: 3540198644 ISBN 13: 9783540198642
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains extended versions of papers presented at the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93) held in Louvain-la-Neuve in July 1993. Much of the success of the workshop is due to Yves Deville who served as Organizer and Chair. Many people believe that machine support for the development and evolution of software will play a critical role in future software engineering environments. Machine support requires the formalization of the artifacts and processes that arise during the software lifecycle. Logic languages are unique in providing a uniform declarative notation for precisely describing application domains, software requirements, and for prescribing behavior via logic programs. Program synthesis and transfonnation techniques formalize the process of developing correct and efficient programs from requirement specifications. The natural intersection of these two fields of research has been the focus of the LOPSTR workshops. The papers in this volume address many aspects of software develop ment including: deductive synthesis, inductive synthesis, transforma tions for optimizing programs and exploiting parallelism, program analysis techniques (particularly via abstract interpretation), meta programming languages and tool support, and various extensions to Prolog-like languages, admitting non-Horn clauses, functions, and constraints. Despite the progress represented in this volume, the transition from laboratory to practice is fraught with difficulties. 264 pp. Englisch.
Idioma: Inglés
Publicado por Springer US, Springer New York Jan 1994, 1994
ISBN 10: 0306446510 ISBN 13: 9780306446511
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -David Levy--one of the world's foremost amateur astronomers--co-discovered the periodic comet Shoemaker-Levy 9. He describes in dramatic detail the thrilling yet often devastating effects of comet collisions. 304 pp. Englisch.
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This study views the peasantry in the context of the historical experience of conquest and domination. Since the 1950s the community of Chilca has become more mobilized and confident, and increasingly affected by capitalism, urbanization, the Peruvian Revolution and agrarian reform. 366 pp. Englisch.
Idioma: Inglés
Publicado por Springer Nature Singapore Jan 1994, 1994
ISBN 10: 1349236020 ISBN 13: 9781349236022
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This study critically examines Woodrow Wilson's acceptance of the principle of national self-determination and his role in implementing it at the Paris Peace Conference of 1919. The assessment includes judgements by his contemporaries and historians of Wilson and the peace settlement. A survey of the manner in which national self-determination shaped the settlement leads to a discussion of the subsequent effects of the idea on the states and territories subject to the Versailles Treaty and related treaties. 225 pp. Englisch.
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The objective of this book is to present an integrated set of original papers from leading authorities in the field related to optimal balance between arms reduction and regional and international security. The emphasis is on economics and management rather than politics and diplomacy. 282 pp. Englisch.
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 174 pp. Englisch.
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Caribbean coast guard and naval hierarchies are developed in order to facilitate systematic comparisons about maritime issues and key actors. On this basis, the relationship of different groups of states to the longstanding Cold-War security agenda as well as the emerging post-Cold War one is assessed. Prominent emerging security issues include boat people, maritime drug trafficking and a variety of local maritime security issues. While Caribbean maritime security is distinctive and important, this book provides the only comprehensive treatment of the subject. 231 pp. Englisch.
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Since the end of the Cold War and the 1990/91 Gulf war, the Middle East has been in the grip of dramatic changes. The region faces a host of problems urgently in need of solutions if a successful new world order is to be built on the ruins of the old. In this book, an international group of scholars addresses these issues and considers the options for the political and economic reconstruction of the Middle East. Themes covered include: democratization; the Arab state system in the new global environment; the end of Marxism in the Middle East; security structures; the Arab-Israeli conflict; the role of pan-Islamism and pan-Arabism; and the prospects for economic revival. Case-studies are drawn from the whole region, from North Africa to the Arabian Peninsula. 154 pp. Englisch.