K s de boer (32 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.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

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.

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. …

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. 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.