Springer Jan 2002 (329 results)
Language: English
Published by Springer Jan 2002, 2002
- Hardcover
- First Edition
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 56.77
£ 19.76 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: Neu. Neuware -From April 1999 Notices of the AMS, announcing that the author was awarded the Leroy P. Steele Prize for Mathematical Exposition for his many mathematics books: 'Lang's Algebra changed the way graduate algebra is taught, retaining classical topics but introducing language and ways of thinking from…category theory and homological algebra. It has affected all subsequent graduate-level algebra books.'From MathSciNet's review of the first edition:'The author has an impressive knack for presenting the important and interesting ideas of algebra in just the 'right' way, and he never gets bogged down in the dry formalism which pervades some parts of algebra.'This book is intended as a basic text for a one-year course in Algebra at the graduate level, or as a useful reference for mathematicians and professionals who use higher-level algebra. This book successfully addresses all of the basic concepts of algebra. For the new edition, the author has added exercises and made numerous corrections to the text. 940 pp. Englisch.
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 77.88
£ 26.21 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: Neu. Neuware - This book is intended to provide a mathematical bridge from a general physics course to intermediate-level courses in classical mechanics, electricity and mag netism, and quantum mechanics. The book begins with a short review of a few topics that should be familiar to the student from a general ph…ysics course. These examples will be used throughout the rest of the book to provide physical con texts for introducing the mathematical applications. The next two chapters are devoted to making the student familiar with vector operations in algebra and cal culus. Students will have already become acquainted with vectors in the general physics course. The notion of magnetic flux provides a physical connection with the integral theorems of vector calculus. A very short chapter on complex num bers is sufficient to supply the needed background for the minor role played by complex numbers in the remainder of the text. Mathematical applications in in termediate and advanced undergraduate courses in physics are often in the form of ordinary or partial differential equations. Ordinary differential equations are introduced in Chapter 5. The ubiquitous simple harmonic oscillator is used to il lustrate the series method of solving an ordinary, linear, second-order differential equation. The one-dimensional, time-dependent SchrOdinger equation provides an illus tration for solving a partial differential equation by the method of separation of variables in Chapter 6.
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 79.64
£ 32.33 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: Neu. Neuware - Automatic Differentiation (AD) is a maturing computational technology and has become a mainstream tool used by practicing scientists and computer engineers. The rapid advance of hardware computing power and AD tools has enabled practitioners to quickly generate derivative-enhanced versions of thei…r code for a broad range of applications in applied research and development.Automatic Differentiation of Algorithms provides a comprehensive and authoritative survey of all recent developments, new techniques, and tools for AD use. The book covers all aspects of the subject: mathematics, scientific programming (i.e., use of adjoints in optimization) and implementation (i.e., memory management problems). A strong theme of the book is the relationships between AD tools and other software tools, such as compilers and parallelizers. A rich variety of significant applications are presented as well, including optimum-shape design problems, for which AD offers more efficient tools and techniques.
Language: English
Published by Springer New York Jan 2002, 2002
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 143.31
£ 26.21 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: Neu. Neuware - This book will provide an overview of the state of the art in behavioral health care informatics as well as discussing the challenges on the horizon, such as organizational issues, human-centered issues, educating healthcare executives about technology issues, educating clinicians about behavioral… informatics systems, and consumer issues. In addition to significant contributions by the editors, the book will contain contributions from a small number of acknowledged experts within their respective fields.As daily living becomes more stressful, socio-psychological or behavioral related problems become more intense. Informatics has the potential to transform the world of behavioral practitioners to enable them to assist people more easily. This book will focus on informatics-related topics that all disciplines connected to the behavioral health will find very useful for their day-to-day practice.
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 144.77
£ 26.21 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: Neu. Neuware - Advanced technologies in astronomy at various wavelengths have provided us with high resolution and high quality data on the QSO population. This meeting was aimed at understanding the morphology and nature of the host galaxies and environments of QSOs. The invited lectures as well as the contribu…ted and poster papers highlighted the main issues of current research: the stellar and gaseous content of the underlying galaxy; the characterization of the population of companions and the nature of their interaction with the host galaxy; the connection between radio-loud QSO and radio-galaxies, and QSOs and ULIRGs; the evolution with redshift of both the host galaxy and its environment, and the main implications in theories of galaxy formation and evolution. This volume provides a valuable overview and timely update of the exciting and rapidly developing field of QSO hosts and their environments - essential reading for graduate students and researchers.
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 144.77
£ 26.21 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: Neu. Neuware - BACKGROUND OF THE PROJECT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 FINANCING THE PROJECT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .… . . . . . 19 DELIVERY OF THE DULLES GREENWAY . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 OPERATING RESULTS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 QUESTIONS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 CONCLUDING NOTES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 REFERENCES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 NOTES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 CHAPTER 3 INTERNATIONAL ARRIVALS BUILDING AT JOHN F. KENNEDY INTERNATIONAL AIRPORT . . . . . . . . . . . . . . . . . . . 33 INFRASTRUCTURE DEVELOPMENT SYSTEMS IDS-98-I-201 . . . . . . . . . . . . . . . . . 33 INTRODUCTION . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 HISTORY OF THE JOHN F. KENNEDY INTERNATIONAL AIRPORT . . . . . . . . . . 34 EARLIER PLANS FOR INTERNATIONAL ARRIVALS BUILDING . . . . . . . . . . . . . . . 34 HISTORY OF THE PORT AUTHORITY . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 NEW PLANS FOR INTERNATIONAL ARRIVALS BUILDING . . . . . . . . . . . . . . . . . . . . . 35 TERMINAL ONE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 7 FEASIBILITY ANALYSIS OF THE lAB . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 PRELIMINARY DESIGN -1993 TO 1994 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 THE PRE-QUALIFICATION AND BIDDING PROCESS - 1995 TO 1997 . . . . . . 41 NEW YORK LAND LEASE PROBLEM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 CONSORTIUM MEMBERS _ JFK INTERNATIONAL AIR TERMINAL LLC 45 THE AMSTERDAM AIRPORT MODEL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 FINANCING STRATEGY . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 CLOSING THE DEAL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 QUESTIONS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 CHAPTER 4 THE SR 91 EXPRESS LANES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 INFRASTRUCTURE DEVELOPMENT SYSTEMS IDS-97-T-012 . . . . . . . . . . . . . . . . 53 THE PROBLEM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 Key Features of AB 680 . . . . . . . . . . . . .
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 146.36
£ 26.21 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: Neu. Neuware - I Lipdxygenases and Leukotriene Biosynthesis.- 1. Phosphorylation and Activation of 5-Lipoxygenase by P38 Kinase-Activated MAPKAP Kinases.- 2. 5-Lipoxygenase and the Nucleus: Where, When, How, and Why .- 3. Calcium Binding Site of 5-Lipoxygenase.- 4. Regulation of Cellular 5-Lipoxygenase Activity…by Glutathione Peroxidases.- 5. Novel Aspects Related to Biosynthesis and Biological Actions of Hepoxilins: Interrelationship with Phospholipid Hydro-Peroxide Glutathione Peroxidase (PHGPx).- 6. Transcriptional Regulation of the Human Leukotriene C4 Synthase Promoter.- 7. Localization and Translocation of Enzymes Involved in Leukotriene Biosynthesis.- II Cyclooxygenases and Prostaglandin Biosynthesis.- 8. Regulation of COX-2 Expression in Fibroblasts, Osteoblasts, Mast Cells, and Macrophages.- 9. Antimicroinflammatory Lipid Signals from Vascular Cyclooxygenase-2: A Novel Mechanism for NSAID and N-3 PUFA Therapeutic Actions.- 10. Substrate Interactions in the Cyclooxygenase-1 Active Site.- 11. Mutation of the Human Prostacyclin Synthase Gene.- 12. Structure and Function of Two Distinct Types of Prostaglandin D Synthase.- 13. Roles of Prostaglandin F Synthase.- 14. Differential Effects of Nitric Oxide on Cyclooxygenase 1 and 2 Activities in Cultured Cells.- III Phospholipase A2.- 15. On the Functional Diversity of Secreted Phospholipases A2: Cloning of Novel Mammalian and HIV-1 Antiviral Properties.- 16. Regulation of Cytosolic Phospholipase A2 by Phosphorylation.- IV Cytochrome P450 Archidonate Metabolites.- 17. Synthesis and Function of 20-Hydroxyeicosatetraenoic Acid in the Kidney.- V Receptors.- 18. Altered Bronchodilation and Pulmonary Inflammation in Prostanoid EP2 Receptor Knockout Mice.- 19. Induction of Prostaglandin I2 Receptor in Murine Osteoblastic Cell.- 20. BLT2, aSecond Leukotriene B4 Receptor.- 21. Upregulation of Cysteinyl-Leukotriene 1 Receptor Expression by Interleukin-5 in Human Leukocytes.- 22. Physiological and Pathophysiological Roles of Prostanoids; Lessons from Receptor-Knockout Mice for Clinical Applications.- 23. Multiple G-Protein Coupling of Chimeric Prostacyclin/Prostaglandin D2 Receptors.- VI Eicosanoids and Neuroscience.- 24. An Unusual Nicotinic Acetylcholine Receptor Activates the 8-Lipoxygenase Pathway in Aplysia Neurons.- VII Cardiovascular System.- 25. Neutrophil-Endothelial Cell Interaction: A Multidirectional Cross-Talk in Leukotriene Generation.- 26. Cyclooxygenase in the Lamb Ductus Arteriosus: Developmental Changes and Upregulation.- 27. Co-Localization of Prostacyclin (PGI2)-Synthase and Caveolin-1 in Endothelial Cells Underscores New Roles of PGI2 In Angiogenesis.- VIII Respiratory System.- 28. Leukotriene C4 Synthase Gene Polymorphism in Severe Asthma.- IX Inflammation.- 29. Anti-Inflammatory Levels of Aspirin and Salicylate Inhibit Integrin-Dependent Human Neutrophil Aggregation and PMN Influx in COX2- and NFkB(P105)- Knockout Mice.- 30. Antipyretic Action of Acetaminophen: Inhibition of the Cyclooxygenase Activity of Endothelial Cells Treated with IL-1.- 31. Leukotriene-Mediated Alteration of Endothelial Barrier Function.- 32. GI and Cardiovascular Profiles of New NSAIDs: Selective COX-2 Inhibitors and NO-NSAIDs.- 33. NO-Releasing NSAIDs Modulate Cytokine Secretion.- 34. Potent Inhibitory Effects of a NO-NSAID (Flurbiprofen Nitroxybutylester) on Bone Resorption in Vitro and in Vivo.- X Cancer.- 35. Lipid Peroxidation and Cyclooxygenase-2 Activity in Human Hepatocellular Carcinoma Cell Lines with and without Multiple Drug Resistance: Correlation with Cell Growth.- 36. Pulmonary Prostacyclin Synthase Overexpression Improves Survival Following Butylated Hydroxytoluene Exposure.- XI Isoprostanes.- 37. Reactive Products of the Isoprostane Pathway: Isoketals and Cyclopentenone A2/J2-Isoprostanes.- 38. Increased Isoprostane 8-epi-PGF2A in Statin-Induced Myopathy.
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 156.74
£ 26.21 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: Neu. Neuware - The topics covered in this book include: Theory of Scattering and Scintillation, Distribution of Scattering Material, Intra-day Variability, Pulsars and their Magnetospheric Structure, Polarization of AGN, Interplanetary Scintillation, and Future Highly-Sensitive Radio Telescopes. The introductory… papers emphasize the essential properties of diffractive and refractive scattering, how they differ in temporal and frequency structure, and what they reveal about irregularities in the ISM. Pulsars can be examined in a number of different ways as a function of frequency: time variability (both short and long term), DM changes, pulse broadening, angular extent, and Faraday rotation. Intra-day variable sources (IDVs) are another major topic of the book. Although many variable sources clearly exhibit intrinsic changes, IDVs are generally believed to result from scintillation effects. They require source sizes on the ten micro-arcsec scale, the most extreme cases having profound implications for source lifetimes and emission mechanisms. Finally, a dozen contributions describe future large radio telescope projects, especially the Chinese FAST effort to build a 500 m spherical reflector of innovative design.
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 204.21
£ 26.21 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: Neu. Neuware - The first ever book on the applications of fullerenes and nanotubes. World's experts on the industrial use of these new forms of carbon contributes chapters, that are based on lectures given in a large workshop held on February 2001, and expanded thereafter. The contents are intended for those who… are interested in the exploration of industrial applications of fullerenes and carbon nanotubes.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 204.21
£ 26.21 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Neuware - Exploration of Cortical Function summarizes recent research efforts aiming at the revelation of cortical population coding and signal processing strategies. Topics include optical detection techniques of population activity in the sub-millimeter range, advanced methods for the statistical a…nalysis of these data, and biologically inspired neuronal modeling techniques for population activities in the frameworks of optimal coding, statistical learning theory, and mean-field recurrent networks. Exploration of Cortical Function is unique in that it covers one complete branch of population-based brain research ranging from techniques for data acquisition over data analysis up to modeling techniques for the quantification of functional principles. The volume covers an area which is of great current interest to researchers working on cerebral cortex. The combination of models and image analysis techniques to examine the activity of large cohorts of neurons is especially intriguing and prone to considerable error and debate.
Language: English
Published by Springer Nature B.V. Jan 2002, 2002
Series: Book 13 of 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 204.21
£ 26.21 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: Neu. Neuware - CMOS Cellular Receiver Front-Ends: from Specification to Realization deals with the design of the receive path of a highly-integrated CMOS cellular transceiver for the GSM-1800 cellular system. The complete design trajectory is covered, starting from the documents describing the standard down to t…he systematic development of CMOS receiver ICs that comply to the standard. The design of CMOS receivers is tackled at all abstraction levels: from architecture level, via circuit level, down to the device level, and the other way around. The theoretical core of the book discusses the fundamental and more advanced aspects of RF CMOS design. It focuses specifically on all aspects of the design of high-performance CMOS low-noise amplifiers.
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 204.21
£ 26.21 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: Neu. Neuware - Optical Microscanners and Microspectrometers using Thermal Bimorph Actuators shows how to design and fabricate optical microsystems using innovative technologies and and original architectures. A barcode scanner, laser projection mirror and a microspectrometer are explained in detail, starting fro…m the system conception, discussing simulations, choice of cleanroom technologies, design, fabrication, device test, packaging all the way to the system assembly.An advanced microscanning device capable of one- and two-dimensional scanning can be integrated in a compact barcode scanning system composed of a laser diode and adapted optics. The original design of the microscanner combines efficiently the miniaturized thermal mechanical actuator and the reflecting mirror, providing a one-dimensional scanning or an unique combination of two movements, depending on the geometry. The simplicity of the device makes it a competitive component.The authors rethink the design of a miniaturized optical device and find a compact solution for a microspectrometer, based on a tunable filter and a single pixel detector. A porous silicon technology combines efficiently the optical filter function with a thermal mechanical actuator on chip. The methodology for design and process calibration are discussed in detail. The device is the core component of an infrared gas spectrometer.
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 282.13
£ 58.71 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: Neu. Neuware - Some of the best vision scientists in the world in their respective fields have contributed to chapters in this book. They have expertise in a wide variety of fields, including bioengineering, basic and clinical visual science, medicine, neurophysiology, optometry, and psychology. Their combined e…fforts have resulted in a high quality book that covers modeling and quantitative analysis of optical, neurosensory, oculomotor, perceptual and clinical systems. It includes only those techniques and models that have such fundamentally strong physiological, control system, and perceptual bases that they will serve as foundations for models and analysis techniques in the future. The book is aimed first towards seniors and beginning graduate students in biomedical engineering, neurophysiology, optometry, and psychology, who will gain a broad understanding of quantitative analysis of the visual system. In addition, it has sufficient depth in each area to be useful as an updated reference and tutorial for graduate and post-doctoral students, as well as general vision scientists.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 33.10
£ 19.76 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The conformal geometry of surfaces recently developed by the authors leads to a unified understanding of algebraic curve theory and the geometry of surfaces on the basis of a quaternionic-valued function theory. The book offers an e…lementary introduction to the subject but takes the reader to rather advanced topics. Willmore surfaces in the foursphere, their Bäcklund and Darboux transforms are covered, and a new proof of the classification of Willmore spheres is given. 104 pp. Englisch.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.34
£ 19.76 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains the papers presented at CG2000 the Second International ConferenceonComputersandGames heldattheCURREACCenterinHa- matsu, Japan, on October 26 28, 2000. The CG conferences provide an international forum for researc…hers working on any aspect of computers and games to meet and exchange information on the latest research. CG2000 was attended by 80 people from over a dozen di erent countries, thus building on the success of the inaugural Computers and Games conference, held in 1998. The third conference in the series is scheduled to take place alongside the AAAI conference in Edmonton, Alberta, Canada in 2002. The interests of the conference attendees and organizers cover all issues related togame-playing;forinstance,theimplementationandperformanceofprograms, new theoretical developments in game-related research, general scienti c cont- butions produced by the study of games, social aspects of computer games, cognitive research on how humans play games, and issues related to networked games. This book contains all the new developments presented at CG2000. The CG2000 technical program consisted of 23 presentations of accepted papers and apanelsession.InadditiontherewereinvitedtalksbyMichaelLittmanofAT&T Labs, Kei-ichi Tainaka of Shizuoka University, and Nob Yoshigahara, noted - ventor, collector, and popularizer of puzzles. The conference was preceded by an informal workshop on October 26, 2000. 464 pp. Englisch.
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 2002, 2002
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.34
£ 19.76 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thealgebraicapproachtosystemspeci cationanddevelopment,borninthe early1970sasaformalmethodforabstractdatatypes,encompassestoday,atthe beginningofthethirdmillennium,theformaldesignofintegratedhardwareand softwaresystems,newspeci cati…onframeworksandprogrammingparadigms, andawiderangeofapplicationareas. TheworkshopsonAlgebraicDevelopment Techniques,initiatedin1982astheworkshoponAbstractDataTypes,area prominentforumtopresentanddiscusscurrentresearchinthatarea. The15thInternationalWorkshoponAlgebraicDevelopmentTechniques (WADT2001)tookplaceinGenova,asasatelliteofETAPS2001,onApril 1 3,2001,andwasorganizedbyMauraCerioliandGiannaReggio. From1991to1995WADTworkshopswereheldjointlywiththeGeneral WorkshopoftheESPRITBasicResearchWorkingGroupCOMPASS. Following thistradition,theWADT2001washeldjointlywiththeGeneralWorkshopof theESPRITWorkingGroupCoFI. TheCommonFrameworkInitiative,started in1995andfundedsince1998asCoFIWG,iscenteredaroundthede nitionof theCommonAlgebraicSpeci cationLanguage(CASL). TheprogramstartedwithafulldaytutorialontheCASL,followedby32 presentations,severalofthemontheCASLaswell,organizedinparallelsessions duringthefollowingtwodays. Theparallelsessionsweredevotedto:logicsand proofs,concurrentprocesses,institutionsandcategories,applicationsandcase studies,higher-orderandparameterizedspeci cations,staticanalysis,software architectures,graphandtransformationrules. Themaintopicsoftheworkshopwere: algebraicspeci cation otherapproachestoformalspeci cation speci cationlanguagesandmethods termrewritingandproofsystems speci cationdevelopmentsystems(concepts,tools,etc. ) Theprogramcommitteeinvitedsubmissionsoffullpapersforpossibleinclusion inthisvolume,onthebasisoftheabstractsandthepresentationsatWADT 2001. Allthesubmissionsweresubjecttocarefulrefereeing,andtheselectionof paperswasmadefollowingfurtherdiscussionbythefullprogramcommittee. Weareextremelygratefultoallworkshopparticipants,tothe(other)m- bersoftheprogramcommittee,andtotheexternalrefereesfortheircontribution tothescienti cqualityoftheworkshopandofthisvolume. TheWADTseriesissponsoredbyIFIPWG1. 3onFoundationsofSystem Speci cation(seebrics. dk/ pdm/IFIP-WG1. 3). November2001 MauraCerioliandGiannaReggio Organization ProgramCommittee MichelBidoit (Cachan,France) MauraCerioli (Genova,Italy) Hans-J orgKreowski (Bremen,Germany) PeterMosses,chair (Aarhus,Denmark) FernandoOrejas (Barcelona,Spain) FrancescoParisi-Presicce (Roma,Italy) GiannaReggio (Genova,Italy) DonaldSannella (Edinburgh,Scotland) AndrzejTarlecki (Warsaw,Poland) ExternalReferees EgidioAstesiano ManuelKoch MarekBednarczyk MikolajKonarski BenjaminBlanc AlexanderKurz AlexandreBoisseau SabineKuske TomaszBorzyszkowski SlawomirLasota PaoloBottoni ChristophLuth PaoloCenciarelli DirkPattinson HartmutEhrig Wies lawPawlo wski StevenEker Jean-ClaudeReynaud JeanGoubault-Larrecq MarkusRoggenbach PiotrHo man SponsoringInstitutions CoFI(CommonFrameworkInitiative),ESPRITWorkingGroup29432. DISI,Universit`adegliStudidiGenova. IFIPWG1. 3onFoundationsofSystemSpeci cation. TableofContents InteractiveRule-BasedSpeci cationwithanApplication toVisualLanguageDe nition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 R. Bardohl,M. Große-Rhode,andM. Simeoni AlgebraicAbstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 M. BidoitandA. Boisseau CombiningLogics:ParchmentsRevisited. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 C. Caleiro,P. Mateus,J. Ramos,A. Sernadas CanonicalInstitutionsofBehaviour . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 J. F. CostaandH. Louren co TheLub eckTransformationSystem:ATransformationSystem forEquationalHigherOrderAlgebraicSpeci cations . . . . . . . . . . . . . . . . . . . 85 W. DoschandS. Magnussen OntheCompatibilityofModelandModel-ClassTransformations . . . . . . . 109 M. GajewskyandF. Parisi-Presicce VerifyingaSimplePipeli.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.34
£ 19.76 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is based on a workshop held on September 13, 2001 in New Orleans, LA, USA as part of the24thAnnualInternationalACMSIGIRConferenceon ResearchandDevelopmentinInformationRetrieval.Thetitleoftheworkshop was: 'Information Ret…rieval Techniques for Speech Applications.' Interestinspeechapplicationsdatesbackanumberofdecades.However, it is only in the last few years that automatic speech recognition has left the con nes of the basic research lab and become a viable commercial application. Speech recognition technology has now matured to the point where speech can be used to interact with automated phone systems, control computer programs, andevencreatememosanddocuments.Movingbeyondcomputercontroland dictation, speech recognition has the potential to dramatically change the way we create,capture,andstoreknowledge.Advancesinspeechrecognitiontechnology combined with ever decreasing storage costs and processors that double in power every eighteen months have set the stage for a whole new era of applications that treat speech in the same way that we currently treat text. The goal of this workshop was to explore the technical issues involved in a- lying information retrieval and text analysis technologies in the new application domainsenabledbyautomaticspeechrecognition.Thesepossibilitiesbringwith themanumberofissues,questions,andproblems.Speech-baseduserinterfaces create di erent expectations for the end user, which in turn places di erent - mands on the back-end systems that must interact with the user and interpret theuser'scommands.Speechrecognitionwillneverbeperfect,soanalyses- plied to the resulting transcripts must be robust in the face of recognition errors. The ability to capture speech and apply speech recognition on smaller, more - werful, pervasive devices suggests that text analysis and mining technologies can be applied in new domains never before considered. 128 pp. Englisch.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.34
£ 19.76 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Although framework technology has proven its worth as a software reuse technique in many domains, there have been reservations regarding its application in embedded systems, mostly due to limited CPU and memory resources. Recent har…dware advances, however, have changed this picture.This book shows how object-oriented software frameworks can be applied to embedded control systems. A case study of a framework using a set of application dependent design patterns for the orbit control system of satellites is presented. 312 pp. Englisch.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.34
£ 19.76 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheInternationalWorkshoponPracticeandTheoryinPublicKeyCryptog- phyPKC2002washeldattheMaisondelaChimie,situatedintheverycenter ofParis,FrancefromFebruary12to14,2002. ThePKCseriesofconferences yearlyrepresentsinternationalresearchandt…helatestachievementsinthearea ofpublickeycryptography,coveringawidespectrumoftopics,fromcryptos- temstoprotocols,implementationtechniquesorcryptanalysis. Afterbeingheld infoursuccessiveyearsinpaci c-asiancountries,PKC2002experiencedforthe rsttimeaEuropeanlocation,thusshowingitsabilitytoreachaneverwider audiencefromboththeindustrialcommunityandacademia. Weareverygratefultothe19membersoftheProgramCommitteefortheir hardande cientworkinproducingsuchahighqualityprogram. Inresponseto thecallforpapersofPKC2002,69paperswereelectronicallyreceivedfrom13 di erentcountriesthroughoutEurope,America,andtheFarEast. Allsubm- sionswerereviewedbyatleastthreemembersoftheprogramcommittee,who eventuallyselectedthe26papersthatappearintheseproceedings. Inaddition to this program, we were honored to welcome Prof. Bart Preneel who kindly acceptedtogivethisyear sinvitedtalk. Theprogramcommitteegratefully- knowledgesthehelpofalargenumberofcolleagueswhoreviewedsubmissionsin theirareaofexpertise:MasayukiAbe,SeigoArita,OlivierBaudron,MihirB- lare,EmmanuelBresson,EricBrier,MathieuCiet,AlessandroCon itti,Jean- S ebastienCoron,RogerFischlin,Pierre-AlainFouque,MattFranklin,Rosario Genarro,MarcGirault,LouisGranboulan,GoichiroHanaoka,DarrelHank- son, Eliane Jaulmes, Ari Juels, Jinho Kim, Marcos Kiwi, Kazukuni Kobara, Francois Koeune, Byoungcheon Lee, A. K. Lenstra, Pierre Loidreau, Wenbo Mao, Gwenaelle Martinet, Yi Mu, Phong Nguyen, Satoshi Obana, Guillaume Poupard,YasuyukiSakai,HideoShimizu,TomShrimpton,RonSteinfeld,K- suyukiTakashima,HuaxiongWang,andYujiWatanabe. JulienBrouchier- servesspecialthanksforskillfullymaintainingtheprogramcommittee swebsite andpatientlyhelpingoutduringtherefereeingprocess. Finally,wewishtothankalltheauthorswhocommittedtheirtimebys- mitting papers (including those whose submissions were not successful), thus makingthisconferencepossible,aswellastheparticipants,organizers,andc- tributorsfromaroundtheworldfortheirkindsupport. December2001 DavidNaccache,PascalPaillier PKC2002 FifthInternationalWorkshop onPracticeandTheory inPublicKeyCryptography MaisondelaChimie,Paris,France February12 14,2002 ProgramCommittee DavidNaccache(ProgramChair). . . . . . . . . . . . . . . . . . . . . . . . . . . . Gemplus,France DanielBleichenbacher. . . . . . . . . . . . . . . . . . . BellLabs,LucentTechnologies,USA YvoDesmedt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . FloridaStateUniversity,USA MarcFischlin. . . . . . . . . . . . . . . . . . . . . . . Goethe-UniversityofFrankfurt,Germany ShaiHalevi. . . . . . . . . . . . . . . . . . . . . . . . . IBMT. J. WatsonResearchCenter,USA MarkusJakobsson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . RSALaboratories,USA AntoineJoux. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . DCSSI,France BurtKaliski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . RSALaboratories,USA KwangjoKim . . . . . . . . . . . . InformationandCommunicationsUniversity,Korea EyalKushilevitz. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Technion,Israel PascalPaillier. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Gemplus,France DavidPointcheval . . . . . . . . . . . . . . . . . . . . . . . . . . EcoleNormaleSup erieure,France Jean-JacquesQuisquater. . . . . . . . . . Universit eCatholiquedeLouvain,Belgium PhillipRogaway . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . UCDavis,USA KazueSako. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . NECCorporation,Japa.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.34
£ 19.76 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Modernsoftwaresystemsincreasinglyusecommercial-o -the-shelf(COTS)so- ware products as building blocks. In some cases, major software systems are assembled with virtually no custom code in the system. The use of COTS software product…s as components o ers the promise of rapid delivery to end users, shared development costs with other customers, and an opportunity for expanding mission or business capabilities and performance as improvements are made in the commercial marketplace. Few organizations today can a ord the resources and time to replicate market-tested capabilities. Yet, the promise of COTS products is too often not realized in practice. There have been more failures than successes in using COTS software products. The research and software practitioner communities have been working with COTS-based software systems for a number of years. There is now su cient documented experience in the community to collect, analyze, and disseminate success stories, common failings, lessons-learned, and research advances. The mounting experience shows that the e ective use of COTS software products in major software systems demands new skills, knowledge, and abilities, changed roles and responsibilities, and di erent techniques and processes. The International Conference on COTS-Based Software Systems (ICCBSS) focuses on the challenges of building and maintaining systems that incorporate COTSsoftwareproducts.Theconferencesponsors,theNationalResearchCo- cil Canada, the Software Engineering Institute, and the University of Southern California Center for Software Engineering, aim to bring together managers, - velopers, maintainers, and researchers to share their expertise and experience. 276 pp. Englisch.
Language: English
Published by Springer Berlin Heidelberg Jan 2002, 2002
- Hardcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.34
£ 19.76 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -An introduction to practical astrometry, dealing with the determination of positions, motions, distances and dimensions of celestial bodies ranging from quasars to artificial satellites. For this 2nd edition, the release of the Hipparcos a…nd Tycho catalogs, the rise in CCD astrometry and the adoption of a new celestial reference frame by the IAU led to a significant modification of the text. And, especially, the outlook for astrometry has been completely rewritten. 396 pp. Englisch.
Language: English
Published by Springer Berlin Heidelberg Jan 2002, 2002
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.34
£ 19.76 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software systems play an increasingly important role in modern societies. Smart cards for personal identi cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examp…les that illustrate how everyday life depends on the good behavior of software. Consequently, techniques and methods for the development of hi- quality, dependable software systems are a central research topic in computer science. A fundamental approach to this area is to use formal speci cation and veri cation. Speci cation languages allow one to describe the crucial p- perties of software systems in an abstract, mathematically precise, and implementation-independent way. By formal veri cation, one can then prove that an implementation really has the desired, speci ed properties. Although this formal methods approach has been a research topic for more than 30 years, its practical success is still restricted to domains in which devel- ment costs are of minor importance. Two aspects are crucial to widen the application area of formal methods: - Formal speci cation techniques have to be smoothly integrated into the software and program development process. - The techniques have to be applicable to reusable software components. This way, the quality gain can be exploited for more than one system, thereby justifying the higher development costs. Starting from these considerations, Peter Muller has developed new te- niques for the formal speci cation and veri cation of object-oriented so- ware. The speci cation techniques are declarative and implementati- independent. They can be used for object-oriented design and programming. 312 pp. Englisch.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.34
£ 19.76 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Images or discrete objects, to be analyzed based on digital image data, need to be represented, analyzed, transformed, recovered etc. These problems have stimulated many interesting developments in theoretical foundations of image p…rocessing. This coherent anthology presents 27 state-of-the-art surveys and research papers on digital image geometry and topology. It is based on a winter school held at Dagstuhl Castle, Germany in December 2000 and offers topical sections on topology, representation, geometry, multigrid convergence, and shape similarity and simplification. 472 pp. Englisch.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.34
£ 19.76 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We are both fans of watching animated stories. Every evening, before or after d- ner, we always sit in front of the television and watch the animation program, which is originally produced and shown for children. We find ourselves b…ecoming younger while immerged in the interesting plot of the animation: how the princess is first killed and then rescued, how the little rat defeats the big cat, etc. But what we have found in those animation programs are not only interesting plots, but also a big chance for the application of computer science and artificial intelligence techniques. As is well known, the cost of producing animated movies is very high, even with the use of computer graphics techniques. Turning a story in text form into an animated movie is a long and complicated procedure. We came to the c- clusion that many parts of this process could be automated by using artificial - telligence techniques. It is actually a challenge and test for machine intelligence. So we decided to explore the possibility of a full life cycle automation of c- puter animation generation. By full life cycle we mean the generation process of computer animation from a children s story in natural language text form to the final animated movie. It is of course a task of immense difficulty. However, we decided to try our best and to see how far we could go. 400 pp. Englisch.
Language: English
Published by Springer Berlin Heidelberg, Springer Jan 2002, 2002
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.34
£ 19.76 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 272 pp. Englisch.
Language: English
Published by Springer New York, Chapman And Hall/CRC Jan 2002, 2002
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.34
£ 19.76 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Measuring the quality of a complex service like critical care that combines the highest technology with the most intimate caring is a challenge. Recently, con sumers, clinicians, and payers have requested more formal assessments and… comparisons of the quality and costs of medical care [2]. Donabedian [1] pro posed a framework for thinking about the quality of medical care that separates quality into three components: structure, process, and outcome. An instructive analogy for understanding this framework is to imagine a food critic evaluating the quality of a restaurant. The critic might comment on the decoration and lighting of the restaurant, how close the tables are to each other, the extent of the wine list and where the chef trained. These are all evaluations of the restaurant structure. In addition, the critic might comment on whether the service was courteous and timely - measures of process. Finally, the critic might comment on outcomes like customer satisfaction or food poisoning. Similarly, to a health care critic, structure is the physical and human resources used to deliver medi cal care. Processes are the actual treatments offered to patients. Finally, outcomes are what happens to patients, for example, mortality, quality of life, and satisfac tion with care (Table 1). There is a debate about which of these measurements is the most important measure of quality. 396 pp. Englisch.
Language: English
Published by Springer Netherlands Jan 2002, 2002
Series: Book 12 of 20 - Innovations in Science Education and Technology
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.34
£ 19.76 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Robert Karplus, a professor of physics at the University of California, Berkeley, USA, became a leader in the movement to reform elementary school science in the 1960s. This book selects the enduring aspects of his work and presents… them for the scientists and science educators of today. In an era when `science education for ALL students' has become the clarion call, the insights and works of Robert Karplus are as relevant now as they were in the 1960s, '70s, and '80s. This book tries to capture the essence of his life and work and presents selections of his published articles in a helpful context. 356 pp. Englisch.
- Hardcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.34
£ 19.76 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Um das Konzept des Supply Chain Management erfolgreich umsetzen zu können, müssen leistungsfähige Informationsverarbeitungssysteme eingesetzt werden. Viele Industrieunternehmen haben die Logistik-Module von SAP R/3 eingeführt. Die SAP AG m…ißt dem Supply Chain Management im Rahmen seiner SCOPE-Initiative hohen Stellenwert für die künftige Gestaltung von Systemarchitekturen bei. Das Buch beschreibt die methodischen Ansätze und künftige Entwicklungen daher vor dem Hintergrund dieser Systemlandschaft. Der Leser erhält eine aktuelle und anwendungsorientierte Darstellung des Supply Chain Management und seiner Umsetzung mit SAP R/3. Zugleich werden künftige Entwicklungstendenzen der SAP-Systeme und ihre strategische Bedeutung für die Unternehmensführung aufgezeigt. 260 pp. Englisch.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.34
£ 19.76 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Critically ill and critically injured patients require specialized nutrition support to avoid the complications of progressive malnutrition. There is a paucity of information providing practical solutions to these difficult clinical… problems. From Nutrition Support to Pharmacologic Nutrition in the ICU focuses on the theoretical and practical aspects of the management of this high-risk patient population. Each chapter presents a state-of-the-art discussion of nutritional and metabolic issues relevant to this resource-intensive patient population and contains current references, liberal tables and figures, and the personal insights of recognized international leaders in this field. 500 pp. Englisch.
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 2002, 2002
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.34
£ 19.76 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23 25 January 2002 in the city of Grenoble in the heart of the French Alps. This conference built on the success… of the rst con- rence in this series, ZB2000, held at the University ofYork in the UK. The location of ZB2002 in Grenoble re ects the important work in the area of formal methods carried out at the Laboratoire Logiciels Systemes ` Reseaux within the Institut d Informatique et Mathematiques Appliquees de Grenoble (LSR-IMAG), especially involving the B method. B and Z are two important formal methods that share a common conceptual o- gin; each are leading approaches applied in industry and academia for the speci cation and development (using formal re nement) of computer-based systems. At ZB2002 the B and Z communities were brought together to hold a second joint conference that simultaneously incorporated the 13th International Z User Meeting and the 4th Int- national Conference on the B method. Although organized logistically as an integral event, editorial control of the joint conference remained vested in two separate but c- perating program committees that respectively determined its B and Z content, but in a coordinated manner. 552 pp. Englisch.
