K s de boer (30 risultati)

Hardcover. Condizione: Very Good. No Jacket. 1st Edition. Very good, clean, tight condition. Text free of marks. Professional book dealer since 1999. All orders are processed promptly and carefully packaged with tracking.

Paperback. Condizione: new. Paperback. The focus in development methodologies of large and complex software systems has switched in the last two decades from functional issues to structural issues; this holds for both the object-oriented and the more recent component-based software engineering paradigms. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for quite a long time. However, their application to the development of large systems requires more emphasis on specification, modeling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. This state-of-the-art survey presents the outcome of the 9th Symposium on Formal Methods for Components and Objects, held in Graz, Austria, in November/December 2010. The volume contains 20 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the FP7-IST project AVANTSSAR on automated validation of trust and security of service-oriented architectures; the FP7-IST project DEPLOY on industrial deployment of advanced system engineering methods for high productivity and dependability; the ESF-COST Action IC0701 on formal verification of object-oriented software; the FP7-IST project HATS on highly adaptable and trustworthy software using formal models; the FP7-SST project INESS on an integrated European railway signalling system; the FP7-IST project MADES on a model-driven approach to improve the current practice in the development of embedded systems; the FP7-IST project MOGENTES on model-based generation of tests for dependable embedded systems; as well as the FP7-IST project MULTIFORM on integrated multi-formalism tool support for the design of networked embedded control systems. The volume contains 20 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the FP7-IST project AVANTSSAR on automated validation of trust and security of service-oriented architectures; Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Hardcover. Condizione: Good. Condizione sovraccoperta: Very Good. 2010 OUP hardcover edition. Some reading wear else good condition. The first volume in The Oxford Handbook of Auditory Science, The Ear serves both as an introduction and as a reference work for anyone interested in the auditory periphery. Each chapter includes a mix of tutorial and advanced information. Throughout the book, the focus is on mechanistic, functional evidence, with many chapters concentrating on cellular and molecular explanations of cochlear function. In addition to basic function, the development and regeneration of the inner ear are described, as are the growing body of ear-related genes identified through studies of human deafness and animal mutants. This knowledge is applied to the human condition in descriptions of pathogenic mechanisms, and existing therapies, especially the cochlear implant. Whether the reader is a student entering the field, a clinical practitioner, or a worker in an allied field of study, this volume will be a valuable resource of basic information, and perhaps a catalyst to making their own contributions to the ongoing challenge, and adventure, of understanding the mysteries of the ear. Contents 1 Introduction and overview - Paul A Fuchs 2 The clinical cochlea - Lawrence R Lustig 3 External and middle ear function - John J Rosowski 4 Otoacoustic emissions and evoked potentials - David T Kemp 5 Cochlear mechanics, tuning, non-linearities - Egbert de Boer and Alfred L Nuttall 6 Electromotility of outer hair cells - Kuni H Iwasa 7 Inner ear fluid homeostasis - Daniel C Marcus and Philine Wangemann 8 Hair bundle structure and mechanotransduction - Carole M Hackney and David N Furness 9 The afferent synapse - Jonathan Ashmore 10 Efferent innervation and function - A Belen Elgoyhen and Paul A Fuchs 11 Cochlear supporting cells - Jonathan Gale and Daniel Jagger 12 Development of the inner ear - Lynne M Bianchi and Paul A Fuchs 13 Regeneration in the cochlea - Douglas A Cotanche 14 Genetics of hearing loss - Cynthia C Morton and Anne BS Giersch 15 Hearing aids and cochlear implants - John K Niparko and Andrea Marlowe.…

Paperback. Condizione: Brand New. 2012 edition. 404 pages. 9.50x6.25x0.75 inches. In Stock.

viii, 293 pages. - Publisher's gilt-titled brown cloth; large-8vo.(ca. 25 x 18 cm). ~~~ FIRST EDITION; clothbound original. - Best condition. --- More volumes from the same series in stock. . . isbn B000YDWPNS.

Condizione: New. High-quality selected papers State-of-the-art research Unique visibilityThe focus in development methodologies of large and complex software systems has switched in the last two decades from functional issues to structural issues t.

Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 393 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Condizione: New.

Condizione: New.

Condizione: New. 2007. Hardcover. . . . . .

Hardcover. Condizione: Brand New. illustrated edition. 624 pages. 9.75x7.00x1.25 inches. In Stock.

Condizione: New. 2007. Hardcover. . . . . . Books ship from the US and Ireland.

Condizione: New.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Couverture souple. Condizione: bon. R260269775: 1984. In-8. Broché. Très bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 425 pages augmentées de quelques figures en noir et blanc dans texte. . . . Classification Dewey : 420-Langue anglaise. Anglo-saxon.

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Proceedings of IAU Symposium No. 108 held in Tübingen, West Germany, September 5-8, 1983.

Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Proceedings of IAU Symposium No. 108 held in Tübingen, West Germany, September 5-8, 1983.

Condizione: new. Questo è un articolo print on demand.

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proceedings of IAU Symposium No. 108 held in Tuebingen, West Germany, September 5-8, 1983 Magellanic Cloud Clusters.- Star Clusters in the Magellanic Clouds.- Blue Clusters, Populous Clusters, and Globulars.- The Integrated Spectra of Star Clusters .…

Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proceedings of IAU Symposium No. 108 held in Tuebingen, West Germany, September 5-8, 1983 Magellanic Cloud Clusters.- Star Clusters in the Magellanic Clouds.- Blue Clusters, Populous Clusters, and Globulars.- The Integrated Spectra of Star Clusters . …

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Proceedings of IAU Symposium No. 108 held in Tübingen, West Germany, September 5-8, 1983 448 pp. Englisch.

