Springer jan 2002 (326 résultats)
Langue : anglais
Edité par Springer Jan 2002, 2002
- Couverture rigide
- Édition originale
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 64,15
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Buch. Etat : 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 cate…gory 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.
- Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 85,00
EUR 30,50 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Buch. Etat : Neu. Neuware - Logic plays a central conceptual role in modern mathematics. However, mathematical logic has grown into one of the most recondite areas of mathematics. As a result, most of modern logic is inaccessible to all but the specialist. This new book is a resource that provides a quick introduction and review… of the key topics in logic for the computer scientist, engineer, or mathematician.Handbook of Logic and Proof Techniques for Computer Science presents the elements of modern logic, including many current topics, to the reader having only basic mathematical literacy. Computer scientists will find specific examples and important ideas such as axiomatics, recursion theory, decidability, independence, completeness, consistency, model theory, and P/NP completeness. The book contains definitions, examples and discussion of all of the key ideas in basic logic, but also makes a special effort to cut through the mathematical formalism, difficult notation, and esoteric terminology that is typical of modern mathematical logic. TThis handbook delivers cogent and self-contained introductions to critical advanced topics, including:Godel`s completeness and incompleteness theoremsMethods of proof, cardinal and ordinal numbers, the continuum hypothesis, the axiom of choice, model theory, and number systems and their constructionExtensive treatment of complexity theory and programming applications Applications to algorithms in Boolean algebraDiscussion of set theory and applications of logicThe book is an excellent resource for the working mathematical scientist. The graduate student or professional in computer science and engineering or the systems scientist who needs to have a quick sketch of a key idea from logic will find it here in this self-contained, accessible, and easy-to-use reference.
- Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 163,57
EUR 30,50 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Buch. Etat : 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 . . . . . . . . . . . . .
- Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 175,00
EUR 30,50 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Buch. Etat : 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 pap…ers 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.
Langue : anglais
Edité par Springer New York Jan 2002, 2002
- Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 156,71
EUR 61,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Buch. Etat : 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 inf…ormatics 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.
- Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 162,49
EUR 62,59 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Buch. Etat : 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 G…lutathione 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.
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 230,74
EUR 30,50 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : 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 analy…sis 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.
Langue : anglais
Edité par Springer Nature B.V. Jan 2002, 2002
Série : Livre 13 sur 260 - The Springer International Series in Engineering and Computer Science
- Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 230,74
EUR 30,50 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Buch. Etat : 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 the s…ystematic 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.
- Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 230,74
EUR 30,50 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Buch. Etat : 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 from th…e 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.
- Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 318,78
EUR 68,33 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Buch. Etat : 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 effor…ts 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.
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 37,40
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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 eleme…ntary 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.
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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 researchers… 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.
Langue : anglais
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 2002, 2002
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thealgebraicapproachtosystemspeci cationanddevelopment,borninthe early1970sasaformalmethodforabstractdatatypes,encompassestoday,atthe beginningofthethirdmillennium,theformaldesignofintegratedhardwareand softwaresystems,newspeci cationfr…ameworksandprogrammingparadigms, 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.
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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 Retriev…al 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.
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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 hardwar…e 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.
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheInternationalWorkshoponPracticeandTheoryinPublicKeyCryptog- phyPKC2002washeldattheMaisondelaChimie,situatedintheverycenter ofParis,FrancefromFebruary12to14,2002. ThePKCseriesofconferences yearlyrepresentsinternationalresearchandthela…testachievementsinthearea 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.
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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 products 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.
Langue : anglais
Edité par Springer Berlin Heidelberg Jan 2002, 2002
Série : Livre 28 sur 55 - Astronomy and Astrophysics Library
- Couverture rigide
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Buch. Etat : 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 and T…ycho 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.
Langue : anglais
Edité par Springer Berlin Heidelberg Jan 2002, 2002
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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 examples…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.
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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 proce…ssing. 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.
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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 becom…ing 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.
Langue : anglais
Edité par Springer Berlin Heidelberg, Springer Jan 2002, 2002
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 272 pp. Englisch.
Langue : anglais
Edité par Springer New York, Chapman And Hall/CRC Jan 2002, 2002
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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 com…parisons 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.
Langue : anglais
Edité par Springer Netherlands Jan 2002, 2002
Série : Livre 12 sur 20 - Innovations in Science Education and Technology
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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 the…m 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.
- Couverture rigide
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Buch. Etat : 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 miß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.
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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 pro…blems. 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.
Langue : anglais
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 2002, 2002
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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.
Langue : anglais
Edité par Springer, Basel, Birkhäuser Basel, Birkhäuser Jan 2002, 2002
- Couverture rigide
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -During his lifetime, Henri Poincaré published three major philosophical books which achieved great success: 'La science et l'hypothèse' (1902), 'La valeur de la science' (1905) and 'Science et méthode' (1908). After his death in 1913, a fourth… volume of his philosophical works was published by his heirs as 'Dernières pensées' (1913). The four books constitute the core of Poincaré's philosophic works and were given an ovation by scientific and general public. Around 1919, Gustave Le Bon wrote to Poincaré's widow. As the director of the 'Bibliothèque de Philosophie Scientifique at Flammarion', he asked her permission to publish a second posthumous volume. 'L'Opportunisme scientifique' was intended to be the fifth and final volume of Poincaré's philosophical writings. Louis Rougier had elaborated the project, with the collaboration of Gustave Le Bon, and the approval of the philosopher Émile Boutroux and his son Pierre. Because of the reservations of the mathematician's heirs, this book was never published and Dernières pensées remained his last philosophical book. Nevertheless Poincaré's correspondence - which is kept in the Poincaré Archives at University Nancy 2 - contains a large amount of documents concerning the project, its justification and the discussions between Louis Rougier and the mathematician's heirs. The aim of this book is to restore this episode, which gives some crucial informations about editorial practices of Poincaré and about the posterity of his philosophic thinking. 208 pp. Englisch.
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The coronary circulation is central to sustaining myocardial viability. Unlike the cir culations of most other organs, if the coronary circulation becomes insufficient to sustain myocardial contractile function, overall quality of life…rapidly declines and life can abruptly end. In partnership with the cerebral circulation, the coronary circula tion plays a central role in sustaining life. However, unlike the cerebral circulation, whose function is self-sufficient to define life, the coronary circulation determines global blood flow and thus the initial state for the remainder of the body. This unique condition, together with the reality that coronary artery disease primarily affects peo ple in their productive years of life, has allowed physicians and scientists who study the heart to enjoy a privileged position in the field of medical research and clinical practice. Thus, it comes as little surprise that many new and exciting research developments involving the coronary circulation have recently come to the forefront of medical thinking. This reality, coupled with the large number of clinical trials of agents specif ically designed to sustain or improve coronary flow in many disease states, makes the timing of this monograph relevant. The book features papers presented at a recent international symposium, the fourth in a series of meetings on Applied Physiology of the Peripheral Circulation. The papers selected by the editors review the most impor tant advances in the fields of cardiology and the coronary circulation. 204 pp. Englisch.
Langue : anglais
Edité par SPRINGER NATURE Jan 2002, 2002
- Couverture rigide
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This textbook provides students with a course in the theory of databases. It is different from others in that the author presents the subject in the framework of constraint databases which provide a natural and powerful generalization of relat…ional databases. An important theme running through the text is to show how relational databases can smoothly develop into constraint databses and so relational database users can easily become constraint databaseusers. Switching to constraint databases requires sacrificing none of the benefits of relational databses whilst new advantages may be realised. Peter Revesz begins by discussing data models and how queries may be addressed to these models. From this, he develops the theory of relational and constraint databases including Datalog and the relational calculus. The book then discusses three sample constraint database systems, DISCO, DINGO, and RATHER. Advanced undergraduate students and graduate students in computer science will find this a clear introduction to the subject. Professionals and researchers will appreciate this novel perspective on their subject. 394 pp. Englisch.