Buch. Condizione: Neu. Structure and Evolution of the Magellanic Clouds | K. S. de Boer (u. a.) | Buch | xviii | Englisch | 1984 | Springer Netherlands | EAN 9789027717221 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. …

Taschenbuch. Condizione: Neu. Structure and Evolution of the Magellanic Clouds | S. van den Bergh (u. a.) | Taschenbuch | xviii | Englisch | 1984 | Springer | EAN 9789027717238 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Proceedings of IAU Symposium No. 108 held in Tübingen, West Germany, September 5-8, 1983 444 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Magellanic Cloud Clusters.- Star Clusters in the Magellanic Clouds.- Blue Clusters, Populous Clusters, and Globulars.- The Integrated Spectra of Star Clusters and the History of the Magellanic Clouds.- Masses and Relaxation Times of Star Clusters in the SMC.- An Ellipticity-Age Relation for Globular Clusters in the LMC.- SIT-VIDICON Surface Photometry of Globular Clusters in the Magellanic Clouds.- Intermediate-Age Magellanic Cloud Star Clusters.- Metallicities of Young Populous Clusters in the Magellanic Clouds.- The H-R Diagram of NGC 1962-65-66-70.- A Survey of Magellanic Cloud Clusters for RR Lyrae Stars.- Period Changes of RR Lyrae Stars in the LMC Globular Cluster NGC 2257.- The Electronographic Color-Magnitude Diagram of Hodge 11.- The LMC Globular Cluster Hodge 11 (=SL 868).- Main Sequence Photometry of Kron 3.- Color-Magnitude Diagram Morphology of the Oldest Star Clusters in the Large Magellanic Cloud.- A BVRI Photometric Study of Star Clusters in the Bok Region of the LMC.- A BV Photometric Study of Star Clusters in Two Selected Regions of the SMC.- Far-UV Photometry of Magellanic Cloud Globular Clusters.- UV-observations of Young Populous Clusters in the LMC.- Disentangling Individual Star and Cluster Contributions in IUE Spectra of Magellanic Cloud Globular Clusters.- Ultraviolet Studies of O and B Stars in the LMC Cluster NGC 2100, the SMC Cluster NGC 330 and the Galactic Cluster NGC 6530.- Panel Discussion on Star Clusters.- Evolution.- Global Evolutionary Effects in the Magellanic Clouds.- Field Studies, Luminosity Functions, and Star Formation History in the Magellanic Clouds.- Stochastic Star Formation and Bubbles in the Large Magellanic Cloud.- Past Star Formation History of the Magellanic Clouds.- The Spatial Distribution of Young Objects inthe Large Magellanic Cloud - a Problem of Pattern Recognition.- Chemical Evolution of the Magellanic Clouds.- Star Counts in Fields Surrounding the LMC.- Crowded Field Electronography in the LMC.- The Colour Magnitude Diagram of a Second Field in the SMC Halo.- A Search for Stars in the Magellanic Stream.- Ultraviolet Surface Photometry of Stellar Associations in the LMC.- Dynamics.- Kinematics and Dynamics of the Magellanic Clouds.- The Magellanic Stream and its Related Problems.- H I Surveys of the Magellanic System.- Distribution and Radial Velocities of Late Supergiant Stars in the LMC and the SMC.- A Search for Low-Velocity Neutral Hydrogen in the Magellanic Stream.- On the Distance of the Magellanic Stream.- Stellar Populations.- The Brightest Stars in the Magellanic Clouds and Other Late-Type Galaxies.- Magellanic Cloud Cepheids: Abundances, Reddenings, P-L and P-L-C Relations. A Review.- Spectroscopy of Red Variables and Other Luminous Red Stars.- Detection and Photometry of Red Giants in the Magellanic Clouds.- Red Giant Stars: Comparison of Observations and Theory.- RR Lyrae Stars and Novae in the Magellanic Clouds.- A Survey for Red Variables in the Magellanic Clouds.- A Search for Red Variable Stars in the LMC.- JHK Observations of Magellanic Cloud Cepheids.- Spectroscopy of Overluminous Cepheids in the Magellanic Clouds.- Spectral Types, Color Indices, and Abundances for Cepheids in the Magellanic Clouds and the Galaxy.- Period Changes in Magellanic Cloud Cepheids.- Magellanic Cloud Cepheids: Intrinsic and Extrinsic Properties as Inferred from Numerical Simulations of Two-Colour Photometry.- A More Complete Listing of LMC Planetary Nebulae.- Spectrophotometry of Early-type Supergiants in the LMC.- From What Radius do the Winds of Magellanic CloudSupergiants Produce Fe II Emission lines .- R127: an S Dor Type Variable Intermediate Between Of and WN.- An Unstable Ofpe Star in the LMC.- Evidence for a Black Hole in LMC X-3.- 30 Doradus and R136.- The Stellar Content of 30 Doradus.- UV Extinction in the 30 Doradus Nebula and the UV Energy Distribution of R136a.- On the Nature of R136, the Central Object of 30 Dor; a Comparison with the Galactic ClusterSpringer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 444 pp. Englisch. …

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Proceedings of IAU Symposium No. 108 held in Tübingen, West Germany, September 5-8, 1983Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 448 pp. Englisch.